本书是“普通高等学校计算机专业精品课程教材”之一，该书分7个章节，主要介绍了人工智能的基本理论、方法及实现技术，具体内容包括知识表示方法、搜索方法、经典逻辑推理、专家系统、不确定推理方法、机器学习等。该书可供各大专院校作为教材使用，也可供从事相关工作的人员作为参考用书使用。

本书介绍人工智能的基本理论、方法及实现技术。全书共7章，分为两部分。第一部分包括第1章至第4章，主要介绍人工智能的基本概念、方法和技术，包括知识表示方法和搜索、逻辑推理等问题求解的基本方法。第二部分包括第5章至第7章，讨论产生式专家系统及其实现技术、不确定推理方法和机器学习方法及其应用实例。

本书内容详实，层次清晰，详咯适当，重点突出，语言严谨，例题丰富，可作为高等学校计算机等信息类和管理类相关专业的本科生教材，也可供有关科技人员参考。

前言

第1章 绪论

 1.1 人工智能及其发展

 1.2 人工智能的研究与应用领域

 习题一

第2章 知识表示方法

 2.1 一阶谓词逻辑表示方法

2.1.1 一阶谓词逻辑表示

2.1.2 一阶谓词逻辑表示方法的特点

 2.2 产生式表示方法

2.2.1 产生式与产生式系统

2.2.2 产生式系统的分类及其特点

 2.3 框架表示方法

2.3.1 框架与框架网络

2.3.2 框架推理及其特点

 习题二

第3章 搜索方法

 3.1 问题求解过程的形式表示

3.1.1 状态空间表示方法

3.1.2 与/或图表示方法

 3.2 状态空间的搜索方法

3.2.1 盲目搜索算法

3.2.2 启发式搜索算法

3.2.3 状态空间搜索算法的应用

3.2.4 A*算法及其特性

 3.3 与/或图的搜索方法

3.3.1 与/或图的盲目搜索算法

3.3.2 与/或图的启发式搜索算法

3.3.3 与/或图搜索算法的应用

习题三

第4章 经典逻辑推理

 4.1 推理的基本概念

4.1.1 推理方式及其分类

4.1.2 推理的控制策略.

4.1.3 模式匹配及其变量代换

 4.2 归结演绎推理

4.2.1 谓词公式化为子句集的方法

4.2.2 归结原理

4.2.3 归结反演

 4.3 基于归结反演的问题求解

 4.4 归结反演的改进策略

4.4.1 删除策略

4.4.2 限制策略

 4.5 与/或形演绎推理

4.5.1 与/或形正向演绎推理

4.5.2 与/或形逆向演绎推理

4.5.3 代换的一致性与剪枝策略

 习题四

第5章 专家系统

 5.l 专家系统概述

5.1.1 专家系统的类型与特点

5.1.2 专家系统的结构与开发方法

 5.2 LISP语言

5.2.1 LISP语言的特点与表达式

5.2.2 LISP语言的基本函数

5.2.3 迭代与递归

 5.3 知识库与推理机

5.3.1 产生式规则与规则库的存储结构

5.3.2 推理机及其实现

5.3.3 元知识与元规则

 5.4 解释机制与解释器

5.4.1 解释的方法

5.4.2 解释器及其实现

 5.5 知识获取

5.5.1 知识获取的任务与方式

5.5.2 知识的检测与求精

5.5.3 知识的检测方法

 5.6 专家系统工具

 习题五

第6章 不确定推理方法

 6.1 知识的不确定性

 6.2 基于可信度的不确定推理方法

6.2.1 可信度与可信度推理计算方法

6.2.2 带有阈限的可信度推理方法

6.2.3 加权的可信度推理方法

 6.3 模糊推理方法

6.3.1 模糊集合的定义与运算

6.3.2 模糊知识表示与模糊匹配

6.3.3 简单模糊推理方法

6.3.4 多维模糊推理方法

6.3.5 带有可信度的模糊推理方法

 习题六

第7章 机器学习

 7.1 机器学习的概念与方法

 7.2 归纳学习

7.2.1 CLS归纳学习方法

7.2.2 ID3算法

7.2.3 归纳学习方法的应用

 7.3 遗传算法

7.3.1 遗传算法的概念与计算方法

7.3.2 遗传算法的应用

 7.4 人工神经网络

7.4.1 人工神经元与感知器

7.4.2 人工神经网络模型

7.4.3 BP神经网络的学习算法

7.4.4 BP学习算法的改进

7.4.5 人工神经网络的应用

 习题七

主要参考文献