Cooperative epistemic multi-agent planning for implicit coordination

Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel

Research output: Contribution to journalConference articleResearchpeer-review

216 Downloads (Pure)


Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. We extend the DEL-based epistemic planning framework to include perspective shifts, allowing us to define new notions of sequential and conditional planning with implicit coordination. With these, it is possible to solve planning tasks with joint goals in a decentralized manner without the agents having to negotiate about and commit to a joint policy at plan time. First we define the central planning notions and sketch the implementation of a planning system built on those notions. Afterwards we provide some case studies in order to evaluate the planner empirically and to show that the concept is useful for multi-agent systems in practice.
Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Pages (from-to)75-90
Publication statusPublished - 2017
Event9th Workshop on Methods for Modalities - Kanpur, India
Duration: 8 Jan 201710 Jan 2017


Conference9th Workshop on Methods for Modalities


  • Software
  • Decision making
  • Central planning
  • Conditional planning
  • Distributed knowledge
  • Dynamic epistemic logic
  • Epistemic planning
  • Multi-agent planning
  • Planning systems
  • Planning tasks
  • Multi agent systems
  • Management
  • cs.AI
  • cs.LO
  • cs.MA


Dive into the research topics of 'Cooperative epistemic multi-agent planning for implicit coordination'. Together they form a unique fingerprint.

Cite this