Abstract
![CDATA[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.]]
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twentry-Third Innovative Applications of Artificial Intelligence Conference: 7-11 August 2011, San Francisco, California, USA |
| Publisher | AAAI Press |
| Pages | 840-845 |
| Number of pages | 6 |
| ISBN (Print) | 9781577355083 |
| Publication status | Published - 2011 |
| Event | AAAI Conference on Artificial Intelligence - Duration: 22 Jul 2012 → … |
Conference
| Conference | AAAI Conference on Artificial Intelligence |
|---|---|
| Period | 22/07/12 → … |