Belief revision in the propositional closure of a qualitative algebra (extended version)

Résumé : La révision des croyances est une opération visant à modifier d'anciennes croyances afin qu'elles deviennent cohérentes avec de nouvelles croyances. La problématique de la révision des croyances a été étudiée dans divers formalismes, en particulier dans les algèbres qualitatives (AQ), dans lesquelles le résultat est une disjonction de bases de croyances, qui ne sont pas nécessairement représentables dans une AQ. Cela motive l'étude de la révision des croyances dans les clôtures propositionnelles des AQ, dans lesquels le résultat de la révision est représentable. Cette propriété rend possible la définition d'un opérateur de contraction, en s'appuyant sur l'identité de Harper. La révision des croyances dans les clôtures propositionnelles d'AQ est étudiée, un algorithme pour une famille d'opérateurs de révision dans ces formalismes est présenté et une implantation gratuite, avec code source ouvert et disponible sur la toile est décrite.
Type de document :
Rapport
[Technical Report] INRIA Nancy. 2014
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00954512
Contributeur : Valmi Dufour-Lussier <>
Soumis le : dimanche 4 mai 2014 - 20:19:46
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24
Document(s) archivé(s) le : lundi 4 août 2014 - 10:35:32

Fichiers

rt.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00954512, version 1
  • ARXIV : 1405.0795

Citation

Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber. Belief revision in the propositional closure of a qualitative algebra (extended version). [Technical Report] INRIA Nancy. 2014. 〈hal-00954512〉

Partager

Métriques

Consultations de la notice

416

Téléchargements de fichiers

248