Cooperative Epistemic Multi-Agent Planning for Implicit Coordination

• DOI: 10.4204/eptcs.243.6
• Publication Date: 2017-03-08T04:57:12Z
• Authors: Thorsten Engesser; Thomas Bolander; Robert Mattmüller; Bernhard Nebel
• Keywords: Planner; Commit; Sketch

Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Logic (DEL) has been shown to provide a very natural expressive framework epistemic planning. We extend the DEL-based include perspective shifts, allowing us define new notions of sequential conditional implicit coordination. With these, it is possible solve tasks joint goals decentralized manner without agents having negotiate about commit policy at plan time. First we central sketch implementation system built on those notions. Afterwards some case studies order evaluate planner empirically show that concept useful systems practice.