第一节 人工智能的界定 1
第一章 绪论 1
一、什么是人工智能 2
二、人工智能的研究目标 2
三、人工智能中的通用问题求解方法 3
第二节 人工智能的学科范畴 6
一、人工智能的研究范畴 7
二、人工智能技术的应用 10
第三节 人工智能的研究方法 13
一、人工智能研究的特点 13
二、人工智能的研究途径 14
一、人工智能的发展简史 17
第四节 人工智能的发展简史和趋势 17
二、人工智能的发展趋势 21
本章小结 22
习题一 22
第二章 知识的产生式系统表示法 23
第一节 知识与知识表示的概念 23
一、知识 23
二、知识的表示 26
第二节 产生式表示和产生式系统 28
一、产生式表示的基本方法及特性 28
二、产生式系统的组成 29
三、产生式系统的推理 36
四、产生式系统举例 40
五、产生式系统的分类 44
六、产生式系统的特点 48
本章小结 48
习题二 49
第三章 知识的状态空间表示法及搜索问题讨论 50
第一节 状态空间表示知识 50
一、状态空间表示知识要点 50
二、状态图搜索 51
三、状态空间表示知识举例 51
第二节 搜索问题讨论 57
一、搜索与思维过程 57
二、搜索过程 58
二、“隐式图”求解问题的一般过程 59
第三节 图搜索 59
一、显式图与隐式图 59
三、广度优先搜索流程图 60
四、深度优先搜索流程图 61
第四节 回溯策略 62
第五节 状态空间的与／或树表示法 66
一、分解（与树） 66
二、等价变换（或树） 66
三、与或树 66
第六节 状态空间的与／或树搜索策略举例 70
第七节 启发式搜索 73
一、A算法和A算法的定义 73
三、A算法 74
二、A算法 74
本章小结 78
习题三 78
第四章 知识的一阶谓词逻辑表示法 79
第一节 一阶谓词逻辑基本理论 79
一、命题与联结词 79
二、个体词与谓词 81
三、量词 82
四、谓词公式 82
五、谓词公式的永真性与可满足性 83
六、谓词公式的等价性与永真蕴涵性 84
七、谓词公式的范式 85
八、置换与合一 86
第二节 确定性推理 89
一、推理的基本概念 90
二、推理方法及分类 90
三、推理的控制策略及分类 92
四、推理的冲突消解策略 92
第三节 自然演绎推理 93
第四节 归结演绎推理 94
一、子句集及其化简 94
二、海伯伦理论 96
三、鲁宾逊归结原理 98
四、命题逻辑中的归结原理 98
五、谓词逻辑中的归结原理 101
六、基于归结的问题求解方法 104
七、归结演绎推理的归结策略 106
第五节 基于规则的演绎推理 111
一、规则演绎推理的分类 111
二、规则演绎推理的剪枝策略 116
本章小结 119
习题四 120
第五章 知识的语义网络表示法 122
第一节 语义网络的基本概念 122
一、基本事实的表示 123
二、表示情况和动作 125
三、多元语义网络的表示 126
四、连接词与量词的表示 127
第二节 语义网络的推理（过程） 130
一、继承 131
二、匹配 132
第三节 语义网络表示知识的特点 134
本章小结 134
习题五 135
第六章 知识的框架结构表示法 136
第一节 框架理论概述 136
一、框架理论 136
二、框架表示知识 137
第二节 框架网络系统 140
一、框架网络 140
二、框架系统中的预定义槽名 141
一、框架表示知识下的推理方法 147
三、框架系统的程序语言实现 147
第三节 框架推理 147
二、槽值的计算 150
三、不确定性知识的框架表示 151
四、框架的不确定性匹配 152
五、框架语义网络 154
第四节 框架结构表示知识的特点和局限性 155
一、框架表示法的特点 155
二、框架系统的局限性 155
本章小结 156
习题六 156
一、什么是脚本表示知识法 157
第一节 脚本表示知识法 157
第七章 其他知识表示法 157
二、脚本的推理 158
第二节 过程表示知识法 159
一、什么是过程表示知识法 159
二、过程表示法的推理形式 159
三、过程表示法的应用特性 161
第三节 Petri网表示法 162
一、Petri网及其表示知识的方法 162
二、一个实例——使用Petri网建模的知识表示 163
三、Petri网表示知识的特点 164
第四节 面向对象表示知识法 164
一、面向对象知识表示概念 164
二、对象模型技术概述 167
三、面向对象知识表示与语义网络、框架系统的比较 168
本章小结 168
习题七 169
第八章 专家系统 170
第一节 专家系统的定义与分类 170
一、什么是专家系统 170
二、专家系统的产生和发展 171
三、专家系统的组成 173
四、专家系统的分类 174
五、专家系统的主要特征 176
六、专家系统的开发过程 177
一、知识获取的方式 179
第二节 知识的获取 179
二、知识获取的步骤 180
第三节 专家系统的评价 182
一、专家系统的评价方法 182
二、专家系统的评价内容 182
三、专家系统的评价指标 183
第四节 专家系统设计举例 185
一、动物识别系统 185
二、水泥回转窑生产指导专家系统 188
第五节 专家控制系统 195
一、专家控制系统的工作原理 195
二、专家控制系统的类型 199
三、直接专家控制系统 199
四、间接专家控制系统 203
五、实时专家控制系统 206
第六节 专家系统的开发工具 212
一、骨架型开发工具（专家系统外壳） 213
二、知识获取辅助工具 214
三、模块组合式开发工具 214
四、用于开发专家系统的程序设计语言 214
第七节 新一代的专家系统 215
一、深层知识专家系统 215
二、模糊专家系统 215
三、神经网络专家系统 216
七、专家系统与3S技术结合 217
六、与模型技术结合 217
五、网上（多媒体）专家系统 217
四、大型协同分布式专家系统 217
第八节 专家系统存在的问题及发展趋势 218
一、存在的问题 218
二、研究方向 219
本章小结 220
习题八 220
第九章 PROLOG程序设计语言 222
第一节 PROLOG语言概述 222
一、PROLOG语言发展概况 222
二、PROLOG语言的特点 223
第二节 逻辑型程序设计语言PROLOG 224
一、PROLOG的语句 224
二、PROLOG程序 226
三、PROLOG程序设计基础 227
四、Turbo PROLOG程序设计 230
第三节 PROLOG的语法与数据结构 235
一、PROLOG语法 235
二、结构与树 237
三、表处理与递归 238
四、动态数据库 241
第四节 PROLOG的系统谓词 242
一、算术运算谓词 242
二、函数性谓词 243
三、比较运算谓词 244
四、输入与输出谓词 245
六、分类项谓词 247
五、文件处理谓词 247
第五节 PROLOG的搜索控制 248
一、PROLOG的搜索和回溯 249
二、PROLOG的搜索控制谓词 250
第六节 PROLOG程序设计举例 254
一、PROLOG简单程序设计 254
二、量水问题 257
三、梵塔问题 260
四、八皇后问题 261
本章小结 263
习题九 263
参考文献 265