Belief revision in the propositional closure of a qualitative algebra

Valmi Dufour-Lussier 1, * Alice Hermann 1 Florence Le Ber 2 Jean Lieber 1
* Auteur correspondant
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
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
14th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2014, Vienne, Austria. AAAI Press, pp.4, 2014, 〈http://www.kr.tuwien.ac.at/events/kr2014/〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01094264
Contributeur : Valmi Dufour-Lussier <>
Soumis le : jeudi 11 décembre 2014 - 23:43:44
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24
Document(s) archivé(s) le : jeudi 12 mars 2015 - 11:25:56

Fichiers

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

Identifiants

  • HAL Id : hal-01094264, version 1
  • ARXIV : 1412.3908

Relations

Citation

Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber. Belief revision in the propositional closure of a qualitative algebra . 14th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2014, Vienne, Austria. AAAI Press, pp.4, 2014, 〈http://www.kr.tuwien.ac.at/events/kr2014/〉. 〈hal-01094264〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

110