Abstract FR:

La plupart des systemes experts utilisent une approche systeme a base de regles. La supposition generale a ete qu'une telle approche facilite l'explication du raisonnement du systeme. Or, dans la plupart des systemes experts la formulation des bases de connaissances reste tres liee au mecanisme d'inference: des connaissances de controle sont inclues dans les regles. Ces connaissances sont alors implicites et inaccessibles au systeme. Ce qui limite les capacites explicatives des systemes. Pour expliquer son raisonnement, un systeme expert doit pouvoir examiner toutes les connaissances qui se rattachent aux solutions des problemes et son propre fonctionnement. Nous proposons une architecture pour le developpement de systemes experts explicatifs: le systeme prose. Prose est concu de facon a ce que les connaissances exprimees explicitement puissent etre examinees integralement par le systeme. Il utilise un langage declaratif pour representer a la fois les connaissances du domaine d'application et les connaissances explicatives et de controle. Son architecture combine des techniques conventionnelles de representation et de traitement de la connaissance: la modelisation orientee objet, l'approche systemes a base de regles, la programmation dirigee par les buts. Prose utilise une approche systeme a base de regles pour engendrer des explications. L'explication est consideree elle-meme comme une tache de resolution de problemes. Cette tache est accomplie a l'aide d'une expertise explicative qui utilise diverses sources de connaissances telles que la base de connaissance du domaine et la trace d'execution. Prose explique son raisonnement a deux niveaux differents: en presentant la strategie poursuivie pour arriver a la solution ou en expliquant l'enchainement des deductions associees au fait demande. Il peut aussi expliquer, dans certains cas, pourquoi un fait n'a pas ete deduit