人工智能原理PDF电子书下载

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