Studies on time-bounded reasoning in knowledge base systems 知識ベースシステムにおける時間限定推論に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Studies on time-bounded reasoning in knowledge base systems
- タイトル別名
-
知識ベースシステムにおける時間限定推論に関する研究
- 著者名
-
史, 一華
- 著者別名
-
ス, イホア
- 学位授与大学
-
九州大学
- 取得学位
-
理学博士
- 学位授与番号
-
甲第2992号
- 学位授与年月日
-
1992-03-27
注記・抄録
博士論文
目次
- Contents / p5 (0007.jp2)
- Chapter1 Introduction / p1 (0009.jp2)
- Chapter2 Preliminaries / p5 (0013.jp2)
- 2.1 Basic Definitions / p5 (0013.jp2)
- 2.2 CWA and NAF / p10 (0018.jp2)
- 2.3 Default Logic / p14 (0022.jp2)
- 2.4 Contradiction Backtracing Algorithm / p15 (0023.jp2)
- Chapter3 Time-Bounded Reasoning in Knowledge Base Systems / p18 (0026.jp2)
- 3.1 Time-Bounded Reasoning / p19 (0027.jp2)
- 3.2 Truth Maintenance of TBR System / p22 (0030.jp2)
- 3.3 Properties of TBR System / p24 (0032.jp2)
- 3.4 Reliability of TBR System / p26 (0034.jp2)
- Chapter4 Time Functions of TBR / p29 (0037.jp2)
- 4.1 Some Naive Classes / p30 (0038.jp2)
- 4.2 Programs and Termination / p31 (0039.jp2)
- 4.3 Weakly Local Reducing Programs / p34 (0042.jp2)
- 4.4 Termination Property of Weakly Local Reducing Programs / p35 (0043.jp2)
- 4.5 Related Works / p46 (0054.jp2)
- Chapter5 Approximate Extensions in Reiter's Default Logic / p49 (0057.jp2)
- 5.1 Pseudo Extensions / p50 (0058.jp2)
- 5.2 Reliability and Correctness / p51 (0059.jp2)
- 5.3 Sub-extensions and Approximate Extensions / p53 (0061.jp2)
- 5.4 Examples / p58 (0066.jp2)
- Chapter6 Sub-extensions and Default Knowledge Base Systems / p62 (0070.jp2)
- 6.1 Personal Knowledge Bases / p63 (0071.jp2)
- 6.2 Query Forms and Query Processing / p65 (0073.jp2)
- 6.3 Approximate Extensions and Perfect Belief Sets / p67 (0075.jp2)
- 6.4 Belief Revision / p72 (0080.jp2)
- 6.5 Properties of PKB / p73 (0081.jp2)
- Chapter7 Implementation / p75 (0083.jp2)
- 7.1 Structures and Functions / p75 (0083.jp2)
- 7.2 Operations and Algorithms of the Systems / p77 (0085.jp2)
- 7.3 An Illustrative Example / p83 (0091.jp2)
- Chapter8 Conclusion / p90 (0098.jp2)
- Bibliography / p93 (0101.jp2)