Une première formalisation de la phase d'élaboration du raisonnement à partir de cas

National audienceLa phase d'élaboration du raisonnement à partir de cas a pour objectif de préparer la remémoration en enrichissant la description du problème tel qu'il est saisi par l'utilisateur, afin d'obtenir le problème cible. Cet article tente une première formalisation de l'élaboration en s'appuyant sur un exemple et sous l'hypothèse, assez générale, selon laquelle les problèmes et solutions peuvent être considérés comme des ensembles (ou conjonctions) de descripteurs. Cette formalisation est une définition qui caractérise une fonction d'élaboration. Plusieurs fonctions d'élaboration sont possibles, de celle qui consiste à ne rien faire (le problème cible est le problème saisi par l'utilisateur) à celle qui consiste à ajouter tous les descripteurs déductibles du problème saisi et de la théorie du domaine. Un cas intermédiaire intéressant consiste à ne rajouter au problème saisi par l'utilisateur que les descripteurs susceptibles de jouer un rôle dans le raisonnement, i.e., ceux qui sont liés à des dépendances entre problèmes et solutions