Logiques pour le changement de croyances : une histoire de tout, ou presque

Andreas Herzig (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

We examine several belief change operations in the light of a dynamic logic of propositional assignments. We show that update operations can be encoded as particular programs of that logic. This provides a syntactical update method.

Nous examinons plusieurs opérations de changement de croyances à la lumière d’une logique dynamique avec affectations propositionnelles. Cette dernière permet d’encoder les mises à jour comme des programmes particuliers, ce qui fournit une méthode de mise à jour syntaxique.

Domaines: Intelligence artificielle [cs.AI]

Andreas Herzig. Logiques pour le changement de croyances : une histoire de tout, ou presque. 7èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Groupe de recherche : GdR I3 (Information – Interaction – Intelligence); LSIS : Laboratoire des Sciences de l'Information et des Systèmes, (UMR 7296), Marseille, Jun 2013, Aix-en-Provence, France. pp.164-171. ⟨hal-03464937⟩