Révision des croyances dans la clôture propositionnelle d'une algèbre qualitative

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 :
Communication dans un congrès
JIAF-2014 -- Huitimes Journes de l'Intelligence Artificielle Fondamentale, Jun 2014, Angers, France. pp.10, 2014, JIAF - Huitimes Journes de l'Intelligence Artificielle Fondamentale. 〈http://jiaf2014.univ-angers.fr/〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01093977
Contributeur : Jean Lieber <>
Soumis le : jeudi 11 décembre 2014 - 14:35:35
Dernière modification le : mercredi 25 juillet 2018 - 01:24:30
Document(s) archivé(s) le : jeudi 12 mars 2015 - 10:47:14

Fichier

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

Identifiants

  • HAL Id : hal-01093977, version 1

Citation

Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber. Révision des croyances dans la clôture propositionnelle d'une algèbre qualitative. JIAF-2014 -- Huitimes Journes de l'Intelligence Artificielle Fondamentale, Jun 2014, Angers, France. pp.10, 2014, JIAF - Huitimes Journes de l'Intelligence Artificielle Fondamentale. 〈http://jiaf2014.univ-angers.fr/〉. 〈hal-01093977〉

Partager

Métriques

Consultations de la notice

371

Téléchargements de fichiers

116