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

National audienceL'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)

Adaptation de cas propositionnels par réparations fondées sur des connaissances d'adaptation

National audienceL'adaptation est une étape du raisonnement à partir de cas qui consiste à modifier un cas source représentant un épisode de résolution de problème pour résoudre un nouveau problème, appelé le cas cible. Une approche de l'adaptation consiste à appliquer un opérateur de révision de croyances qui modifie de manière minimale le cas source pour le rendre cohérent avec le cas cible. Une autre approche consiste à utiliser des règles d'adaptation relatives au domaine. Ces deux approches peuvent être combinées : un opérateur de révision paramétré par des règles d'adaptation est introduit. Ce papier présente un algorithme d'adaptation par révision et règles d'adaptation fondé sur la réparation de branches dans des tableaux en logique propositionnelle : quand la conjonction des cas source et cible est incohérente, la méthode des tableaux crée un ensemble de branches, toutes terminant par des conflits, qui sont ensuite réparés à l'aide de règles d'adaptation (modifiant ainsi le cas source). Cet algorithme a été implanté dans l'outil REVISOR /PLAK et des informations sur cette implantation sont présentées

Adapting propositional cases based on tableaux repairs using adaptation knowledge -- extended report

Adaptation is a step of case-based reasoning that aims at modifying a source case (representing a problem-solving episode) in order to solve a new problem, called the target case. An approach to adaptation consists in applying a belief revision operator that modifies minimally the source case so that it becomes consistent with the target case. Another approach consists in using domain-dependent adaptation rules. These two approaches can be combined: a revision operator parametrized by the adaptation rules is introduced and the corresponding revision-based adaptation uses the rules to modify the source case. This paper presents an algorithm for revision-based and rule-based adaptation based on tableaux repairs in propositional logic: when the conjunction of source and target cases is inconsistent, the tableaux method leads to a set of branches, each of them ending with clashes, and then, these clashes are repaired (thus modifying the source case), with the help of the adaptation rules. This algorithm has been implemented in the REVISOR/PLAK tool and some implementation issues are presented