清华大学教授《人工智能导论》32讲

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 小结