Logical investigations on knowledge representation 知識表現に関する論理学的研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Logical investigations on knowledge representation
- Other Title
-
知識表現に関する論理学的研究
- Author
-
高, 建明
- Author(Another name)
-
コウ, ケンメイ
- University
-
広島大学
- Types of degree
-
工学博士
- Grant ID
-
乙第2137号
- Degree year
-
1991-03-15
Note and Description
博士論文
Table of Contents
- 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)