General-purpose reasoning assistant system 汎用論証支援システム
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
General-purpose reasoning assistant system
- Other Title
-
汎用論証支援システム
- Author
-
南, 俊朗
- Author(Another name)
-
ミナミ, トシロウ
- University
-
九州大学
- Types of degree
-
博士(理学)
- Grant ID
-
甲第4789号
- Degree year
-
1999-03-25
Note and Description
博士論文
Abstract Contents 1 Introduction 2 Concept of General-Purpose Reasoning Assistant System 3 Design and Implementation 4 Language System Specification 5 Derivation System Specification 6 Proof Construction 7 Experiments: Application Examples 8 Application to Knowledge Acquisition Support Systems 9 System Comparison 10 Conclusion Bibliography
主1-参1
システム情報
Table of Contents
- Abstract / p1 (0003.jp2)
- Contents / p5 (0005.jp2)
- 1 Introduction / p1 (0008.jp2)
- 2 Concept of General-Purpose Reasoning Assistant System / p9 (0012.jp2)
- 3 Design and Implementation / p17 (0016.jp2)
- 3.1 Human Reasoning Process Model / p18 (0017.jp2)
- 3.2 General System Organization of EUODHILOS / p20 (0018.jp2)
- 3.3 System Implementation / p23 (0019.jp2)
- 3.4 Chapter Summary / p27 (0021.jp2)
- 4 Language System Specification / p29 (0022.jp2)
- 4.1 Syntax Specification for Language System / p30 (0023.jp2)
- 4.2 Automatic Generation of Parser and Unparser / p41 (0028.jp2)
- 4.3 Syntax Specification for Top-Down-Parsing / p50 (0033.jp2)
- 4.4 Specification of Bind Variable and its Scope / p54 (0035.jp2)
- 4.5 Application Examples of Parser and Unparser / p54 (0035.jp2)
- 4.6 Chapter Summary / p58 (0037.jp2)
- 5 Derivation System Specification / p61 (0038.jp2)
- 5.1 Specification of Derivation Systems / p62 (0039.jp2)
- 5.2 Side Condition / p65 (0040.jp2)
- 5.3 Chapter Summary / p67 (0041.jp2)
- 6 Proof Construction / p69 (0042.jp2)
- 6.1 Flexible Proof Constructions with Sheet of Thought / p70 (0043.jp2)
- 6.2 Proof Manipulation / p78 (0047.jp2)
- 6.3 Automated Reasoning / p88 (0052.jp2)
- 6.4 Chapter Summary / p93 (0054.jp2)
- 7 Experiments: Application Examples / p97 (0056.jp2)
- 7.1 Martin-Löf's Intuitionistic Type Theory / p98 (0057.jp2)
- 7.2 Modal Logic / p105 (0060.jp2)
- 7.3 Intensional Logic / p113 (0064.jp2)
- 7.4 Hoare Logic / p118 (0067.jp2)
- 7.5 Linear Logic / p121 (0068.jp2)
- 7.6 First-Order Logic / p124 (0070.jp2)
- 7.7 Second-Order Logic / p127 (0071.jp2)
- 7.8 Combinatory Logic / p128 (0072.jp2)
- 7.9 General Logic / p129 (0072.jp2)
- 7.10 Relevant Logic / p131 (0073.jp2)
- 7.11 Category Theory / p133 (0074.jp2)
- 8 Application to Knowledge Acquisition Support Systems / p135 (0075.jp2)
- 8.1 Background / p136 (0076.jp2)
- 8.2 Models of Logically-Represented Knowledge Acquisition / p137 (0076.jp2)
- 8.3 Knowledge Representation and Creation / p140 (0078.jp2)
- 8.4 Sharing Knowledge with Agent Network / p145 (0080.jp2)
- 8.5 Chapter Summary / p152 (0084.jp2)
- 9 System Comparison / p155 (0085.jp2)
- 10 Conclusion / p161 (0088.jp2)
- Bibliography / p167 (0091.jp2)