EPDDL: A Unified Language for Epistemic Planning
A new planning domain definition language, EPDDL, has been introduced to standardize epistemic planning. Epistemic planning extends automated planning by incorporating agents' knowledge and beliefs, often using Dynamic Epistemic Logic (DEL) for semantics. However, DEL's high expressiveness makes implementation challenging, leading to fragmented ad hoc languages. EPDDL provides a PDDL-like representation that captures full DEL semantics, enabling unified benchmark development and comparison across planners. The language aims to facilitate reuse and systematic evaluation in the field.
Key facts
- EPDDL stands for Epistemic Planning Domain Definition Language.
- It is designed to unify representations for epistemic planning problems.
- Epistemic planning uses Dynamic Epistemic Logic (DEL) for semantics.
- Existing planners use ad hoc languages, hindering comparison.
- EPDDL captures the entire DEL semantics.
- The language is PDDL-like.
- It aims to enable systematic benchmark development.
- The work addresses fragmentation in epistemic planning.
Entities
Institutions
- arXiv