Abstract Several different frameworks have been proposed to model and reason about knowledge in dynamic multi-agent settings, among them the logic-programming-based game description language GDL-III and dynamic epistemic logic (DEL). GDL-III and DEL have complementary strengths and weaknesses in terms of ease of modeling and simplicity of semantics. In this paper, we formally study the expressiveness of GDL-III vs. DEL. We clarify the commonalities and differences between those languages, demonstrate how to bridge the differences where possible, and identify large fragments of GDL-III and DEL that are equivalent in the sense that they can be used to encode games or planning tasks that admit the same legal action sequences. We prove the latter by providing translations between those fragments of GDL-III and DEL.

中文翻译：

---

游戏描述语言与动态认知逻辑比较

摘要 已经提出了几种不同的框架来对动态多智能体设置中的知识进行建模和推理，其中包括基于逻辑编程的游戏描述语言 GDL-III 和动态认知逻辑 (DEL)。GDL-III 和 DEL 在易于建模和语义简单方面具有互补的优势和劣势。在本文中，我们正式研究了 GDL-III 与 DEL 的表达能力。我们阐明了这些语言之间的共性和差异，展示了如何在可能的情况下弥合差异，并确定 GDL-III 和 DEL 的大片段，它们可以用于对承认相同的游戏或规划任务进行编码。法律行动序列。我们通过提供 GDL-III 和 DEL 的这些片段之间的翻译来证明后者。