Epistemic GDL: A logic for representing and reasoning about imperfect information games - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Résumé

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.
Fichier principal
Vignette du fichier
jiang_24926.pdf (277.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04109453 , version 1 (30-05-2023)

Identifiants

  • HAL Id : hal-04109453 , version 1
  • OATAO : 24926

Citer

Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang. Epistemic GDL: A logic for representing and reasoning about imperfect information games. 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New-York, United States. pp.1138-1144. ⟨hal-04109453⟩
28 Consultations
20 Téléchargements

Partager

Gmail Facebook X LinkedIn More