人工智能与专家系统

前言
第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 框架的推理及其特点
2.4 语义网络表示法
2.4.1 语义网络
2.4.2 语义网络的推理及其特点 
2.5 面向对象表示法
2.5.1 面向对象的知识表示
2.5.2 面向对象表示法的特点
习题二
第3章 经典逻辑推理
3.1 推理的基本概念
3.1.1 推理方式及其分类
3.1.2 推理的控制策略
3.1.3 模式匹配及其变量代换
3.2 自然演绎推理
3.3 归结演绎推理
3.3.1 谓词公式化为子句集的方法
3.3.2 海伯伦理论
3.3.3 归结原理
3.3.4 归结反演
3.3.5 基于归结反演的问题求解
3.3.6 归结反演策略
3.4 与/或形演绎推理
3.4.1 与/或形正向演绎推理
3.4.2 与/或形逆向演绎推理
3.4.3 代换的一致性与剪枝策略
第4章 搜索策略
4.1 问题求解过程的形式表示
4.1.1 状态空间表示法
4.1.2 与/或树表示法
4.2 状态空间的盲目搜索策略
4.2.1 宽度优先搜索
4.2.2 深度优先搜索
4.2.3 有界深度优先搜索
4.2.4 代价树的宽度优先搜索
4.2.5 代价树的深度优先搜索
4.3 状态空间的启发式探索策略
4.3.1 估价函数一择优搜索
4.3.2 图的有序搜索与A*算法
4.4 与/或树的搜索策略
4.4.1 与/或树的宽度优先搜索
4.4.2 与/或树的有界深度优先搜索
4.4.3 与/或树的有序搜索
4.4.4 博弈树的启发式搜索
4.5 搜索性能的量度
习题四
第5章 专家系统
5.1 专家系统概述
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 专家系统工具
5.6.1 专家系统工具概述
5.6.2 专家系统工具CLIPS及其应用
5.7 分布式专家系统与协同式专家系统
5.7.1 分布式专家系统及其驱动方式
5.7.2 协同式专家系统及其协同方法
习题五
   
第6章 知识的不确定性与不确定推理
6.1 知识的不确定性 
6.1.1 证据的不确定性
6.1.2 规则的不确定性
6.1.3 推理的不确定性
6.2 基于概率的不确定推理
6.2.1 有关概率的基本概念与计算
6.2.2 基于概率的不确定推理方法
6.3 基于可信度的不确定推理
6.3.1 可信度不确定推理方法
6.3.2 带有阈限的不确定推理
6.3.3 加权的不确定推理
6.3.4 可信度不确定推理方法的改进
6.4 模糊逻辑与模糊推理
6.4.1 模糊集合的定义与运算
6.4.2 模糊知识表示与模糊匹配
6.4.3 模糊推理方法
6.4.4 带有可信度的模糊推理  
习题六
第7章 机器学习
7.1 机器学习的概念与方法分类 
7.2 归纳学习
7.2.1 归纳学习的基本概念
7.2.2 基于描述空间的归纳学习方法
7.2.3 基于决策树的归纳学习方法
7.3 基于解释的学习
7.3.1 基于解释的学习框架
7.3.2 基于解释的学习过程
7.4 遗传算法
7.4.1 遗传算法的概念与计算方法
7.4.2 遗传算法的应用
习题七
第8章 人工神经网络
8.1 人工神经元与感知器
8.1.1 人工神经元模型
8.1.2 感知器及其学习算法
8.2 人工神经网络模型
8.2.1 神经网络的互连结构
8.2.2 前向神经网络
8.2.3 反馈神经网络
8.3 神经网络的学习
8.3.1 神经网络的两类学习方法
8.3.2 BP学习算法及其改进方法
8.4 人工神经网络的应用
8.4.1 神经网络专家系统
8.4.2 基于神经网络的模糊分类器
8.4.3 神经网络在预测中的应用
8.4.4 模糊逻辑与神经网络的结合 
习题八 
参考文献