◇ 绪　论

1. 人工智能的研究目标
 2. 人工智能发展简史
3. 人工智能研究的课题

◇ 第一章 产生式系统

1.1 产生式系统的组成部分
1.2 产生式系统的基本过程
1.3 产生式系统的控制策略
1.4 问题的表示
1.5 产生式系统的类型
1.6 小结
- 课后习题

◇ 第二章 产生式系统的搜索策略

2.1 回溯策略（Backtracking Strategies）
2.2 图搜索策略
2.3 无信息图搜索过程
2.4 启发式图搜索过程
2.5 搜索算法讨论
 2.6 小结
- 课后习题

◇ 第三章 可分解产生式系统的搜索策略

3.1 与或图的搜索
3.2 与或图的启发式搜索算法AO*
3.3 博弈树的搜索
3.4 小结
- 课后习题

◇ 第四章 人工智能中的谓词演算及应用

4.1 一阶谓词演算的基本体系
4.2 归结（消解Resolution）
4.3 归结反演系统（Refutation）
4.4 基于归结法的问答系统
4.5 基于归结的自动程序综合
4.6 基于归结的问题求解方法
4.7 基于规则的正向演绎系统
4.8 基于规则的逆向演绎系统
4.9 基于规则的演绎系统的几个问题
4.10 小结
- 课后习题

◇ 第五章 人工智能语言

5.1 LISP
5.2 PROLOG
5.3 小结
- 课后习题