Schlagwort: Logik

Theory

Consider the following example scenario. Bob would like to borrow the apartment of his friend Anne while she is away on vacation. Anne would be very happy to do him this favor. So they now have the joint goal of making sure that Bob can enter the apartment when he arrives. Anne will think about how to achieve the goal, and might come up with the following plan: Anne puts the key under the door mat; when Bob arrives, Bob takes the key from under the door mat; Bob opens the door with the key. Note that the plan does not only contain the actions required by Anne herself, but also the actions of Bob. These are the kind of multi-agent plans that this paper is about.
However, the plan just presented does not count as an implicitly coordinated plan. When Bob arrives at the apartment, he will clearly not know that the key is under the door mat, unless Anne has told him, and this announcement was not part of the plan just presented.

Thorsten Engesser, Thomas Bolander, Robert Mattmüller & Bernhard Nebel: Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. arXiv:1703.02196 In Proceedings of the Ninth Workshop on Methods for Modalities, 2017.

Real Life

M and E would like to borrow the apartment of their friend P while they are on vacation. P has given a key to another friend S. Unfortunately, S does not remember where the key is and what it looks like. Slight confusion becomes common knowledge and coming up with a plan involves many emails and phone calls. Surprisingly, it all works out, even though only two of the involved agents know Kripke models and product updates.