目录 1
前言 1
第一章 传统推理 1
1.1 演绎推理 1
1.2 归纳推理 16
1.3 类比推理 23
参考文献 25
第二章 不精确推理 27
2.1 概述 27
2.2 MYCIN的不精确推理模型 28
2.3 主观贝斯（BAYES）方法 36
2.4 模糊推理 44
2.5 证据理论 61
2.6 发生率计算 73
2.7 概率论简介 79
参考文献 87
第三章 非单调推理 89
3.1 简介 89
3.2 缺省理论（Default Theories） 91
3.3 非单调逻辑（Non-monotonic Logic） 96
3.4 界限理论（Circumscription） 98
3.5 正确性维持系统TMS（Truth Maintenance 102
System） 102
3.6 评价 108
参考文献 111
4.1 简介 113
4.2 信念的推理表示 113
第四章 非单调推理系统TMS 113
4.3 正确性维持机制 118
4.4 面向从属关系的回溯 123
4.5 TMS小结 126
4.6 TMS存在的问题 129
4.7 改进选择错误的方法 133
4.8 模糊非单调推理系统FTMS 135
4.9 FTMS的实现问题 142
4.10 不精确非单调推理系统的讨论 148
参考文献 151
5.1 简介 154
第五章 基于假设的非单调推理系统ATMS 154
5.2 基本定义 157
5.3 基本数据结构 160
5.4 环境网 162
5.5 基本操作和算法 164
5.6 基于假设的模糊非单调推理系统FATMS 167
5.7 问题的解决 169
参考文献 173
第六章 结束语 175
6.1 遗留问题的解决 175
6.2 今后的工作 179
参考文献 179