Révisor : un ensemble de moteurs d'adaptation de cas par révision des croyances

Julien Cojan 1 Valmi Dufour-Lussier 1 Alice Hermann 1 Florence Le Ber 1 Jean Lieber 1 Emmanuel Nauer 1 Gabin Personeni 1
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Résumé : L'adaptation par révision est une approche de l'adaptation de cas fondée sur l'utilisation d'un opérateur de révision des croyances. Le principe de cette adaptation est de réviser le cas source par le problème cible, autrement dit, elle consiste à modifier minimalement le premier pour qu'il soit cohérent avec le second. Plusieurs implantations de l'adaptation par révision ont été développées dans plusieurs formalismes. Trois d'entre eux sont actuellement disponibles dans Révisor, qui contient donc trois moteurs d'adaptation : Révisor/PL en logique propositionnelle, Révisor/CLC pour un formalisme de conjonction de contraintes linéaires et Révisor/QA pour une algèbre qualitative (notamment, l'algèbre de Allen, INDU et RCC8).
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-00856487
Contributor : Jean Lieber <>
Submitted on : Sunday, September 1, 2013 - 2:43:33 PM
Last modification on : Friday, May 24, 2019 - 10:58:05 AM
Long-term archiving on : Tuesday, December 3, 2013 - 11:20:42 AM

File

revisor.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00856487, version 1

Collections

Citation

Julien Cojan, Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber, et al.. Révisor : un ensemble de moteurs d'adaptation de cas par révision des croyances. JIAF - Septièmes Journées de l'Intelligence Artificielle Fondamentale - 2013, Jun 2013, Aix-en-Provence, France. ⟨hal-00856487⟩

Share

Metrics

Record views

441

Files downloads

123