Logical investigations on knowledge representation 知識表現に関する論理学的研究

この論文をさがす

著者

    • 高, 建明 コウ, ケンメイ

書誌事項

タイトル

Logical investigations on knowledge representation

タイトル別名

知識表現に関する論理学的研究

著者名

高, 建明

著者別名

コウ, ケンメイ

学位授与大学

広島大学

取得学位

工学博士

学位授与番号

乙第2137号

学位授与年月日

1991-03-15

注記・抄録

博士論文

目次

  1. CONTENTS / p1 (0004.jp2)
  2. Acknowledgements / (0003.jp2)
  3. Chapter 1. Introduction / p1 (0006.jp2)
  4. 1.1. A Classification of Knowledge / p2 (0007.jp2)
  5. 1.2. Using Mathematical Logics for Knowledge Representation / p4 (0008.jp2)
  6. 1.3. Outline of this Dissertation / p12 (0012.jp2)
  7. Chapter 2. Methodology of Knowledge Representation / p15 (0013.jp2)
  8. 2.1. Knowledge Representation Systems / p16 (0014.jp2)
  9. 2.2. Relations / p21 (0016.jp2)
  10. 2.3. Organization of Objects / p37 (0024.jp2)
  11. 2.4. Algebraic Analysis of Fuzzy Indiscernibility / p44 (0028.jp2)
  12. Chapter 3. Languages and Deduction Systems for Knowledge Representation / p55 (0033.jp2)
  13. 3.1. Syntax: Alphabets and Well-Formed Formulas / p55 (0033.jp2)
  14. 3.2. Semantics / p59 (0035.jp2)
  15. 3.3. Deduction Methods / p70 (0041.jp2)
  16. Chapter 4. Decidability Results / p79 (0045.jp2)
  17. 4.1. Overview / p79 (0045.jp2)
  18. 4.2. Finite Model Property / p80 (0046.jp2)
  19. 4.3. Using Semantical Diagrams / p89 (0050.jp2)
  20. 4.4. A Tableau Method for the Logic for Vague Knowledge Representation / p100 (0056.jp2)
  21. Chapter 5. Completeness / p107 (0059.jp2)
  22. 5.1. Overview / p107 (0059.jp2)
  23. 5.2. A Completeness Theorem for the Logic for Deterministic Knowledge Representation / p109 (0060.jp2)
  24. 5.3. A Completeness Theorem for the Logic for Nondeterministic Knowledge Representation / p113 (0062.jp2)
  25. Chapter 6. Conclusions / p127 (0069.jp2)
  26. References / p131 (0071.jp2)
0アクセス

各種コード

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