Thèse soutenue

Méthodes de résolution de problèmes : leur explicitation et leur représentation dans MACAO-II
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Nada Matta
Direction : Mario Borillo
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1995
Etablissement(s) : Toulouse 3

Résumé

FR

L'acquisition des connaissances pour developper les systemes a base de connaissances consiste a recueillir les connaissances de l'expert et les organiser sous forme d'interpretations pour construire un systeme qui permet de reproduire leur fonctionnement. Elle est vue aujourd'hui comme un processus d'acquisition et de modelisation des connaissances. Sa fonction principale est de modeliser le processus de resolution de problemes (la tache que l'on veut assigner au systeme) en des termes comprehensifs pour les experts et utilisables pour realiser l'artefact. Cette modelisation conduit donc a construire un modele conceptuel, qui definit d'une facon explicite les connaissances qui interviennent dans une resolution de problemes. L'objectif de notre travail est d'etudier des moyens pour expliciter une methode de resolution de problemes dans un modele conceptuel. Il s'agit d'expliciter le controle qui va orienter la definition d'un ensemble de processus systemes. Ces processus vont permettre de resoudre les problemes d'une expertise donnee avec les memes performances qu'un expert. Nous avons etudie une demarche methodologiques pour amener le cogniticien concepteur d'un systeme a base de connaissances a expliciter la methode de resolution de problemes d'une application donnee. Cette demarche recommande de combiner abstraction du modele du comportement de l'expert et la reutilisation de modeles de resolution theoriques pour construire un canevas du modele conceptuel. Les relations entre les connaissances du raisonnement et celles du domaine sont ensuite exploitees pour raffiner ce canevas et diriger l'acquisition des connaissances detaillees. Une procedure d'operationalisation est aussi definie pour effectuer une validation dynamique du modele conceptuel. Cette validation garantit le fonctionnement de la resolution de problemes decrite dans ce modele. Expliciter une methode de resolution de problemes c'est aussi representer cette methode suivant un formalisme precis. Nous avons defini un formalisme de representation des connaissances a l'aide d'un ensemble de primitives epistemologiques qui amenent a focaliser l'analyse sur les caracteristiques des connaissances de resolution. Il conduit aussi a decrire l'organisation de ces connaissances d'une maniere comprehensible et explicite. Il permet aussi de conserver une trace de l'evolution de ces connaissances tout le long de la modelisation. Un logiciel a ete defini pour offrir un ensemble de moyens permettant de realiser les etapes de la demarche proposee et de representer les connaissances avec le formalisme prevu. Cette etude a eu des repercussions directes sur la methode macao (methode d'acquisition assistee par ordinateur) developpee dans notre equipe. C'est pour cela que nous avons integre les resultats de notre travail dans une nouvelle version de la methode, appelee macao-ii