• Recherche,

"Epistemic Planning for Implicit Coordination", Thomas Bolander, colloque de l'IRIT

le 8 janvier 2019

11h00
Manufacture des Tabacs
ME302

Thomas Bolander, associate professor à la Technical University of Denmark et professeur invité dans notre université pour le mois de janvier, nous parlera de ses travaux intitulés "Epistemic Planning for Implicit Coordination". La conférence sera entièrement en anglais.

 
Abstract: Automated planning is a branch of artificial intelligence concerned
with computing plans (sequences of actions) leading to some desired
goal. An agent (human or robot) could e.g. have the goal of picking up
a parcel at the postal office, and then the problem becomes to find a
succesful sequence of actions achieving this. Epistemic planning is
the enrichment of planning with epistemic notions, that is, knowledge
and beliefs. The agent might have to reason about epistemic aspects
such as: Do I know at which postal office the parcel is? If not, who
would be relevant to ask? Maybe the parcel is a birthday present for
my daughter, and I want to ensure that she doesn't get to know, and
have to plan my actions accordingly.
 
Dynamic epistemic logic (DEL) offers a very expressive formal
framework for epistemic planning. In the talk, I will present a
version of DEL-based epistemic planning in which a group of agents are
individually planning towards a joint goal, and where coordination is
only achieved implicitly. Implicit coordination means that the agents
are not negotiating or announcing their respective plans, but
coordination is achieved exclusively by observing the actions of
others (including announcement actions). Such implicit coordination is
often observed among humans collaborating to achieve a joint goal. We
investigate the conditions under which the goal can be guaranteed to
be reached by implicitly coordinating agents.
 
This is joint work with Thorsten Engesser, Robert Mattmüller and
Bernhard Nebel.
Mis à jour le 7 janvier 2019