The Epistemic Planning Domain Definition Language: Official Guideline
Alessandro Burigana, Francesco Fabiano

TL;DR
The paper introduces EPDDL, a standardized language for epistemic planning based on Dynamic Epistemic Logic, enabling uniform task specification and facilitating benchmarking and interoperability.
Contribution
EPDDL provides a formal, PDDL-like language capturing DEL semantics, addressing fragmentation and enabling systematic evaluation in epistemic planning.
Findings
EPDDL captures the full DEL semantics for epistemic actions.
It enables uniform specification and benchmarking of epistemic planning tasks.
EPDDL facilitates interoperability and reproducibility in the field.
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
