课程名称：人工智能（全英）

课程类别：专业选修课

学分：2

先修课程：计算机导论

考核方式：闭卷

授课老师：蒋志华

教学目标和要求：

人工智能的目的是让学生了解和学会设计行为合理的Agent系统。现实世界中，Agent通过感知环境，制定规划达到目标，同时使得利益最大化。这门课程对现代AI技术和应用进行了全面的综述。内容包括，从逻辑到概率推理的众多概念性方法，以及应用。课程内容不仅着重于介绍技术概念本身，还着重于介绍这些技术背后的发展历史。

教学内容：

第一部分 人工智能简介

1 简介

2 智能Agent

第二部分 问题求解

3 搜索

4 超越经典搜索

5 对抗性搜索

6 约束可满足问题

第三部分 知识与推理

7 逻辑Agent

8 一阶逻辑

9 基于一阶逻辑的推理

10 经典规划

11 现实世界中的规划

12 知识表示

教材：

《人工智能：一种现代的方法》（第3版），(美)罗素,诺维格，清华大学出版社，2013年11月，ISBN：9787302331094

参考书目:

《人工智能：计算智能的基础》，by Poole and Mackworth，剑桥大学出版社，2010