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)

Abstract

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
Volume243
Pages (from-to)75-90
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
Country/TerritoryIndia
CityKanpur
Period08/01/201710/01/2017

Keywords

  • 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

Fingerprint

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

Cite this