Révisor : un ensemble de moteurs d'adaptation de cas par révision des croyances
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).
Origine : Fichiers produits par l'(les) auteur(s)
Loading...