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

L'adaptation par revision est une approche de l'adaptation de cas fondee sur l'utilisation d'un operateur de revision des croyances. Le principe de cette adaptation est de reviser le cas source par le probleme cible, autrement dit, elle consiste a modifier minimalement le premier pour qu'il soit coherent avec le second. Plusieurs implantations de l'adaptation par revision ont ete developpees dans plusieurs formalismes. Trois d'entre eux sont actuellement disponibles dans Revisor, qui contient donc trois moteurs d'adaptation : Revisor/PL en logique propositionnelle, Revisor/CLC pour un formalisme de conjonction de contraintes lineaires et Revisor/QA pour une algebre qualitative (notamment, l'algebre de Allen, INDU et RCC8).