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

この論文をさがす

著者

    • 史, 一華 ス, イホア

書誌事項

タイトル

Studies on time-bounded reasoning in knowledge base systems

タイトル別名

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

著者名

史, 一華

著者別名

ス, イホア

学位授与大学

九州大学

取得学位

理学博士

学位授与番号

甲第2992号

学位授与年月日

1992-03-27

注記・抄録

博士論文

目次

  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)
0アクセス

各種コード

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