题目：通用游戏竞赛的逻辑 (Logic for General Game Playing) 主讲人：阮吉 计算机科学和工程学院，新南威尔士大学，澳大利亚 时间：九月二十五日，星期天，晚上8点 地点：哲学系1层会议室 摘要：通用游戏竞赛GGP（General Game Playing）的目标是创建能自主地学习游戏规则进行游戏比赛的通用智能系统。和1997年打败人类国际象棋冠军的深蓝系统不同的是，通用游戏系统的设计者事先不知道竞赛的具体游戏，而只是被告知所有游戏是用游戏描述语言GDL（Game Description Language）所描述。GDL是一种基于规则的逻辑编程语言。自从2005年通用游戏竞赛在国际人工智能会议AAAI举办以来，已经引起了广泛的兴趣和深入的研究。GDL本身也从只能描述完全信息游戏（例如象棋）扩展到也能描述非完全信息游戏（例如扑克）。我将首先介绍如何对游戏进行描述，然后深入讨论逻辑在游戏推理和刻画中的应用，并展示一些推理复杂性结果。 http://www.phil.pku.edu.cn/cllct/ann_content.php?msgid=215 更新：现场的照片 例子 提问 来自相册： http://www.flickr.com/photos/jiruan/sets/72157627656865185

Date: Friday, 23 September, 2011 Location: 清华新斋335 1:30-3:30 PM Speaker: Patrick Girard Department of Philosophy, The University of Auckland Title: Logic in the Communities Photo Update: 3：30- 5:30 PM Speaker: Ji Ruan School of Computer Science and Engineering, The University of New South Wales Title: A Logic for Knowledge Flow in Social Networks （社交网络中的知识流的逻辑） Abstract: [...]