Abstract FR:

Les limitations rencontrees par la theorie de l'utilite esperee pour rendre compte du comportement effectif des decideurs incitent a rechercher une modelisation de la decision qui prenne davantage en compte la facon dont les preferences sont prises en compte en fonction des raisonnements. L'idee est alors d'introduire le raisonnement par similarite comme mode de raisonnement dans un probleme de decision: la solution a un probleme courant est recherchee parmi des problemes de decision memorises, qui lui sont similaires et qui sont maximaux au sens des preferences. La similarite de deux problemes de decision est apprehendee, compte tenu de l'etat en cours du raisonnement, par la recherche d'identites partielles entre les descriptions de problemes, le reste des descriptions etant neglige. Cette identite partielle depend de ce qui a ete neglige dans le passe et est acceptee ou non en fonction des buts et de l'etat du raisonnement. La relation de preference est definie a partir des sextuplets permettant d'exprimer des preferences entre differentes identites partielles et differentes negligibilitees. Cette relation de preference permettent alors de determiner une solution maximale en fonction de ce qui est connu et de ce qui a ete neglige. A partir de ces deux notions (negligeabilite et preference), on introduit deux relations de deduction par similarite, dont on determine une semantique point fixe permettant une implantation sur machine. L'implantation dans le systeme soar consiste a informellement rajouter un processus d'appariement partiel dans le processus d'inference de soar, et a rajouter la prise en compte des elements negliges, les preferences proposees etant exprimables dans le formalisme de soar. Cette implantation permet de prendre en compte la resolution de probleme en incertitude, comme par exemple en photo-interpretation, en autorisant la prise en compte de l'incertitude par de la similarite.