AAMAS-2019 Tutorial

EPISTEMIC REASONING IN MULTI-AGENT SYSTEMS (HALF-DAY)

PRESENTER

• Tristan Charrier (Université de Rennes 1, IRISA, France)
• François Schwarzentruber (ENS Rennes, IRISA, France)

ABSTRACT

This tutorial introduces Dynamic Epistemic Logic that enables to reason about knowledge and its evolution in time. We will first show how to model epistemic situations. Second, we will discuss algorithmic issues for reasoning tasks. Third, we will present extensions of dynamic logic. We will use the pedagogical software called Hintikka's world.

PRESENTER SHORT BIO

Tristan Charrier has defended his PhD in December 2018 on epistemic reasoning. He contributed to the field in several aspects: symbolic models, epistemic planning, languages for specifying epistemic situations, demonstration of epistemic reasoning. Tristan teaches formal logic including temporal logics and model checking, algorithmics, programming.

  Tristan Charrier
  tristan.charrier[at]irisa.fr 
  

François Schwarzentruber is associate professor at ENS Rennes (France). His current research interests are mainly focused on theory and applications of logic to artificial intelligence, agency and multi-agent systems and computer science. He has been a PC member of some editions in that topics such as AAMAS and IJCAI. He was reviewer for journals such as Synthese, Studia Logica, Theoretical Computer Science. Since 2011, his research mainly focuses on studying dynamic epistemic logic.

  François Schwarzentruber
  Bâtiment Alfred Sauvy
  École normale supérieure de Rennes
  Campus de Ker Lann
  35170 Bruz
  France
  Tél : (+33) 2 99 05 93 23
  Fax : (+33) 2 99 05 93 29
  francois.schwarzentruber[at]ens-rennes.fr
  

TUTORIAL NOTES

Slides:

• Introduction
• Knowledge and seeing
• Knowledge and time
• Dynamic epistemic logic
• Knowledge-based programs
• Conclusion