I was fortunate to attend Prof. Johan van Benthem’s lecture on logic dynamics in Beida. He was one of my master thesis supervisor back in 2004, and we last met was in Liverpool in March 2009 on occasion of celebrating Wiebe’s 50th Birthday. I am a big fan of him as he has set a [...]

题目：通用游戏竞赛的逻辑 (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