A Gentle Introduction to Epistemic Planning: The DEL Approach
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2017
- DOI:
- 10.48550/arXiv.1703.02192
- arXiv:
- arXiv:1703.02192
- Bibcode:
- 2017arXiv170302192B
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science;
- Computer Science - Multiagent Systems
- E-Print:
- In Proceedings M4M9 2017, arXiv:1703.01736