人工智能原理及其实现PDF电子书下载

目录 1

第一章 引言 1

1.1　人工智能及其所涉及的领域 1

1.2　对人工智能的理解问题 5

第二章　事实的表示 7

2.1　谓词及谓词表达式 7

2.2　谓词类型 8

2.3　类型及其命名 10

2.4　性质谓词 11

2.5　关系谓词 12

2.6　语义网络类型的谓词 13

2.7　具有三个或三个以上参数的谓词 15

习题 16

2.8　到底需要多少事实？ 16

第三章　变量及查询 18

3.1　对于事实的查询 18

3.2　单变量查询 19

3.3　匹配选择问题 20

3.4　多重条件的查询 21

3.5　表示否定的谓词表达式 23

3.6　几个查询例子及数据库的装入 24

3.7 回溯 25

3.8　较复杂的回溯例子 28

3.9　带有谓词not的回溯 31

3.10　生成-测试模式 32

3.11　回溯的实现 33

习题 35

4.1　规则的定义 38

第四章　规则的定义及推理 38

4.2　规则及事实的序 40

4.3　Prolog程序与规则 41

4.4　延迟匹配问题 43

4.5　带有规则的回溯 44

4.6　传递关系 47

4.7　继承关系 48

4.8　传递性及继承性的实现问题 52

4.9　关于交通法规的具体实例 54

4.10　交通信号灯程序的运行 58

习题 60

第五章　Prolog中的算术运算及表处理 63

5.1　比较算符 63

5.3　关于is的可逆性 64

5.2　赋值 64

5.4　Prolog中的表处理 67

5.5　某些表处理谓词的定义 68

5.6　与建立表有关的谓词 71

5.7　表处理谓词的组合及谓词定义的冗余性 74

5.8　例子 76

习题 78

第六章　基于规则系统的控制结构 81

6.1　后向链控制结构 81

6.2　前向推理链 83

6.3　前向链结构的实例 85

6.4　混合控制结构 87

6.5　关于序的变化问题 90

6.6　分块控制结构 91

6.7　元规则 92

6.8　决策网络 93

6.9　并发控制结构 95

6.10　AND-OR-NOT网络 97

习题 99

第七章　基于规则系统的实现 102

7.1　后向链的实现 102

7.2　虚拟事实及缓冲区的实现 103

7.3　输入编码策略 104

7.4　输出编码策略 105

7.5 中间谓词 107

7.6　关于家庭室内电器装置实例的程序 108

7.7　基于规则系统的分划问题 112

7.8　规则循环混合法的实现 112

7.9　纯前向链控制结构的实现 114

7.10　带有“forall”及“doall”谓词的迭代方法 118

7.11　前向链的输入输出 119

7.12　元规则的实现 122

7.13　程序代码小结 124

习题 127

第八章　不精确知识的表示 129

8.1　概率方法 129

8.2　具有概率的规则 130

8.3　组合证据假设 132

8.4　在事件独立假设下与组合及或组合的实现 134

8.5　保守法 136

8.6　开放法 138

8.7　例子 140

习题 142

9.1　基本概念 145

第九章　搜索 145

9.2　基本搜索方法 147

9.3　启发信息，估值函数和费用函数 149

9.4　搜索的特殊方法 153

9.5　搜索问题的一般讨论 155

习题 156

第十章　搜索的实现 159

10.1　搜索问题的定义 159

10.2　深度优先和宽度优先搜索法的实现 163

10.3 Prolog语言的截断谓词 168

10.4　其它搜索法的实现 172

习题 180

11.1 目的-手段分析法 181

第十一章　抽象 181

11.2　知识的框架表示 187

第十二章　多约束条件问题的求解方法 195

12.1　引言 195

12.2　排列次序的调整 198

12.3　建立在依赖关系上的回溯方法 204

12.4　松弛法 206

习题 212

第十三章　逻辑程序设计的进一步讨论 214

13.1　引言 214

13.2　消解法 217

13.3　消解法的控制策略 220

习题 223

参考文献 223