Characterizing the Expressivity of Game Description Languages - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Characterizing the Expressivity of Game Description Languages

Guifei Jiang
  • Fonction : Auteur
  • PersonId : 1129622
Laurent Perrussel
Dongmo Zhang
  • Fonction : Auteur
  • PersonId : 1129623
Heng Zhang
  • Fonction : Auteur
Yuzhi Zhang
  • Fonction : Auteur

Résumé

Bisimulations are a key notion to study the expressive power of a modal language. This paper studies the expressiveness of Game Description Language (GDL) and its epistemic extension EGDL through a bisimulations approach. We first define a notion of bisimulation for GDL and prove that it coincides with the indistinguishability of GDL-formulas. Based on it, we establish a characterization of the definability of GDL in terms of k-bisimulations. Then we define a novel notion of bisimulation for EGDL, and obtain a characterization of the expressive power of EGDL. In particular, we show that a special case of the bisimulation for EGDL can be used to characterize the expressivity of GDL. These characterizations not only justify the notions of bisimulation are appropriate for game description languages, but also provide a powerful tool to identify their expressive power.
Fichier non déposé

Dates et versions

hal-03594792 , version 1 (02-03-2022)

Identifiants

Citer

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang. Characterizing the Expressivity of Game Description Languages. PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, 11670, Springer International Publishing, pp.597-611, 2019, Lecture Notes in Computer Science book series, 978-3-030-29907-1. ⟨10.1007/978-3-030-29908-8_47⟩. ⟨hal-03594792⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More