A gentle introduction to epistemic planning: The DEL approach

Research output: Contribution to journalConference articleResearchpeer-review

291 Downloads (Pure)

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 languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Volume243
Pages (from-to)1-22
ISSN2075-2180
DOIs
Publication statusPublished - 2017
Event9th Workshop on Methods for Modalities - Kanpur, India
Duration: 8 Jan 201710 Jan 2017

Conference

Conference9th Workshop on Methods for Modalities
CountryIndia
CityKanpur
Period08/01/201710/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

Fingerprint Dive into the research topics of 'A gentle introduction to epistemic planning: The DEL approach'. Together they form a unique fingerprint.

Cite this