Séminaire

Date : 6 décembre 2024 14:00 - Salle :None Sur la révision itérée de croyances Sébastien KONIECZNY, DR CNRS - CRIL, Lens

Dans cet exposé nous discuterons de la théorie du changement de croyances, en particulier des opérateurs de révision itérée et leurs généralisations. Cette théorie s’intéresse aux opérateurs permettant de modifier les croyances d’un agent (exprimées par des formules logiques - dans cet exposé nous nous focaliserons sur le cas de la logique propositionnelle) lorsqu’il reçoit de nouvelles informations remettant en cause une partie de ses croyances. Nous rappellerons le cadre standard de la révision AGM (Alchourron-Gärdenfors-Makinson), de la révision itérée (Darwiche-Pearl) et les opérateurs d’amélioration (improvement). Nous discuterons de la nature des états épistémiques pour la révision itérée. Dans le cadre standard de Darwiche-Pearl la nature de ces états épistémiques n’est pas précisée. Nous discuterons des différentes représentations de ces états (appelées espaces epistémiques) et des instanciations des opérateurs de révision dans ces différents espaces, à la recherche d’un espace épistémique canonique.

https://www.cril.univ-artois.fr/~konieczny/sebastien.php?page=index&lang=fr

Sébastien Konieczny is CNRS research director at CRIL (Centre de Recherche en Informatique de Lens).  He works in the field of knowledge representation and reasoning. His research focuses on the resolution of logical conflicts, and his main research themes are belief revision and fusion, inconsistency measures, argumentation and truth-finding. He was director of GDR IA from 2016 to 2023. And he is the holder of the IA BE4musIA Chair “BElief change FOR better MUlti-Source Information Analysis”. He was appointed EurAI Fellow in 2024. He is the coordinator of the popularization book «L’Intelligence Artificielle. De quoi s'agit-il vraiment ?» Cepadues 2020.
Sébastien comes for the 30 years of ISIMA.