Le système d'explication CQFE, une forme de métaraisonnement intégrant règles et objets

The explanation system CQFE, a kind of metareasoning which exploits both rules and objects

• Auteur / Autrice : Gilles Kassel
• Direction : Jean-Claude Bermond
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1986
• Etablissement(s) : Paris 11
• Partenaire(s) de recherche : autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne)

Mots clés

Mots clés contrôlés

Systèmes experts (informatique)

Intelligence artificielle

Mots clés libres

Métaraisonnement

Explication du raisonnement

Formalismes règles-objets

Stratégies de diagnostic

Résumé

La faculté pour un Système Expert (S. E. ) d’expliquer son raisonnement, autrement dit, de rendre compte de son comportement en des termes compréhensibles, est une aptitude importante. Les objectifs d’une telle capacité sont divers : aider l’ingénieur de la connaissance dans la phase d’acquisition des connaissances, convaincre l’utilisateur du bien-fondé du raisonnement, ou encore enseigner l’expertise constituée. Cette capacité est matérialisée par un module d’explication adjoint au S. E. , qui travaille à partir d’une trace du raisonnement. Jusqu’à présent, les modules d’explication existants se sont contentés d’expliquer une seule étape de déduction en présentant, telle quelle, la trace du raisonnement : or, ce type d’aide ne permet pas à l’utilisateur d’acquérir une vue d’ensemble sur le raisonnement. L’objectif du système CQFE, organisé autour du moteur d’inférences N-TANGO, est de faire en sorte que le S. E. Puisse expliquer l’ensemble de son raisonnement. Pour réaliser cet objectif, une simple « explication-trace » ne suffit pas ; le module d’explication opère un nouveau raisonnement sur le raisonnement du S. E. Afin : 1. De le structurer. 2. De le simplifier et d’en dégager les étapes importantes. 3. De mettre à la portée de l’utilisateur ce raisonnement d’un expert. Pour réaliser ce métaraisonnement, le module d’explication utilise plusieurs types de connaissances : 1. Une description des objets et concepts qui organisent l’expertise en résolution de problèmes, représentée au sein du « Modèle Conceptuel », dans l’environnement objet fourni par le langage d’acteurs MERING. 2. Des connaissances portant sur la structure, la nature du raisonnement ainsi que sur la pertinence des inférences. Cet effort de représentation des connaissances ne profite pas uniquement à la facilité d’explication : les concepts du Modèle Conceptuel et l’environnement objet permettent à l’ingénieur de la connaissance de représenter simplement et de façon déclarative, des métaconnaissances de stratégie. Ces métaconnaissances sont interprétées par CQFE qui a structuré son expertise de résolution de problèmes en ce sens.