第一章 绪论

第一节 什么是人工智能

第二节 人工智能的发展及其广阔应用

第三节 人工智能面临的挑战

第二章 状态空间法及搜索

第一节 状态空间的基本概念和基本系统结构

第二节 状态空间搜索法

第三节 启发式图搜索法

习题

［附录一］传教士与野人过河问题程序

［附录二］四皇后问题程序

第三章 问题归约法

第一节 问题空间及与或图表示

第二节 启发式与或图搜索法

第三节 博弈搜索

习题

第四章 人工智能中的谓词演绎

第一节 谓词逻辑的一般介绍

第二节 置换与合一

第三节 消解原理

习题

第五章 消解反演系统

第一节 消解反演

第二节 消解反演系统的搜索策略

第三节 从消解反演中提取回答

第四节 Horn子句逻辑

习题

第六章 知识的表示

第一节 知识表示的有关问题

第二节 谓词公式及产生式规则表示法

第三节 框架表示法

第四节 语义网络表示法

习题

第七章 专家系统

第一节 专家系统概述与建造

第二节 专家系统的不确定性问题

第三节 专家系统开发工具——EXPERT

第四节 MYCIN系统

第八章 机器学习

第一节 机器学习概述

第二节 通过例子学习法

第三节 基于解释的学习法

第九章 智能机器人规划生成系统

第一节 智能机器人概述

第二节 规划生成系统的一般介绍

第三节 STRIPS系统

第四节 GPS系统

习题

参考文献