Révision des croyances dans une clôture propositionnelle de contraintes linéaires

Jean Lieber 1
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Résumé : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01178267
Contributor : Jean Lieber <>
Submitted on : Monday, July 20, 2015 - 6:06:25 PM
Last modification on : Friday, May 24, 2019 - 10:56:05 AM
Long-term archiving on : Wednesday, October 21, 2015 - 5:10:43 PM

File

lieber.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01178267, version 1

Collections

Citation

Jean Lieber. Révision des croyances dans une clôture propositionnelle de contraintes linéaires. Journées d'intelligence artificielle fondamentale, plate-forme intelligence artificielle, Jun 2015, Rennes, France. pp.10. ⟨hal-01178267⟩

Share

Metrics

Record views

279

Files downloads

290