Abstract FR:

Il est courant de distinguer, dans la description d'un systeme au knowledge level, les connaissances du domaine, qui modelisent l'expertise, des connaissances de controle, qui permettent a un systeme de resoudre un probleme. Dans cette perspective de representation, resoudre un probleme c'est construire un modele du probleme courant. Nous proposons dans cette these un modele de connaissances de controle qui fournit lors de la construction du modele du probleme courant une representation explicite du fonctionnement du systeme. L'objectif est de batir un systeme d'acquisition des connaissances sur la base d'une trace de resolution de probleme. Lorsque l'expertise modelisee est de nature empirique et n'a ete jusqu'alors que peut formalisee, l'exemple est souvent un outil efficace pour permettre a l'expert d'eliciter ses connaissances. Notre modele s'applique dans un environnement de resolution distribuee de probleme: l'expertise est repartie entre plusieurs sources de connaissances sans que le domaine ne le soit. Notre travail consiste a etudier differents travaux faits sur la negociation, que ce soit en sciences cognitives ou en intelligence artificielle distribuee, avant de proposer un protocole base sur la metaphore d'un dialogue. Celui-ci a ete implemente au moyen d'un langage a base de frames et integre a la platte-forme resyn, un prototype de systeme d'aide a la synthese en chimie organique