Studies on time-bounded reasoning in knowledge base systems 知識ベースシステムにおける時間限定推論に関する研究

Access this Article

Search this Article

Author

    • 史, 一華 ス, イホア

Bibliographic Information

Title

Studies on time-bounded reasoning in knowledge base systems

Other Title

知識ベースシステムにおける時間限定推論に関する研究

Author

史, 一華

Author(Another name)

ス, イホア

University

九州大学

Types of degree

理学博士

Grant ID

甲第2992号

Degree year

1992-03-27

Note and Description

博士論文

Table of Contents

  1. Contents / p5 (0007.jp2)
  2. Chapter1 Introduction / p1 (0009.jp2)
  3. Chapter2 Preliminaries / p5 (0013.jp2)
  4. 2.1 Basic Definitions / p5 (0013.jp2)
  5. 2.2 CWA and NAF / p10 (0018.jp2)
  6. 2.3 Default Logic / p14 (0022.jp2)
  7. 2.4 Contradiction Backtracing Algorithm / p15 (0023.jp2)
  8. Chapter3 Time-Bounded Reasoning in Knowledge Base Systems / p18 (0026.jp2)
  9. 3.1 Time-Bounded Reasoning / p19 (0027.jp2)
  10. 3.2 Truth Maintenance of TBR System / p22 (0030.jp2)
  11. 3.3 Properties of TBR System / p24 (0032.jp2)
  12. 3.4 Reliability of TBR System / p26 (0034.jp2)
  13. Chapter4 Time Functions of TBR / p29 (0037.jp2)
  14. 4.1 Some Naive Classes / p30 (0038.jp2)
  15. 4.2 Programs and Termination / p31 (0039.jp2)
  16. 4.3 Weakly Local Reducing Programs / p34 (0042.jp2)
  17. 4.4 Termination Property of Weakly Local Reducing Programs / p35 (0043.jp2)
  18. 4.5 Related Works / p46 (0054.jp2)
  19. Chapter5 Approximate Extensions in Reiter's Default Logic / p49 (0057.jp2)
  20. 5.1 Pseudo Extensions / p50 (0058.jp2)
  21. 5.2 Reliability and Correctness / p51 (0059.jp2)
  22. 5.3 Sub-extensions and Approximate Extensions / p53 (0061.jp2)
  23. 5.4 Examples / p58 (0066.jp2)
  24. Chapter6 Sub-extensions and Default Knowledge Base Systems / p62 (0070.jp2)
  25. 6.1 Personal Knowledge Bases / p63 (0071.jp2)
  26. 6.2 Query Forms and Query Processing / p65 (0073.jp2)
  27. 6.3 Approximate Extensions and Perfect Belief Sets / p67 (0075.jp2)
  28. 6.4 Belief Revision / p72 (0080.jp2)
  29. 6.5 Properties of PKB / p73 (0081.jp2)
  30. Chapter7 Implementation / p75 (0083.jp2)
  31. 7.1 Structures and Functions / p75 (0083.jp2)
  32. 7.2 Operations and Algorithms of the Systems / p77 (0085.jp2)
  33. 7.3 An Illustrative Example / p83 (0091.jp2)
  34. Chapter8 Conclusion / p90 (0098.jp2)
  35. Bibliography / p93 (0101.jp2)
1access

Codes

  • NII Article ID (NAID)
    500000084785
  • NII Author ID (NRID)
    • 8000000084997
  • DOI(NDL)
  • NDLBibID
    • 000000249099
  • Source
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top