General-purpose reasoning assistant system 汎用論証支援システム

この論文をさがす

著者

    • 南, 俊朗 ミナミ, トシロウ

書誌事項

タイトル

General-purpose reasoning assistant system

タイトル別名

汎用論証支援システム

著者名

南, 俊朗

著者別名

ミナミ, トシロウ

学位授与大学

九州大学

取得学位

博士(理学)

学位授与番号

甲第4789号

学位授与年月日

1999-03-25

注記・抄録

博士論文

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p5 (0005.jp2)
  3. 1 Introduction / p1 (0008.jp2)
  4. 2 Concept of General-Purpose Reasoning Assistant System / p9 (0012.jp2)
  5. 3 Design and Implementation / p17 (0016.jp2)
  6. 3.1 Human Reasoning Process Model / p18 (0017.jp2)
  7. 3.2 General System Organization of EUODHILOS / p20 (0018.jp2)
  8. 3.3 System Implementation / p23 (0019.jp2)
  9. 3.4 Chapter Summary / p27 (0021.jp2)
  10. 4 Language System Specification / p29 (0022.jp2)
  11. 4.1 Syntax Specification for Language System / p30 (0023.jp2)
  12. 4.2 Automatic Generation of Parser and Unparser / p41 (0028.jp2)
  13. 4.3 Syntax Specification for Top-Down-Parsing / p50 (0033.jp2)
  14. 4.4 Specification of Bind Variable and its Scope / p54 (0035.jp2)
  15. 4.5 Application Examples of Parser and Unparser / p54 (0035.jp2)
  16. 4.6 Chapter Summary / p58 (0037.jp2)
  17. 5 Derivation System Specification / p61 (0038.jp2)
  18. 5.1 Specification of Derivation Systems / p62 (0039.jp2)
  19. 5.2 Side Condition / p65 (0040.jp2)
  20. 5.3 Chapter Summary / p67 (0041.jp2)
  21. 6 Proof Construction / p69 (0042.jp2)
  22. 6.1 Flexible Proof Constructions with Sheet of Thought / p70 (0043.jp2)
  23. 6.2 Proof Manipulation / p78 (0047.jp2)
  24. 6.3 Automated Reasoning / p88 (0052.jp2)
  25. 6.4 Chapter Summary / p93 (0054.jp2)
  26. 7 Experiments: Application Examples / p97 (0056.jp2)
  27. 7.1 Martin-Löf's Intuitionistic Type Theory / p98 (0057.jp2)
  28. 7.2 Modal Logic / p105 (0060.jp2)
  29. 7.3 Intensional Logic / p113 (0064.jp2)
  30. 7.4 Hoare Logic / p118 (0067.jp2)
  31. 7.5 Linear Logic / p121 (0068.jp2)
  32. 7.6 First-Order Logic / p124 (0070.jp2)
  33. 7.7 Second-Order Logic / p127 (0071.jp2)
  34. 7.8 Combinatory Logic / p128 (0072.jp2)
  35. 7.9 General Logic / p129 (0072.jp2)
  36. 7.10 Relevant Logic / p131 (0073.jp2)
  37. 7.11 Category Theory / p133 (0074.jp2)
  38. 8 Application to Knowledge Acquisition Support Systems / p135 (0075.jp2)
  39. 8.1 Background / p136 (0076.jp2)
  40. 8.2 Models of Logically-Represented Knowledge Acquisition / p137 (0076.jp2)
  41. 8.3 Knowledge Representation and Creation / p140 (0078.jp2)
  42. 8.4 Sharing Knowledge with Agent Network / p145 (0080.jp2)
  43. 8.5 Chapter Summary / p152 (0084.jp2)
  44. 9 System Comparison / p155 (0085.jp2)
  45. 10 Conclusion / p161 (0088.jp2)
  46. Bibliography / p167 (0091.jp2)
3アクセス

各種コード

  • NII論文ID(NAID)
    500000171765
  • NII著者ID(NRID)
    • 8000000172039
  • DOI(NDL)
  • NDL書誌ID
    • 000000336079
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ