Cooperative Epistemic Multi-Agent Planning for Implicit Coordination

Thorsten Engesser
(Albert-Ludwigs-Universität Freiburg)
Thomas Bolander
(Technical University of Denmark)
Robert Mattmüller
(Albert-Ludwigs-Universität Freiburg)
Bernhard Nebel
(Albert-Ludwigs-Universität Freiburg)

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.

In Sujata Ghosh and R. Ramanujam: Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, pp. 75–90.
Published: 6th March 2017.

ArXived at: http://dx.doi.org/10.4204/EPTCS.243.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org