L'explication dans les systèmes experts : étude synthétique et extension au raisonnement incertain, le système SERIN

Explanations in expert systems: synthesis and extension to reasoning under uncertainty. The serin system

• Auteur / Autrice : Mounia Bouri
• Direction : Henri Farreny del Bosque
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1990
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Informatique

Explication

Possibilités, Théorie des

Incertitude

Systèmes experts (informatique)

Résumé

Cette these porte sur l'explication dans les systemes experts. Elle apporte trois contributions. Une premiere contribution, et non la moindre, a consiste a elaborer une analyse comparative approfondie de travaux developpes ou en cours de developpement et a en degager une synthese globale organisee selon trois axes d'examen: quels types d'informations l'utilisateur peut-il recevoir? de quelle maniere l'utilisateur peut-il les demander/les recevoir? de quelle maniere le systeme peut-il les fabriquer? pour chacun de ces axes, on definit des criteres de classement dans lesquels on integre des exemples tires des travaux existants. La seconde contribution a consiste a realiser le systeme explicatif serin (systeme explicatif de raisonnements incertains). Ce systeme etend la problematique de l'explication au raisonnement incertain. Le cadre choisi pour le traitement de l'incertitude et de l'imprecision est la theorie des possibilites ou l'information disponible concernant les valeurs d'une variable est representee en termes de distributions de possibilite. Serin peut fournir plusieurs types d'explications concernant la distribution de possibilite d'un resultat: des informations explicatives generales et des informations plus specifiques. En particulier, dans le cadre des informations explicatives generale, serin analyse la sensibilite du raisonnement possibiliste en etudiant l'incidence des faits initiaux sur le resultat. Pour construire ces explications, serin utilise en particulier une analyse formelle du raisonnement du systeme qui consiste a construire, a partir de la trace memorisee, un systeme d'equations en algebre max-min reliant le fait-resultat aux faits-initiaux. Ce systeme d'equations est ensuite analyse en exploitant principalement les proprietes de l'algebre max-min. La troisieme contribution a ete d'appliquer le systeme serin a la medecine d'urgence et plus precisement au traitement par fibrinolyse de l'infarctus du myocarde avant l'arrivee du malade a l'hopital