On Axiomatization of Epistemic GDL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

On Axiomatization of Epistemic GDL

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
Jiang_22222.pdf (690.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02603802 , version 1 (16-05-2020)

Identifiants

  • HAL Id : hal-02603802 , version 1
  • OATAO : 22222

Citer

Guifei Jiang, Laurent Perrussel, Dongmo Zhang. On Axiomatization of Epistemic GDL. 6th International Conference on Logic, Rationality and Interaction (LORI 2017), Sep 2017, Sapporo, Japan. pp.598-613. ⟨hal-02603802⟩
17 Consultations
29 Téléchargements

Partager

Gmail Facebook X LinkedIn More