OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Epistemic GDL: A logic for representing and reasoning about imperfect information games

Jiang, Guifei and Zhang, Dongmo and Perrussel, Laurent and Zhang, Heng Epistemic GDL: A logic for representing and reasoning about imperfect information games. (2016) In: 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 9 July 2016 - 15 July 2016 (New-York, United States).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
284kB

Official URL: https://www.ijcai.org/Proceedings/16/Papers/165.pdf

Abstract

This paper proposes a logical framework for representing and reasoning about imperfect information games. We first extend the game description language (GDL) with the standard epistemic operators and provide it with a semantics based on the epistemic state transition model. We then demonstrate how to use the language to represent the rules of an imperfect information game and formalize its epistemic properties. We also show how to use the framework to reason about player's own as well as other players' knowledge during game playing. Finally we prove that the model-checking problem of the framework is in Δ2p, which is the lowest among the existing similar frameworks, even though its lower bound is Θ2p. These results indicate that the framework makes a good balance between expressive power and computational efficiency.

Item Type:Conference or Workshop Item (Paper)
Additional Information:IJCAI'16 ISBN 978-1-57735-770-4 (volumes 1-3) ISBN 978-1-57735-771-1 (volumes 4-6) The original PDF is available at: https://www.ijcai.org/Proceedings/16/Papers/165.pdf
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Huazhong University of Science and Technology (CHINA)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
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:
Funders:
ANR : Agence nationale de la recherche (France)
Statistics:download
Deposited On:10 Jan 2020 15:41

Repository Staff Only: item control page