Recherche Avancée

Thèse soutenue

Systèmes à base de connaissances coopératifs : modélisation des connaissances et étude du contrôle

FR  |  
EN
Auteur / Autrice : Ahmed Hadj Kacem
Direction : Mario Borillo
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1995
Etablissement(s) : Toulouse 3

Résumé

FR

Les systemes a base de connaissances (sbc) sont generalement vus comme la mise en uvre d'un resolveur automatique sur des connaissances humaines dans un domaine d'expertise limite. Nos travaux s'inscrivent dans le cadre de la conception des sbc dits cooperatifs dans lesquels on depasse largement la simple interaction avec l'utilisateur final pour instaurer une reelle cooperation. La cooperation se justifie par la complementarite entre un savoir-faire humain et des capacites de traitement artificielles. Les progres realises dans les methodes de conception des sbc apportent des elements en termes de modelisation, qui permettent de mieux apprehender l'aspect cooperatif dans l'activite de resolution. La cooperation, de notre point de vue, ne vise pas a automatiser la resolution du probleme mais plutot a optimiser la performance globale du couple homme/systeme. Cette forme de cooperation est basee sur la notion de distribution des taches a resoudre entre les partenaires cooperants. Nous avancons, dans un premier temps, une description des aspects conceptuels lies a la cooperation par la definition du modele de cooperation homme/systeme (mchs). Il s'agit, non seulement d'une modelisation de la competence cognitive des intervenants de la resolution conjointe (utilisateur et expert) mais aussi des differents elements qui conditionnent l'instauration d'une interaction entre les deux partenaires, en particulier les contraintes environnementales. Ces dernieres permettent de tracer les limites d'une activite cooperative. Dans un deuxieme temps, nous proposons une architecture logicielle prenant en compte le mchs dont la mission, au sein du systeme, consiste a controler le processus de resolution cooperative. Il fait intervenir une distribution des taches de controle qui induit, de facon reflexive, une distribution des taches du domaine. On formalise les concepts du controle dans une perspective de generalisation des notions de role, de strategie et de mode de cooperation non seulement dans le cadre des sbc cooperatifs mais aussi au sein des systemes multi-agents cooperatifs