• Thèse soutenue le :
  • 2016-12-13
  • faculté des sciences

Résumé :

Le changement de croyances vise à trouver des moyens adéquats pour faire évoluer les croyances d’un agent lorsqu’il est confronté à de nouvelles informations. Dans la plupart des travaux sur la révision de croyances, l’ensemble de croyances d’un agent est composé de croyances au sujet de l’environnement (le monde) et est représenté par un ensemble de formules de la logique classique. Dans de nombreuses applications, un agent n’est pas seul dans l’environnement, mais le partage avec d’autres agents, qui ont aussi des croyances. Ainsi les croyances sur les croyances des autres agents constituent un élément d’information important pour l’agent, afin d’être en mesure de prendre les meilleures décisions et d’effectuer les meilleures actions. L’utilisation de croyances sur les croyances des autres agents est par exemple cruciale dans la théorie des jeux.

Dans cette thèse, nous étudions dans un premier temps les opérateurs de contraction propositionnelle correspondant aux opérateurs de révision de Katsuno et Mendelzon. Nous étudions ensuite une connexion entre les logiques épistémiques et la théorie du changement de croyances, proche de l’approche AGM. Nous nous sommes intéressés à l’utilisation des opérateurs qui modifient les croyances des agents dans les modèles KD45n standard. Cette tâche est plus compliquée que dans le cadre AGM standard, car, dans un contexte multi-agents, les nouvelles informations peuvent prendre différentes formes. Par exemple, chaque nouvelle information peut être observée/transmise/disponible à tous les agents ou seulement à certains d’entre eux.

Composition du jury :

  • Andreas Herzig - Directeur de recherches CNRS, Université Paul Sabatier - Rapporteur
  • Odile Papini - Professeur des universités, Aix-Marseille Université - Rapporteur
  • François Schwarzentruber - Maître de conférences, ENS Rennes - Examinateur
  • Sébastien Konieczny - Directeur de recherches CNRS, Université d’Artois - Co-directeur
  • Tiago de Lima - Maître de conférences, Université d’Artois - Co-encadrant
  • Pierre Marquis - Professeur des universités, Université d’Artois - Co-directeur