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).
Type de document :
Communication dans un congrès
JIAF - Septièmes Journées de l'Intelligence Artificielle Fondamentale - 2013, Jun 2013, Aix-en-Provence, France. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00856487
Contributeur : Jean Lieber <>
Soumis le : dimanche 1 septembre 2013 - 14:43:33
Dernière modification le : mercredi 25 juillet 2018 - 01:23:51
Document(s) archivé(s) le : mardi 3 décembre 2013 - 11:20:42

Fichier

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

Identifiants

  • 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. 2013. 〈hal-00856487〉

Partager

Métriques

Consultations de la notice

395

Téléchargements de fichiers

111