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