通用人工智能

教学大纲

王培
mail.peiwang@gmail.com

时间地点

上课：周三第7-9节（15:10-18:00），二教414

答疑：周四下午14:00-16:00，理科2号楼2206

课程描述

人工智能的初始和终极目标是设计和建造智力和人可以相比的“智能机器”。通用人工智能研究强调智能的统一性和整体性，探索通用智能系统设计原则和方案，因而不同于目前只关注专用系统的主流“人工智能”研究。

本课程以一个具体项目“非公理推理系统”为核心范例，介绍通用人工智能的理论和技术问题，并比较各种解决方案。所讨论的问题直接涉及逻辑学、心理学、哲学、语言学、数学、计算机科学等领域。除去获取相关知识，学生也将学到如何进行跨学科研究。

日程表和讲义见课程网站。

先修要求

• 人工智能（参见David Poole and Alan Mackworth：Artificial Intelligence: Foundations of Computational Agents）
• 数理逻辑（参见Michal Walicki：Introduction to Logic）
• 其它相关（并非必需）背景：参见AGI教育计划的A、B部分

教材

教科书：

• Pei Wang, Non-Axiomatic Logic: A Model of Intelligent Reasoning, World Scientific Publishing, in preparation
• Pei Wang, Rigid Flexibility: The Logic of Intelligence, Springer, 2006

上述书籍的电子版本将向学生们提供。其它阅读材料见讲义中的链接。

成绩评定

每个学生将独立或合作完成一个理论或编程课题。题目自选，但必须与课程内容直接相关。完整报告于六月二十四日前作为附件寄至mail.peiwang@gmail.com，并在随后两周中准备及时回答有关问题。邮件标题：“通用人工智能”及姓名。用姓名作附件文件名。报告格式：PDF，DOC，或HTML。如报告有附件，用zip打包。