OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

On Axiomatization of Epistemic GDL

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

Official URL: https://doi.org/10.1007/978-3-662-55665-8_41


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 10455 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-662-55664-1 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-662-55665-8_41
HAL Id:hal-02603802
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE)
Other partners > Nankai University - NKU (CHINA)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > University of Western Sydney - UWS (AUSTRALIA)
Laboratory name:
Deposited On:29 Apr 2020 14:09

Repository Staff Only: item control page