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

par Laurent Santos

Thèse de doctorat en Productique et informatique

Sous la direction de Norbert Giambiasi.

Soutenue en 1998

à Aix-Marseille 3 .


  • 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.

  • Titre traduit

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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 122 p.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université d'Aix-Marseille (Marseille. Saint-Jérôme). Service commun de la documentation. Bibliothèque de sciences - Inspé.
  • Disponible pour le PEB
  • Cote : T 2654/A-B
  • Bibliothèque : Université d'Aix-Marseille (Marseille. Saint-Jérôme). Service commun de la documentation. Bibliothèque de sciences - Inspé.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1998-SAN
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.