目 录 1
第一章导言 1
第二章符号逻辑导引 12
2.1命题逻辑 12
2.2一阶逻辑 16
2.3逻辑推论 25
2.4符号逻辑中的标准型 27
2.5一阶逻辑的应用 33
第三章Herbrand定理 36
3.1 Skolem标准型 36
3.2 Herbrand解释 43
3.3语义树 49
3.4 Herbrand定理 52
3.5 Herbrand定理的实现 55
4.1命题逻辑的归结原理 61
第四章归结原理 61
4.2取代和一致化 64
4.3一致化算法 67
4.4一阶逻辑的归结原理 71
4.5归结原理的完全性 76
4.6 归结原理应用示例 80
4.7删除策略 84
5.1语义归结导引 91
第五章语义归结 91
5.2语义归结的定义 94
5.3语义归结的完全性 97
5.4超归结和支撑集合策略——语义归结的特殊情况 99
第六章Horn短句与逻辑程序 104
6.1 Horn短句的归结原理 104
6.2输入反驳 110
6.3单位反驳 113
6.4逻辑程序 116
7.1基本语法 134
第七章Micro-PROLOG 134
7.2扩充Horn短句 141
7.3表格处理与语法分析 154
7.4某些语用考虑 165
7.5元逻辑程序设计 174
7.6 Micro-PROLOG的标准语法 184
第八章专家系统的实现 196
8.1专家系统导引 196
8.2 MYCIN的不精确推理 204
8.3知识表示和人－机交互 217
8.4实现解释功能 225
8.5专家系统外壳APES 235
8.6在法律中的应用 254
第九章逻辑程序的若干问题 265
9.1不确定性 265
9.2“当”型定义 272
9.3可证明性关系 282
9.4信息吸收 292
第十章逻辑程序的语义 299
10.1过程语义 299
10.2模型论语义 301
10.3不动点语义 304
10.4模型论语义和不动点语义 306
10.5过程语义和不动点语义 307
11.1 与－并行——单解关系 312
第十一章PARLOG：并行逻辑程序设计 312
11.2惰性计算和受限缓冲器进程 328
11.3或－并行——全解关系 337
11.4元级程序设计 344
11.5结语 346
第十二章综述 347
12.1计算理论 347
12.2计算实践 353
12.3计算技术 365