GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games

摘要

We propose an extension of the standard game description language for general game playing to include epistemic games, which are characterised by rules that depend on the knowledge of players. A single additional keyword suffices to define GDL-III, a general description language for games with imperfect information and introspection. We present an Answer Set Program for automatically reasoning about GDL-III games. Our extended language along with a suitable basic reasoning system can also be used to formalise and solve general epistemic puzzles.