第三部分 非经典逻辑和非经典推理

第十一章 模态逻辑及其应用

11.1模态逻辑

11.2时序逻辑

11.3基于区间的时间推理

习题

第十二章 知道逻辑和信念逻辑

12.1知道逻辑

12.2群体知道逻辑

12.3信念逻辑

12.4显式信念和隐式信念

12.5信念和意识

习题

第十三章 定性推理

13.1定性演算

13.2基于状态的推理

13.3定性进程理论

习题

第十四章 归纳逻辑

14.1经典归纳方法

14.2归纳问题争鸣

14.3归纳的概率方法

习题

第十五章 模糊逻辑

15.1模糊集合论

15.2多值逻辑和模糊逻辑

15.3算子模糊逻辑

习题

第十六章 非单调逻辑和非单调推理

16.1限定推理

16.2缺省逻辑

16.3自认识逻辑

16.4非单调推理中的一些难题

16.5真值维护系统

习题

第四部分 定理机器证明

第十七章 消解法

17.1消解法原理

17.2消解策略

17.3调解法

17.4广义消解法

习题

第十八章 演绎法

18.1自然推导法

18.2语义表格法

18.3项重写

习题

第十九章 归纳法

19.1Boyer-Moore递归函数法

19.2证明规划和涟漪技术

习题

第五部分 机器学习

第二十章 归纳学习

20.1盲目式搜索示例学习

20.2启发式搜索示例学习

20.3学习判定树

20.4学习的算法理论

习题

第二十一章 分 析学习

21.1基于类比的学习

21.2基于案例的学习

21.3基于解释的学习

21.4遗传式学习

21.5神经网络学习

习题

第二十二章 语法学

22.1转换生成文法

第六部分 自然语言理解

22.2扩充转移网络

22.3基于通代的文法

22.4系统功能文法

习题

第二十三章 语义学

23.1关于语言意义的争鸣

23.2词义学

23.3语句和篇章 结构

习题

第二十四章 语用学

24.1言语行为理论

24.2基于规划和意图的话语理解

24.3故事情节理解

习题

第七部分 知识工程

第二十五章 知识表示语言

25.1LISP家族

25.2PROLOG家族

25.3SMALLTALK家族

25.4逻辑和产生式语言TUILI

习题

第二十六章 不精确推理

26.1Bayes概率推理

26.2可信度方法

26.3模糊推理

习题

第二十七章 知识获取

27.1知识诱导

27.2场记分 析方法

27.3个人结构理论和分 类表格技术

27.4基于模型的知识获取

27.5基于领域模型的知识获取

27.6从文字资料获取知识

习题

第二十八章 专家系统

28.1专家系统组织

28.2知识维护

28.3知识界面

28.专家系统的生命周期

习题

参考文献