Jiang, Guifei and Perrussel, Laurent and Zhang, Dongmo
On Axiomatization of Epistemic GDL.
(2017)
In: 6th International Conference on Logic, Rationality and Interaction (LORI 2017), 11 September 2017 - 14 September 2017 (Sapporo, Japan).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 706kB |
Official URL: https://doi.org/10.1007/978-3-662-55665-8_41
Abstract
The Game Description Language (GDL) has been introduced as an official language for specifying games in the AAAI General Game Playing Competition since 2005. It was originally designed as a declarative language for representing rules of arbitrary games with perfect information. More recently, an epistemic extension of GDL, called EGDL, has been proposed for representing and reasoning about imperfect information games. In this paper, we develop an axiomatic system for a variant of EGDL and prove its soundness and completeness with respect to the semantics based on the epistemic state transition model. With a combination of action symbols, temporal modalities and epistemic operators, the completeness proof requires novel combinations of techniques used for completeness of propositional dynamic logic and epistemic temporal logic. We demonstrate how to use the proof theory for inferring game properties from game rules.
Repository Staff Only: item control page