Epistemic planning extends (multi-agent) automated planning by making agents' knowledge and beliefs first-class aspects of the planning formalism. One of the most well-known frameworks for epistemic planning is Dynamic Epistemic Logic (DEL), which offers an rich and natural semantics for modelling problems in this setting. The high expressive power provided by DEL make DEL-based epistemic planning a challenging problem to tackle both theoretically, and in practical implementations. As a result, existing epistemic planners often target different DEL fragments, and typically rely on ad hoc languages to represent benchmarks, and sometimes no language at all. This fragmentation hampers comparison, reuse, and systematic benchmark development. We address these issues by introducing the Epistemic Planning Domain Definition Language (EPDDL). EPDDL provides a unique PDDL-like representation that captures the entire DEL semantics, enabling uniform specification of epistemic planning tasks. Our main contributions are: 1. A formal development of abstract event models, a novel representation for epistemic actions used to define the semantics of our language; 2. A formal specification of EPDDL's syntax and semantics grounded in DEL with abstract event models. Through examples of representative benchmarks, we illustrate how EPDDL facilitates interoperability, reproducible evaluation, and future advances in epistemic planning.

翻译：认知规划通过将智能体的知识与信念作为规划形式体系的一阶要素，拓展了（多智能体）自动规划的范畴。动态认知逻辑（DEL）是认知规划领域最著名的框架之一，它为这类问题建模提供了丰富而自然的语义描述。DEL所具备的高表达能力使得基于DEL的认知规划无论在理论层面还是实际实现中都成为极具挑战性的问题。因此，现有的认知规划器往往针对不同的DEL片段进行设计，通常依赖特定领域语言来表示基准测试问题，有时甚至完全不使用任何规范语言。这种碎片化现状阻碍了比较研究、代码复用以及系统性基准测试的发展。为应对这些问题，我们提出了认知规划域定义语言（EPDDL）。EPDDL提供了一种独特的类PDDL表示法，能够完整捕获DEL语义，实现认知规划任务的统一规范描述。我们的主要贡献包括：1）提出抽象事件模型的形式化构建方法，这是一种用于定义语言语义的新型认知动作表示框架；2）基于抽象事件模型的DEL语义，建立了EPDDL语法与语义的形式化规范。通过典型基准测试案例的展示，我们阐明了EPDDL如何促进认知规划领域的互操作性、可复现评估以及未来研究进展。