人工智能中的逻辑
Seminar on Logics in AI
课程一般信息

预备知识:了解逻辑的一般概念。

教材:每个专题有指定的阅读材料,到时候会发给大家,或上传到网上。

考核方式:考核

时间地点:星期四 7:20-9:45; 六教6B111

初步计划

March and April.
Situation theory and channel theory.
By Jeremy Seligman, Auckland University, New Zealand

请点击这里下载阅读材料。

May.
Temporal logic and spatial logic.
By Johan van Benthem, University of Amsterdam and Stanford University

June.
Intuitionistic logic and provability logic.
By Dick de Jongh, University of Amsterdam.

June.
Preference logic and multi-agent system.
By Fenrong Liu

回到首页
Website Copyright 2010 刘奋荣 Fenrong Liu