The Epistemic Logic Behind the Game Description Language

A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL, a variant of Datalog with function symbols and a few known keywords. In its latest version GDL allows to describe nondeterministic games with any number of players who may have imperfect, asymmetric information. We analyse the epistemic structure and expressiveness of this language in terms of epistemic modal logic and present two main results: (1) The operational semantics of GDL entails that the situation at any stage of a game can be characterised by a multi-agent epistemic (i.e., S5-) model; (2) GDL is sufficiently expressive to model any situation that can be described by a (finite) multi-agent epistemic model.

[1]  Stephan Schiffel,et al.  Reasoning About General Games Described in GDL-II , 2011, AAAI.

[2]  Barney Pell,et al.  Strategy Generation and Evaluation for Meta-Game Playing , 2011, KI - Künstliche Intelligenz.

[3]  Torsten Schaub,et al.  Automated Theorem Proving for General Game Playing , 2012 .

[4]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[5]  Joseph Y. Halpern,et al.  The complexity of reasoning about knowledge and time , 1986, STOC '86.

[6]  Michael R. Genesereth,et al.  General Game Playing: Overview of the AAAI Competition , 2005, AI Mag..

[7]  Jan van Eijck,et al.  DEMO — A Demo of Epistemic Modelling , 2007 .

[8]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[9]  Jean Méhat,et al.  Ary, a general game playing program , 2010 .

[10]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[11]  Michael Thielscher,et al.  A General Game Description Language for Incomplete Information Games , 2010, AAAI.

[12]  R. Aumann,et al.  Epistemic Conditions for Nash Equilibrium , 1995 .

[13]  Jacques Pitrat,et al.  Realization of a general game-playing program , 1968, IFIP Congress.

[14]  Michael Wooldridge,et al.  Verification of Games in the Game Description Language , 2009, J. Log. Comput..

[15]  J. Armstrong.  Knowledge and Belief , 1953 .

[16]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[17]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[18]  Michael Thielscher.  The General Game Playing Description Language Is Universal , 2011, IJCAI.

[19]  C. Guarneri.  Cornell University Press , 1991 .