Une architecture de contrôle réactif pour la résolution coopérative de problèmes

Un environnement de resolution de problemes est un systeme a base de connaissances qui pilote des modules algorithmiques. Nous etudions le probleme de la reactivite dans ce type de systemes et proposons une architecture appelee TRAM. Dans TRAM, l'etat courant de la resolution est modelise dans une base d'objets dont les mises a jour sont effectuees par ces modules algorithmiques. Le modele objet propose detecte les evenements pris en compte et identifie les situations qui permettent d'activer les modules algorithmiques. On montre ainsi l'interet de la classification d'instances pour caracteriser l'etat d'un systeme reactif. Le controle est organise en deux niveaux : la reactivite est geree par un superviseur qui est defini a partir d'un automate d'etats finis et qu'identifie la tache a realiser, la planification est assuree par un gestionnaire de taches. L'etude de la selection dynamique de methodes dans ce modele de taches aboutit a plusieurs algorithmes qui prennent en compte l'activite et l'utilite des methodes, la rationalite du processus de deliberation et la gestion des possibilites d'activation. TRAM est realise selon une approche client-serveur et experimente dans les applications de calcul scientifique.