Thèse de doctorat en Informatique
Sous la direction de Patrick Bosc.
Soutenue en 1989
à Rennes 1 .
L'un des principaux avantages reconnus aux systemes experts est leur capacite d'expliquer leur raisonnement. Apres une etude de differentes approches en ce domaine, nous proposons une architecture de systeme d'explication. Son principe repose sur l'idee que fournir des explications necessite une connaissance a part entiere differente de celle du systeme expert: une connaissance explicative. Cette connaissance se compose de deux parties: celle qui permet de retrouver le contenu d'une explication dans un systeme expert, et celle chargee de fournir l'explication de la meilleure maniere possible. Nous nous somme principalement occupes de la premiere sorte. Nous definissons un langage nous permettant d'ecrire des meta-regles afin de representer cette connaissance. Nous presentons ensuite une methode aidant a l'ecriture de ces meta-regles: apres l'analyse d'une base de connaissance nous definissons les types de connaissance necessaire a une bonne explication. Ces differents types sont reperables dans de nombreux systemes a base de regles de production. La realisation s'est effectuee sur un analyseur linguistique decrit dans la syntaxe iroise (systeme de productions a base de regles)
Explanatory knowledge in expert systems
Pas de résumé disponible.