Logiques pour le changement de croyances : une histoire de tout, ou presque
Résumé
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]
Fichier principal
Logiques pour le changement de croyances 2013.pdf (161.13 Ko)
Télécharger le fichier
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|