《人工智能原理》

译者的话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