Les règles de révision des croyances

Si les travaux relatifs à la formalisation des croyances ont longtemps été dispersés entre logique épistémique, intelligence artificielle et théorie des choix, une unification se dessine : elle fait l’objet du présent article. La première partie décrit la structure des croyances d’un agent dans le cadre fédérateur de la «sémantique des mondes possibles», en mettant l’accent sur la possibilité de niveaux hiérarchiques de croyances. La deuxième partie présente, pour diverses structures initiales de croyances et diverses formes de messages, des règles de révision des croyances illustrées par l’exemple prototypique d’urnes remplies de boules colorées. La troisième partie met en correspondance les règles alternatives de révision avec les trois interprétations classiques des messages, en termes d’évolution des mondes, de sélection d’un monde ou d’information sur les mondes.