Game Equivalence and Bisimulation for Game Description Language - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Game Equivalence and Bisimulation for Game Description Language

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

Résumé

This paper investigates the equivalence between games represented by state transition models and its applications. We first define a notion of bisimulation equivalence between state transition models and prove that it can be logically characterized by Game Description Language (GDL). Then we introduce a concept of quotient state transition model. As the minimum equivalent of the original model, it allows us to improve the efficiency of model checking for GDL. Finally, we demonstrate with real games that bisimulation equivalence can be generalized to characterize more general game equivalence.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang. Game Equivalence and Bisimulation for Game Description Language. PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, 11670 (Part 1), Springer International Publishing, pp.583-596, 2019, Lecture Notes in Computer Science book series, 978-3-030-29907-1. ⟨10.1007/978-3-030-29908-8_46⟩. ⟨hal-03594791⟩
17 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More