Révision des croyances dans une clôture propositionnelle de contraintes linéaires
| Autor: | Lieber, Jean |
|---|---|
| Přispěvatelé: | Knowledge representation, reasonning (ORPAILLEUR), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Nicolas Maudet, Bruno Zanuttini, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | francouzština |
| Rok vydání: | 2015 |
| Předmět: | |
| Zdroj: | Journées d'intelligence artificielle fondamentale, plate-forme intelligence artificielle Journées d'intelligence artificielle fondamentale, plate-forme intelligence artificielle, Jun 2015, Rennes, France. pp.10 |
| Popis: | National audience; Réviser des croyances par d'autres croyances consiste à modifier lespremières pour qu'elles soient cohérentes avec les secondes. Certainsopérateurs de révision de croyances s'appuient sur des distances entreinterprétations (qui servent à " mesurer " les modifications). Larévision des croyances a été étudiée dans plusieurs formalismes,notamment en logique propositionnelle et dans le formalisme desconjonctions de contraintes linéaires. Cet article étudie la révisiondans la clôture propositionnelle des contraintes linéaires, qui étendles deux formalismes précédents. La difficulté principale tient aufait qu'un opérateur s'appuyant sur une distance classique sur lesn-uplets de réels, telle que la distance de Manhattan, ne vérifierapas les postulats classiques de la révision. La solution proposée iciconsiste à utiliser une distance à ensemble de valeurs discret. Unopérateur de révision est ainsi décrit et étudié, et un algorithmepour cet opérateur est présenté, qui s'appuie sur une mise sous formenormale disjonctive et sur des optimisations linéaires. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|