人工智能原理及其实现

目录
第一章 引言
1.1　人工智能及其所涉及的领域
1.2　对人工智能的理解问题
第二章　事实的表示
2.1　谓词及谓词表达式
2.2　谓词类型
2.3　类型及其命名
2.4　性质谓词
2.5　关系谓词
2.6　语义网络类型的谓词
2.7　具有三个或三个以上参数的谓词
2.8　到底需要多少事实？
习题
第三章　变量及查询
3.1　对于事实的查询
3.2　单变量查询
3.3　匹配选择问题
3.4　多重条件的查询
3.5　表示否定的谓词表达式
3.6　几个查询例子及数据库的装入
3.7 回溯
3.8　较复杂的回溯例子
3.9　带有谓词not的回溯
3.10　生成-测试模式
3.11　回溯的实现
习题
第四章　规则的定义及推理
4.1　规则的定义
4.2　规则及事实的序
4.3　Prolog程序与规则
4.4　延迟匹配问题
4.5　带有规则的回溯
4.6　传递关系
4.7　继承关系
4.8　传递性及继承性的实现问题
4.9　关于交通法规的具体实例
4.10　交通信号灯程序的运行
习题
第五章　Prolog中的算术运算及表处理
5.1　比较算符
5.2　赋值
5.3　关于is的可逆性
5.4　Prolog中的表处理
5.5　某些表处理谓词的定义
5.6　与建立表有关的谓词
5.7　表处理谓词的组合及谓词定义的冗余性
5.8　例子
习题
第六章　基于规则系统的控制结构
6.1　后向链控制结构
6.2　前向推理链
6.3　前向链结构的实例
6.4　混合控制结构
6.5　关于序的变化问题
6.6　分块控制结构
6.7　元规则
6.8　决策网络
6.9　并发控制结构
6.10　AND-OR-NOT网络
习题
第七章　基于规则系统的实现
7.1　后向链的实现
7.2　虚拟事实及缓冲区的实现
7.3　输入编码策略
7.4　输出编码策略
7.5 中间谓词
7.6　关于家庭室内电器装置实例的程序
7.7　基于规则系统的分划问题
7.8　规则循环混合法的实现
7.9　纯前向链控制结构的实现
7.10　带有“forall”及“doall”谓词的迭代方法
7.11　前向链的输入输出
7.12　元规则的实现
7.13　程序代码小结
习题
第八章　不精确知识的表示
8.1　概率方法
8.2　具有概率的规则
8.3　组合证据假设
8.4　在事件独立假设下与组合及或组合的实现
8.5　保守法
8.6　开放法
8.7　例子
习题
第九章　搜索
9.1　基本概念
9.2　基本搜索方法
9.3　启发信息，估值函数和费用函数
9.4　搜索的特殊方法
9.5　搜索问题的一般讨论
习题
第十章　搜索的实现
10.1　搜索问题的定义
10.2　深度优先和宽度优先搜索法的实现
10.3 Prolog语言的截断谓词
10.4　其它搜索法的实现
习题
第十一章　抽象
11.1 目的-手段分析法
11.2　知识的框架表示
第十二章　多约束条件问题的求解方法
12.1　引言
12.2　排列次序的调整
12.3　建立在依赖关系上的回溯方法
12.4　松弛法
习题
第十三章　逻辑程序设计的进一步讨论
13.1　引言
13.2　消解法
13.3　消解法的控制策略
习题
参考文献