Bienvenue sur ArTeMIS, la plate-forme d’archivage et de diffusion des thèses et mémoires de l’ISAE-SUPAERO.
Vous y trouverez les thèses soutenues à Supaero depuis 1979 et à l’ISAE-SUPAERO depuis 2007 ayant fait l´objet d´une numérisation ou d´un dépôt électronique et pour lesquelles nous avons obtenu l’autorisation de diffusion.
???menu.label.??? > ???menu.label..??? fr| en
Artemis
  • A propos
  • Contact
  • Recherche
  • simple
  • Tous les mots:
  • avancée
  • Consulter par
  • auteur
  • année
  • thématique
  • laboratoire
  • équipe de recherche
  • école doctorale
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
Accès : Texte intégral

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
© 2006-2010 ORI-OAI
thèses ISAE,theses ISAE,thèse ISAE,these ISAE, thèses Institut Supérieur de l'Aéronautique et de l'Espace,thèse Institut Supérieur de l'Aéronautique et de l'Espace,,theses Institut Supérieur de l'Aéronautique et de l'Espace,,these Institut Supérieur de l'Aéronautique et de l'Espace, thèses aéronautique,thèse aéronautique,these aéronautique,,theses aéronautique, Artemis,Arthemis, thèses DAEP,thèses DMIA,thèses DMSM, thèses DEOS,thèses CAS,thèses LACS, thèse DAEP,thèse DMIA,thèse DMSM, thèse DEOS,thèse CAS,thèse LACS, these DAEP,these DMIA,these DMSM, these DEOS,these CAS,these LACS, theses DAEP,theses DMIA,theses DMSM, theses DEOS,theses CAS,theses LACS, thèses toulouse,thèse toulouse,theses toulouse,these toulouse, thèses supaero,thèse supaero,theses supaero,these supaero, thèses école nationale supérieure d'aéronautique,thèse école nationale supérieure d'aéronautique,theses école nationale supérieure d'aéronautique,these école nationale supérieure d'aéronautique, thèses ingénieur,thèse ingénieur,theses ingénieur,these ingénieur, phd thesis ISAE, phd thesis Institut Supérieur de l'Aéronautique et de l'Espace, phd thesis aéronautics, phd thesis DAEP,phd thesis DMIA,phd thesis DMSM,phd thesis DEOS,phd thesis CAS,phd thesis LACS, phd thesis toulouse,phd thesis supaero,phd thesis école nationale supérieure d'aéronautique,