第一部分 知识表示 5
第一章 演绎系统 5
1.1谓词演算 5
1.2自然演绎系统 18
1.3与或句演绎系统 23
1.4子句演绎系统 30
习题 35
第二章 产生式系统 39
2绪论 39
2.2产生式系统的基本特征 40
2.3产生式的知识元 44
2.4推理的方向 48
2.5框架问题 57
2.6非确定性匹配 64
2.7匹配冲突的解决 68
习题 81
第三章 框架结构 84
3.1事物的属性 84
3.2框架 91
习题 104
第四章 语义网络 107
4.1命题语义网络 107
4.2数据语义网络 117
4.3语言语义网络 130
4.4几种特殊的语义网络 137
4.5网络上的推理 144
习题 150
第五章 过程性知识 152
5.1状态空间 152
5.2时序框架 156
5.3概念依赖理论和剧本 159
5.4说明性表示中的过程知识 167
习题 173
第二部分 搜索技术 180
第六章 无变量盲目搜索算法 180
6.1状态空间的盲目搜索 180
6.2问题空间的盲目搜索 193
习题 208
第七章 带变量盲目搜索算法 213
7.1通代算法 213
7.2带变量的状态空间盲目搜索 218
7.3带变量的问题空间盲目搜索 223
习题 237
第八章 启发式搜索算法 239
8.1单值有序搜索和多值有序搜索 240
8.2H算法和A算法 246
8.3估值函数的选择 259
8.4B算法和B′算法 272
8.5双向启发式搜索 284
习题 294
第九章 启发式搜索算法（续） 297
9.1几种特殊的启发式搜索 297
9.2通用弱方法 310
9.3与或树的启发式搜索 326
习题 339
第十章 博弈树搜索 344
10.1极小极大树算法 344
10.2B算法 363
10.3SSS算法 374
10.4综合运用博弈树搜索技术 387
习题 407
参考文献 412