国产91麻豆一区二区久久久

题目：通用游戏竞赛的逻辑 (Logic for General Game Playing)

主讲人：阮吉 博士
计算机科学和工程学院，新南威尔士大学，澳大利亚

时间：9月25日周日晚8点

地点：哲学系1层会议室（静园四院）

摘要：通用游戏竞赛GGP（General Game Playing）的目标是创建能自主地学习游戏规则进行游戏比赛的通用智能系统。和1997年打败人类国际象棋冠军的深蓝系统不同的是，通用游戏系统的设计者事先不知道竞赛的具体游戏，而只是被告知所有游戏是用游戏描述语言GDL（Game Description Language）所描述。GDL是一种基于规则的逻辑编程语言。自从2005年通用游戏竞赛在国际人工智能会议AAAI举办以来，已经引起了广泛的兴趣和深入的研究。GDL本身也从只能描述完全信息游戏（例如象棋）扩展到也能描述非完全信息游戏（例如扑克）。我将首先介绍如何对游戏进行描述，然后深入讨论逻辑在游戏推理和刻画中的应用，并展示一些推理复杂性结果。

主讲人介绍：
&苍产蝉辫;&苍产蝉辫;&苍产蝉辫;&苍产蝉辫;阮吉，国产91麻豆一区二区久久久98级逻辑学专业本科生，2004年获荷兰阿姆斯特丹大学逻辑学硕士，2009年获英国利物浦大学计算机博士。现任澳大利亚新南威尔士大学计算机科学和工程学院博后研究员，研究方向之一为多主体系统的形式化方法。