本书是普通高等教育十一五规划教材，系统介绍了人工智能的基本原理和相关的应用领域。全书共10章，包括：绪论、知识表达方法、问题求解方法、基本推理技术、不精确推理、PROLOG语言、专家系统、机器学习、人工神经网络和人工智能游戏。本书内容丰富、条理清楚，各章都配有例题，并给出了相当数量的习题，以帮助读者理解和掌握本书的内容。本书可作为高等学校信息类相关专业的教材，也可供相关专业领域的科技人员使用。
王士同，教授，博士生导师，中国离散数学学会常务理事，中国机器学习学会常务理事。主要从事人工智能、模式识别和图像处理及其应用等方面的研究和教学工作。多次赴日本、香港等进行访问交流，并在大阪大学、香川大学、高知大学、广岛大学、香港理工大学等国外高校开展学术讲座活动。曾获全国优秀教师，国务院政府特贴，省部级有突出贡献的中青年专家，教育部新世纪优秀人才支持计划，江苏省333工程第二层次人才培养对象。
目 录
第1章 绪论 （1）
1.1 人工智能 （1）
1.1.1 什么是人工智能 （1）
1.1.2 什么是自然智能 （2）
1.2 人工智能发展史 （3）
1.2.1 阶段孕育期（1956年以前） （3）
1.2.2 第二阶段人工智能基础技术的研究和形成（19561970年） （5）
1.2.3 第三阶段发展和实用化阶段（19711980年） （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 专家系统的工作原理 （195）
7.3 知识获取 （197）
7.3.1 知识获取的任务 （198）
7.3.2 知识获取的模式 （199）
7.4 专家系统的建立 （201）
7.4.1 适于专家系统求解的问题 （201）
7.4.2 专家系统的设计原则和开发步骤 （202）
7.4.3 专家系统的评价 （205）
7.5 专家系统实例 （206）
7.5.1 动物识别专家系统 （206）
7.5.2 医学专家系统MYCIN （208）
7.5.3 地质勘探专家系统PROSPECTOR （216）
7.6 专家系统的开发工具 （219）
7.6.1 用于开发专家系统的程序设计语言 （219）
7.6.2 骨架系统 （219）
7.6.3 通用型知识表达语言 （222）
7.6.4 专家系统开发环境 （223）
习题7 （224）
第8章 机器学习 （225）
8.1 机器学习概述 （225）
8.1.1 机器学习的基本概念 （225）
8.1.2 机器学习的主要策略 （226）
8.1.3 机器学习系统的基本结构 （226）
8.1.4 机器学习系统的主要特性 （228）
8.2 机械学习 （230）
8.2.1 机械学习模式及主要问题 （230）
8.2.2 机械学习应用举例 （232）
8.3 示例学习 （233）
8.3.1 示例学习模型 （234）
8.3.2 示例学习的一般过程 （235）
8.3.3 示例表示 （238）
8.3.4 示例复用 （239）
8.3.5 示例保存 （240）
8.4 类比学习 （241）
8.4.1 类比学习的概念 （241）
8.4.2 类比学习的表示和求解 （242）
8.5 几种类比学习系统介绍 （244）
8.5.1 转换类比学习 （244）
8.5.2 派生类比学习 （248）
8.5.3 因果关系类比学习 （249）
8.5.4 联想类比学习 （252）
8.6 归纳学习 （253）
8.6.1 归纳学习概述 （253）
8.6.2 归纳学习的一般模式 （254）
8.6.3 类型定义 （254）
8.6.4 结构归纳学习及示例 （256）
8.6.5 基于决策树的归纳学习方法 （259）
习题8 （261）
第9章 人工神经网络 （263）
9.1 神经网络概述 （263）
9.2 人工神经元模型 （264）
9.2.1 神经元模型 （264）
9.2.2 神经网络结构及工作方式 （266）
9.3 神经网络的学习方法 （267）
9.3.1 学习方式 （267）
9.3.2 学习规则 （267）
9.3.3 学习与自适应 （268）
9.4 前馈神经网络 （269）
9.4.1 前馈神经网络结构 （269）
9.4.2 利用BP算法进行网络训练 （270）
9.5 Hopfield神经网络 （276）
9.5.1 神经联想记忆 （276）
9.5.2 Hopfield网络 （276）
9.5.3 Hopfield网络的一个范例 （281）
9.6 Kohonen自组织神经网络 （283）
习题9 （284）
第10章 人工智能游戏 （286）
10.1 计算机游戏中的人工智能 （286）
10.2 游戏编程中的人工智能 （287）
10.3 游戏中的移动 （288）
10.3.1 环境和空间 （288）
10.3.2 游戏世界的类型 （289）
10.3.3 处理移动 （291）
10.3.4 假设 （292）
10.3.5 测试条件 （292）
10.3.6 导航的技巧 （293）
10.3.7 游戏中的机器人及其移动 （293）
10.3.8 仿生机器人的自主导航 （294）
10.3.9 移动的标准 （295）
10.3.10 实例研究 （295）
10.4 实验平台FEAR （296）
习题10 （299）
参考文献 （300）
书单推荐
