第一章 绪论 1
第一节 什么是人工智能 1
第二节 人工智能的发展及其广阔应用 2
第三节 人工智能面临的挑战 10
第二章 状态空间法及搜索 14
第一节 状态空间的基本概念和基本系统结构 14
第二节 状态空间搜索法 19
第三节 启发式图搜索法 30
习题 42
［附录一］传教士与野人过河问题程序 45
［附录二］四皇后问题程序 47
第三章 问题归约法 49
第一节 问题空间及与或图表示 49
第二节 启发式与或图搜索法 57
第三节 博弈搜索 61
习题 67
第四章 人工智能中的谓词演绎 70
第一节 谓词逻辑的一般介绍 70
第二节 置换与合一 73
第三节 消解原理 76
习题 81
第五章 消解反演系统 82
第一节 消解反演 82
第二节 消解反演系统的搜索策略 85
第三节 从消解反演中提取回答 92
第四节 Horn子句逻辑 97
习题 100
第六章 知识的表示 102
第一节 知识表示的有关问题 102
第二节 谓词公式及产生式规则表示法 104
第三节 框架表示法 107
第四节 语义网络表示法 114
习题 117
第七章 专家系统 118
第一节 专家系统概述与建造 118
第二节 专家系统的不确定性问题 124
第三节 专家系统开发工具——EXPERT 132
第四节 MYCIN系统 141
第八章 机器学习 151
第一节 机器学习概述 151
第二节 通过例子学习法 154
第三节 基于解释的学习法 163
第九章 智能机器人规划生成系统 168
第一节 智能机器人概述 168
第二节 规划生成系统的一般介绍 170
第三节 STRIPS系统 175
第四节 GPS系统 181
习题 184
参考文献 185