2011年9月25日晚上，应逻辑、语言与认知中心邀请，来自澳大利亚新南威尔士大学的阮吉博士在北京大学哲学系一层会议室，作了题为《通用游戏竞赛》的讲座。
阮吉博士首先介绍了通用游戏竞赛与传统的游戏竞赛的不同。传统游戏竞赛的系统都是相对特定的游戏设计的，例如1997年打败人类国际象棋冠军的深蓝系统，而通用游戏竞赛要创建的是能自主学习游戏规则进行比赛的通用智能系统。接着，阮吉博士介绍了在这个通用的智能系统中用于对游戏进行描述的GDL（Game Description Language）语言。GDL是一种基于规则的逻辑编程语言，使用GDL语言可以对游戏的规则进行描述和说明，不同的游戏对应于不同的GDL语句集来加以说明。GDL也可以对游戏的简单性质加以描述，但是作为一种编程语言，对GDL公式的可满足性难以直接判定。阮吉博士所进行的研究是把GDL所描述的游戏状态作为模型，借助ATL（alternating-time temporal logic）逻辑系统对这个游戏模型进行刻画。ATL是一个可以刻画多主体相互合作的逻辑系统。通过ATL公式可以描述游戏的可玩性、公平性等性质，这样通过判断ATL公式在模型上的真值就可以判断出游戏的性质。同时，一个GDL描述可以被如实地翻译成一个ATL公式，因此在GDL描述的游戏状态模型上检测ATL公式的真值的问题就可以转化为判断一个ATL公式的可满足性问题。
这次讲座进行的十分成功，主讲者与听众交流频繁，对相关的逻辑问题进行了热烈的探讨。

(李延军)