Contribution à la validation et à la vérification des modèles conceptuels d'expertise : application au projet SACHEM

Contribution to the validation and the verification of conceptual expertise models : application to the sachem project

• Auteur / Autrice : Laurent Santos
• Direction : Norbert Giambiasi
• Type : Thèse de doctorat
• Discipline(s) : Productique et informatique
• Date : Soutenance en 1998
• Etablissement(s) : Aix-Marseille 3

Mots clés

Mots clés contrôlés

Réseaux neuronaux (informatique)

Intelligence artificielle

Petri, Réseaux de

Modèles mathématiques

Résumé

L'evolution de la technologie et l'apparition des premiers ordinateurs ont fait germer dans l'esprit des scientifiques l'idee que la machine pourrait un jour posseder une caracteristique propre a l'homme : l'intelligence. Afin de modeliser les processus de raisonnement porteur de cette <single high-reversed-9 quotation mark>intelligence<right single quotation mark>, la communaute i. A a developpe plusieurs methodologie d'acquisition et de structuration de la connaissance organisee au sein de modeles conceptuels d'expertise premier pas dans la conception des systemes a base de connaissances (sbc). Les industriels qui ont utilise ces methodologies dans des cas concrets ont montre qu'une meilleure comprehension des processus de raisonnement apportee par la classification de la connaissance ne suffisait pas a construire des sbc robustes et sans erreurs. En effet, la phase d'implementation etait difficile et generatrice d'erreurs de codage a cause de l'imprecision dans la description des modeles du systeme. Pour palier ces inconvenients, nous proposons une approche basee sur l'operationnalisation des modeles conceptuels d'expertise (mce). L'operationnalisation permet l'obtention d'un modele operationnel (executable) a partir du mce permettant ainsi la simulation de la dynamique des processus de raisonnement avant la phase de codage. Le modele operationnel que nous avons developpe repose sur le formalisme des reseaux de petri hierarchiques, interpretes et temporels. Ce dernier permet la detection des incoherences, ambiguites et incompletudes des modeles des processus de raisonnement. Nous avons conclus nos travaux en appliquant nos developpements theoriques au cas concret du systeme d'aide a la conduite en temps reel des hauts-fourneaux du groupe usinor concu par sollac : sachem.