Version imprimable |
Contribution aux systèmes experts : développement d'un cas concret et étude du problème de la génération d'explications négatives (Expert systems : case study and generation of negative explanations) Saurel, Claire 1987-12-15 Ecole Nationale Supérieure de l'Aéronautique et de l'Espace | ||
Directeur(s) de thèse: Zanon, Guy Laboratoire : Département d’Etudes et de Recherches en Informatique -DERI Ecole doctorale : Ecole doctorale indéterminée Classification : Sciences de l'ingénieur | ||
Mots-clés : Systèmes experts, Réutilisation de logiciels, Explications négatives, Arbre ET-OU, Calcul des prédicats Résumé : La première partie de ce document concerne le problème de l'aide à la réutilisation de logiciels existants. On montre d'abord l'intérêt potentiel de techniques d'intelligence artificielle dans cet objectif. Une étude de système expert est réalisée, suivie de la conception d’une maquette appliquée au domaine du calcul scientifique : les connaissances sont modélisées en logique des prédicats. Dans le cadre de l'expérimentation de cette maquette, le problème des explications négatives (pourquoi ne peut-on pas conclure tel fait ?), rarement traité lorsque les connaissances sont exprimées en logique des prédicats, a été soulevé ; pourtant cette fonction est aussi importante que la résolution de problème pour un système expert. Dans la seconde partie est donc proposée une méthode de génération d'explications négatives structurées par niveaux de détails, basée sur une représentation de la résolution par un arbre ET-OU. Résumé (anglais) : The first part of this document deals with the problem of aiding in reusing existing software components. The possible interest of artificial intelligence techniques for this aim is first shown. The feasibility for an expert system has been studied, and then a prototype in the field of numerical mathematics has been designed ; knowledge is formalized within predicate logic. During the experimentation of this prototype, the problem of negative explanation generation (why can't be this goal deduced ?), seldom dealt with when knowledge is formalized within predicate logic, has been focussed on ; this function is as important as problem solving for an expert system. So in the second part, a method which generates negative explanations, structured by levels of detail and based upon a representation of the search space by an AND/OR tree, is proposed. Langue : Français |
Exporter au format XML |