Epistemic reasoning in AI

Habilitation of François Schwarzentruber (co-located with FMAI2019), 3 May 2019, 2pm at IRISA (Salle Métivier), Rennes

Abstract

Artificial agents take decisions according to their knowledge about the world and the knowledge they have about the knowledge of other agents: this is called higher-order knowledge. For instance, let us consider three autonomous robots on Mars called A, B, C. Agent A decides to explore the region to the North if “A knows that neither B nor C knows that there is sand to the North”. In my habilitation, we will present Dynamic Epistemic Logic which provides a framework to model such complex epistemic situations and the evolution in time of knowledge. The framework is sufficiently expressive to capture public actions (e.g. broadcast of a message) but also private and semi-private actions (e.g. private messages). The framework will be explained via a software, called Hintikka’s world. We will discuss about symbolic models, which allows to represent situations with a high number of possible worlds. We then address model checking and the satisfiability problem that are standard decision problems for verifying multi-agent systems. We address epistemic planning which is undecidable in general. We will pinpoint restrictions over actions (e.g. only public actions, etc.) for which epistemic planning is decidable. We will then discuss about applications: robots in a geometric environment, asynchronous systems.

Habilitation thesis

Download

Slides of the habilitation defense

Download

Hintikka's World

During the last years, I developped a pedagogical tool that illustrates epistemic reasoning.
Try Hintikka's World

Important dates

Jury

Outline

My habilitation sums up my past research on epistemic reasoning, and is organized as follows.

Practical information

coming soon.

Related events