为知识型规划设计统一语言，让多智能体推理更可比、可复现。
The Epistemic Planning Domain Definition Language: Official Guideline
- 提出新型事件模型，统一描述智能体的知识变化机制。
- 定义完整语法语义，支持动态认知逻辑全部表达能力。
- 适合研究者构建可对比的基准任务，推动领域发展。
知识型规划将智能体的知识与信念作为规划形式化的核心要素。目前主流框架动态认知逻辑（DEL）虽语义丰富自然，但因表达力强，理论与实现均具挑战性。现有规划器通常针对不同DEL片段，使用非标准或临时语言表示基准，导致系统间难以比较、复用与系统化评测。为此，本文提出知识型规划领域定义语言（EPDDL），提供类似PDDL的统一表示，完整捕捉DEL语义，实现知识型规划任务的标准化建模。主要贡献包括：1. 提出抽象事件模型，作为知识动作的新型形式化表达；2. 基于抽象事件模型，正式定义EPDDL的语法与语义。通过典型基准示例，展示其在互操作性、可复现评估及未来研究推进方面的优势。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。