《人工智能原理及其实现》求取 ⇩

目录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