Révision des croyances dans une clôture propositionnelle de contraintes linéaires (version étendue)

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é : Ce document est la version longue de l'article publié dans les actes des JIAF (journées d'intelligence artificielle fondamentale) en 2015. La différence est principalement au niveau des preuves : certaines preuves n'existent pas dans l'article et d'autres sont davantage détaillées ici. Réviser des croyances par d'autres croyances consiste à modifier les premières pour qu'elles soient cohérentes avec les secondes. Certains opérateurs de révision de croyances s'appuient sur des distances entre interprétations (qui servent à " mesurer " les modifications). La révision des croyances a été étudiée dans plusieurs formalismes, notamment en logique propositionnelle et dans le formalisme des conjonctions de contraintes linéaires. Cet article étudie la révision dans la clôture propositionnelle des contraintes linéaires, qui étend les deux formalismes précédents. La difficulté principale tient au fait qu'un opérateur s'appuyant sur une distance classique sur les n-uplets de réels, telle que la distance de Manhattan, ne vérifiera pas les postulats classiques de la révision. La solution proposée ici consiste à utiliser une distance à ensemble de valeurs discret. Un opérateur de révision est ainsi décrit et étudié, et un algorithme pour cet opérateur est présenté, qui s'appuie sur une mise sous forme normale disjonctive et sur des optimisations linéaires.
Type de document :
Rapport
[Rapport de recherche] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2015, pp.17
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01155235
Contributeur : Jean Lieber <>
Soumis le : mardi 26 mai 2015 - 12:27:19
Dernière modification le : mercredi 25 juillet 2018 - 01:23:50
Document(s) archivé(s) le : lundi 24 avril 2017 - 15:24:45

Fichier

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

Identifiants

  • HAL Id : hal-01155235, version 1

Collections

Citation

Jean Lieber. Révision des croyances dans une clôture propositionnelle de contraintes linéaires (version étendue). [Rapport de recherche] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2015, pp.17. 〈hal-01155235〉

Partager

Métriques

Consultations de la notice

368

Téléchargements de fichiers

77