@inproceedings{67a42dba4dcc48e593c300cd01254141,
title = "Characterizing the expressivity of game description languages",
abstract = "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.",
keywords = "artificial intelligence, bisimulation, computer games",
author = "Guifei Jiang and Laurent Perrussel and Dongmo Zhang and Heng Zhang and Yuzhi Zhang",
year = "2019",
doi = "10.1007/978-3-030-29908-8_47",
language = "English",
isbn = "9783030299071",
publisher = "Springer",
pages = "597--611",
booktitle = "PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I",
note = "Pacific Rim International Conference on Artificial Intelligence ; Conference date: 13-09-2019",
}