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.
| Original language | English |
|---|---|
| Journal | Electronic Proceedings in Theoretical Computer Science |
| Volume | 243 |
| Pages (from-to) | 1-22 |
| ISSN | 2075-2180 |
| DOIs | |
| Publication status | Published - 2017 |
| Event | 9th Workshop on Methods for Modalities - Kanpur, India Duration: 8 Jan 2017 → 10 Jan 2017 Conference number: 9 |
Conference
| Conference | 9th Workshop on Methods for Modalities |
|---|---|
| Number | 9 |
| Country/Territory | India |
| City | Kanpur |
| Period | 08/01/2017 → 10/01/2017 |
Keywords
- Software
- Multi agent systems
- Distributed knowledge
- Dynamic epistemic logic
- Epistemic planning
- Multi agent
- Decision making
- Management
- cs.AI
- cs.LO
- cs.MA