Abstract FR:

Le but des explications dans les systèmes basés sur les connaissances est de fournir aux différents types d'utilisateur le moyen de comprendre leurs actions et leurs conclusions. DEMO se démarque des autres systèmes basés sur les connaissances par le fait qu'il inclut un modèle de représentation des connaissances. Ce dernier est basé sur le formalisme des réseaux sémantiques enrichi d'une typologie d'objets et de relations. Le système explicateur de DEMO offre : des explications sur le méta-modèle de DEMO (le méta-modèle de DEMO contient les connaissances utiles pour décrire une expertise et pour raisonner) ; des explications descriptives (sur les objets de l'expertise) ; des explications sur le raisonnement. L'approche proposée dans les explications descriptives se base essentiellement sur les structures, appelées formes de connaissance, composant le réseau décrivant l'expertise. Ces formes de connaissance permettent de générer l'explication et d'accéder directement aux objets et relations devant apparaitre dans une explication en réponse à une question donnée sur un objet d'un type donné. Les explications sur le raisonnement sont construites grâce aux connaissances de contrôle décrites explicitement et aux stratégies associées aux formes de connaissance permettant de trouver facilement les informations non pertinentes à supprimer dans l'arbre de raisonnement. De plus, dans cette thèse est décrite une méthode pour l'apprentissage du système à partir des explications