AI RESEARCH
The Epistemic Planning Domain Definition Language: Official Guideline
arXiv CS.AI
•
ArXi:2601.20969v3 Announce Type: replace 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.