译者的话 1
原序 1
致谢 1
本书原版排印情况 1
绪论 1
目录 1
0.1人工智能的某些应用 2
0.2本书综述 8
0.3文献和历史的评述 10
1.1产生式系统 17
第一章产生式系统与人工智能 17
1.2特殊的产生式系统 33
1.3不同类型产生式系统的评价 44
1.4文献和历史的评述 45
习题 47
第二章人工智能产生式系统的搜索策略 49
2.1回溯策略 51
2.2图搜索策略 56
2.3无信息的图搜索过程 63
2.4启发式的图搜索过程 66
2.5有关的几种算法 82
2.6性能的度量 84
2.7文献和历史的评述 87
习题 89
第三章可分解产生式系统的搜索策略 91
3.1与或图的搜索 91
3.2 AO：与或图的一种启发式搜索过程 94
3.3可分解系统与可交换系统之间的几个关系 100
3.4博弈树搜索 103
3.5文献和历史的评述 116
习题 118
第四章人工智能中的谓词演算 120
4.1谓词演算非形式的介绍 120
4.2归结 132
4.3人工智能中谓词演算的用法 138
4.4文献和历史的评述 142
习题 142
第五章归结反演系统 145
5.1用归结反演的产生式系统 146
5.2归结方法的控制策略 147
5.3简化策略 154
5.4从归结反演提取回答 156
5.5文献和历史的评述 168
习题 168
第六章基于规则的演绎系统 171
6.1正向演绎系统 173
6.2逆向演绎系统 187
6.3在与或图内做归结 207
6.4计算演绎和程序综合 213
6.5正向系统和逆向系统的联合 224
6.6基于规则的演绎系统的控制知识 228
6.7文献和历史的评述 238
习题 241
第七章基本的规划生成系统 244
7.1机器人问题求解 244
7.2正向产生式系统 250
7.3规划的表示 252
7.4逆向产生式系统 256
7.5 STRIPS系统 266
7.6用演绎系统生成机器人规划 275
7.7文献和历史的评述 283
习题 284
8.1 RSTRIPS系统 287
第八章高级的规划生成系统 287
8.2 DCOMP系统 300
8.3修改规划 309
8.4分层规划 316
8.5文献和历史的评述 324
习题 325
第九章事物的结构化表示方法 327
9.1谓词演算的单元表示法 327
9.2图表示法：语义网络 335
9.3匹配 342
9.4结构化事物的演绎运算 351
9.5缺陷和矛盾信息 371
9.6文献和历史的评述 374
习题 376
展望 377
10.1人工智能系统的体系结构 378
10.2知识获取 379
10.3表示方法的形式体系 382
参考资料 387
汉英名词对照索引 422