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 小结 
资源下载
资源下载
