Abstract FR:

Les travaux recents sur les systemes a base de connaissances ont montre l'interet, pour guider le recueil de l'expertise, d'etablir un modele conceptuel decrivant les problemes et sous-problemes a traiter, les operations et connaissances qui pourront etre utilisees a chaque etape de la resolution: le modele conceptuel, pour etre facilement lisible par le cogniticien ou les experts, doit etre etabli au niveau connaissance c'est-a-dire independamment de l'implementation. Se pose alors le probleme du passage de ce modele abstrait du comportement du systeme a concevoir, a un systeme reellement operationnel. Pour que le systeme soit capable de decrire son raisonnement a un niveau pertinent pour l'utilisateur, les experts ou le cogniticien (et que ces derniers puissent intervenir dans la validation de ce raisonnement), il est alors apparu indispensable d'integrer dans le systeme une representation du modele conceptuel, plus encore de lui permettre de resoudre les problemes en operant sur cette representation. Le travail de these a conduit a la specification et au developpement du langage lisa permettant de concevoir de tels systemes qui integrent et operent sur une representation explicite du modele conceptuel. Les caracteristiques de ce langage sont les suivantes: l'enonce des problemes a resoudre et la description des methodes disponibles pour le faire sont clairement separes. Des connaissances sont attachees aux problemes pour caracteriser precisement les solutions attendues, et aux methodes pour specifier les contextes favorables a leur declenchement et les types de resultats qu'elles produisent. Ces connaissances permettent au systeme de raisonner pour choisir la methode a appliquer dynamiquement en tenant compte du contexte. Les activites cles du processus de controle (ex: choix d'une methode pour un but) sont modelisees dans les memes termes que les activites du domaine. Nous proposons ainsi une approche reflexive. Le langage lisa a ete experimente dans le domaine de la planification des reseaux electriques; il a ete le support du developpement de la premiere maquette du systeme d'aide copilote. Cette experimentation nous a permis de montrer l'interet de l'approche que nous proposons, en particulier pour faciliter la mise en place de mecanismes de cooperation