A Gentle Introduction to Epistemic Planning: The DEL Approach
This is an incremental tutorial aimed at researchers or practitioners in AI and logic, focusing on making existing methods more accessible rather than introducing new advancements.
The paper provides an accessible introduction to epistemic planning using Dynamic Epistemic Logic (DEL) to address decision-making in multi-agent systems with distributed knowledge, presenting it as a natural and expressive framework through step-by-step explanations from classical STRIPS planning.
Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. In this paper, we aim to give an accessible introduction to DEL-based epistemic planning. The paper starts with the most classical framework for planning, STRIPS, and then moves towards epistemic planning in a number of smaller steps, where each step is motivated by the need to be able to model more complex planning scenarios.