SICSA DVF Dr Thomas Bolander “Epistemic Planning with Implicit Coordination”

Date(s) - 28/10/2016
1:00 pm - 2:00 pm

Informatics Forum

Dr Thomas Bolander, Technical University of Denmark (DTU) will be giving a talk at the University of Edinburgh on “Epistemic Planning with Implicit Coordination

Planning is about computing action sequences leading to desired goals.

Epistemic planning considers the case where the planning agents can reason about their own and other agents’ knowledge as part of the planning process. The currently most expressive formalism for epistemic planning is based on dynamic epistemic logic (DEL). 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. Among the main technical ingredients of our studies are perspective shifts and agent types, which are both new to epistemic planning.

This is joint work with Thorsten Engesser, Robert Mattmüller and Bernhard Nebel.


Thomas Bolander is an associate professor at the Technical University of Denmark (DTU) in Copenhagen. His research interests are include logic, artificial intelligence, social intelligence, multi-agent systems and automated planning. Of special interest is the modelling of social phenomena and social intelligence with the aim of creating computer systems that can interact intelligently with humans and other computer systems. His recent research focus has been on epistemic planning:

enriching the theories of automated planning with the powerful and expressive concepts and structures from dynamic epistemic logic.

HOST: Ron Petrick (



This entry was posted in .