The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
In this talk, we will present Dynamic Epistemic Logic which provides a framework to model epistemic situations their evolution in time. 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.