Logical investigations on knowledge representation 知識表現に関する論理学的研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Logical investigations on knowledge representation
- タイトル別名
-
知識表現に関する論理学的研究
- 著者名
-
高, 建明
- 著者別名
-
コウ, ケンメイ
- 学位授与大学
-
広島大学
- 取得学位
-
工学博士
- 学位授与番号
-
乙第2137号
- 学位授与年月日
-
1991-03-15
注記・抄録
博士論文
目次
- CONTENTS / p1 (0004.jp2)
- Acknowledgements / (0003.jp2)
- Chapter 1. Introduction / p1 (0006.jp2)
- 1.1. A Classification of Knowledge / p2 (0007.jp2)
- 1.2. Using Mathematical Logics for Knowledge Representation / p4 (0008.jp2)
- 1.3. Outline of this Dissertation / p12 (0012.jp2)
- Chapter 2. Methodology of Knowledge Representation / p15 (0013.jp2)
- 2.1. Knowledge Representation Systems / p16 (0014.jp2)
- 2.2. Relations / p21 (0016.jp2)
- 2.3. Organization of Objects / p37 (0024.jp2)
- 2.4. Algebraic Analysis of Fuzzy Indiscernibility / p44 (0028.jp2)
- Chapter 3. Languages and Deduction Systems for Knowledge Representation / p55 (0033.jp2)
- 3.1. Syntax: Alphabets and Well-Formed Formulas / p55 (0033.jp2)
- 3.2. Semantics / p59 (0035.jp2)
- 3.3. Deduction Methods / p70 (0041.jp2)
- Chapter 4. Decidability Results / p79 (0045.jp2)
- 4.1. Overview / p79 (0045.jp2)
- 4.2. Finite Model Property / p80 (0046.jp2)
- 4.3. Using Semantical Diagrams / p89 (0050.jp2)
- 4.4. A Tableau Method for the Logic for Vague Knowledge Representation / p100 (0056.jp2)
- Chapter 5. Completeness / p107 (0059.jp2)
- 5.1. Overview / p107 (0059.jp2)
- 5.2. A Completeness Theorem for the Logic for Deterministic Knowledge Representation / p109 (0060.jp2)
- 5.3. A Completeness Theorem for the Logic for Nondeterministic Knowledge Representation / p113 (0062.jp2)
- Chapter 6. Conclusions / p127 (0069.jp2)
- References / p131 (0071.jp2)