Abstract FR:

L'explication dans les systemes experts est un probleme qui revet plusieurs formes, suivant l'objectif: justification de la connaissance, education, apprentissage, etc. Nous nous interessons ici aux explications permettant d'illustrer la consultation d'un systeme expert, et nous limitons notre etude au cas des systemes a base de regles (avec variables). La methode d'explication proposee s'appuie (1) sur l'utilisation d'un formalisme de tache pour exprimer les strategies de raisonnement et ainsi structurer l'explication, et (2) la representation statique, sous forme de cas, de l'ensemble des enchainements valides de regles. L'explication est exprimee en termes de faits, qualifies par les roles qu'ils ont joues dans les deductions examinees. Les roles sont calcules par une analyse statistique sur les cas. Nous montrons que le developpement d'une base de regles sous forme de cas est possible, en exhibant un compilateur de cas (esbe-cmp). Puis nous decrivons un systeme (esbe-xp) qui construit avec succes des explications positives et negatives. Nous concluons en soulignant, a travers une serie d'exemples, la dualite d'une explication uniquement basee sur la structure d'une base de connaissances: explication de l'utilisation de la connaissance par le systeme, et illustration de l'exploitation des mecanismes d'inference