目 录 第1章 绪论 （1） 1.1 人工智能 （1） 1.1.1 什么是人工智能 （1） 1.1.2 什么是自然智能 （2） 1.2 人工智能发展史 （3） 1.2.1 第一阶段—孕育期（1956年以前） （3） 1.2.2 第二阶段—人工智能基础技术的研究和形成（1956—1970年） （5） 1.2.3 第三阶段—发展和实用化阶段（1971—1980年） （6） 1.2.4 第四阶段—知识工程和深度学习（1980年至今） （8） 1.3 人工智能的研究领域 （9） 1.3.1 专家系统 （9） 1.3.2 自然语言处理 （10） 1.3.3 机器学习 （11） 1.3.4 定理证明 （11） 1.3.5 分布式人工智能 （12） 1.3.6 机器人 （12） 1.3.7 模式识别 （13） 1.3.8 博弈和游戏 （14） 1.3.9 计算机视觉 （15） 1.3.10 人工神经网络 （15） 习题1 （16） 第2章 知识表达方法 （17） 2.1 知识的概念和含义 （17） 2.2 知识表达方法概述 （18） 2.2.1 知识类型 （18） 2.2.2 知识模型变换 （18） 2.3 状态空间表达 （19） 2.3.1 状态空间表达法的概念 （19） 2.3.2 状态空间表达法的例子 （20） 2.4 与/或图表达法 （20） 2.4.1 与/或图表达法的概念 （20） 2.4.2 与/或图表达法的例子 （21） 2.5 产生式系统 （22） 2.5.1 产生式系统的基本结构 （23） 2.5.2 产生式系统的表示 （25） 2.6 知识的逻辑表达方法 （28） 2.6.1 命题逻辑 （28） 2.6.2 谓词逻辑 （32） 2.6.3 一阶谓词逻辑表达方法 （33） 2.6.4 谓词逻辑表达法的特性和应用 （35） 2.7 语义网络 （36） 2.7.1 语义网络的概念和特性 （36） 2.7.2 语义网络的知识表示 （37） 2.8 框架表达法 （42） 2.8.1 框架的构成 （43） 2.8.2 框架系统和产生式系统的结合 （46） 2.9 特征表表达法 （48） 2.10 面向对象的表示 （49） 2.10.1 对象、消息和方法 （49） 2.10.2 类、类层次和继承性 （51） 2.10.3 面向对象的知识表示和语义网络、框架系统的比较 （51） 习题2 （52） 第3章 问题求解方法 （54） 3.1 状态空间搜索概述 （54） 3.1.1 状态图 （54） 3.1.2 问题在状态空间中的图描述 （55） 3.1.3 将问题求解定义为状态空间搜索 （56） 3.1.4 搜索的基本概念 （58） 3.2 盲目的图搜索 （60） 3.2.1 搜索策略概述 （60） 3.2.2 回溯策略 （61） 3.2.3 宽度优先搜索 （64） 3.2.4 深度优先搜索 （65） 3.2.5 图搜索 （68） 3.3　启发式图搜索 （68） 3.3.1　启发式策略 （69） 3.3.2　启发信息和估价函数 （71） 3.3.3　启发式图搜索法—A及A*搜索算法 （73） 3.3.4　A*搜索算法的讨论 （75） 3.4　与/或图搜索 （77） 3.4.1　与/或图的概念 （77） 3.4.2　AO及AO*搜索算法 （79） 3.4.3　博弈树搜索 （83） 3.5　局部搜索算法 （90） 3.6　模拟退火算法 （93） 3.6.1　固体退火过程 （93） 3.6.2　模拟退火算法 （94） 3.6.3 参数的确定 （95） 3.6.4 应用举例 （99） 3.7 遗传算法 （100） 3.7.1 生物进化和遗传算法 （100） 3.7.2 遗传算法的实现问题 （103） 3.8 约束满足法 （107） 习题3 （109） 第4章　基本推理技术 （112） 4.1　推理技术概述 （112） 4.1.1　推理的概念和类型 （112） 4.1.2　推理的控制策略 （115） 4.2　归结反演系统 （118） 4.2.1　归结原理 （118） 4.2.2　归结反演 （122） 4.2.3　归结反演的控制策略 （124） 4.2.4　应用归结反演求取问题的答案 （126） 4.3　基于规则的演绎推理 （128） 4.3.1　正向演绎推理 （128） 4.3.2　反向演绎推理 （133） 4.3.3 双向演绎推理 （135） 习题4 （136） 第5章 不精确推理 （138） 5.1 不精确推理概述 （138） 5.2 概率方法 （140） 5.2.1 概率论基础 （140） 5.2.2 概率推理模型 （142） 5.3 主观贝叶斯方法 （143） 5.3.1 不确定性的表示 （143） 5.3.2 主观贝叶斯方法推理的基本算法 （145） 5.4 可信度方法 （150） 5.4.1 基于可信度的不确定性表示 （150） 5.4.2 可信度方法推理的基本算法 （152） 5.5 模糊推理 （154） 5.5.1 模糊理论基础 （155） 5.5.2 语言变量和模糊推理 （158） 习题5 （159） 第6章 PROLOG语言 （161） 6.1 PROLOG语言概述 （161） 6.1.1 PROLOG语言的发展 （161） 6.1.2 PROLOG语言的特点 （161） 6.2 PROLOG语言的数据结构 （162） 6.2.1 数据结构 （162） 6.2.2 程序结构 （164） 6.3 PROLOG语言的内部谓词 （165） 6.3.1 比较类 （165） 6.3.2 表达式类 （166） 6.3.3 输入输出类 （166） 6.3.4 文件操作类 （166） 6.3.5 控制类 （167） 6.3.6 复杂目标类 （167） 6.3.7 项类 （168） 6.3.8 结构分量类 （168） 6.3.9 项维护类（动态数据库） （169） 6.4 PROLOG语言的搜索策略 （169） 6.4.1 例化与匹配 （170） 6.4.2 回溯控制 （170） 6.4.3 搜索策略 （172） 6.5 谓词“!”的讨论 （173） 6.5.1 谓词“!”的作用 （174） 6.5.2 用法及举例 （175） 6.6 PROLOG程序设计 （178） 6.6.1 数学函数 （178） 6.6.2 八皇后问题 （180） 6.6.3 专家系统示例 （181） 6.7 PROLOG语言与C语言的连接 （183） 6.7.1 语言条件 （183） 6.7.2 外部谓词说明 （184） 6.7.3 参数传递 （184） 6.7.4 外部C语言子程序 （185） 6.7.5 两个限制 （185） 习题6 （186） 第7章 专家系统 （189） 7.1 专家系统的定义和分类 （189） 7.1.1 专家系统的定义和特点 （189） 7.1.2 专家系统的类型 （192） 7.2 专家系统的结构和工作原理 （194） 7.2.1 专家系统的一般结构 （194） 7.2.2 专家系统的工作原