Abstract FR:

Un environnement de résolution de problèmes est un système à base de connaissances qui pilote des modules algorithmiques. Nous étudions le problème de la réactivité dans ce type de systèmes et proposons une architecture appelée TRAM. Dans TRAM, l'état courant de la résolution est modélisé dans une base d'objets dont les mises à jour sont effectuées par ces modules algorithmiques. Le modèle objet propose détecte les événements pris en compte et identifie les situations qui permettent d'activer les modules algorithmiques. On montre ainsi l'intérêt de la classification d'instances pour caractériser l'état d'un système réactif. Le contrôle est organise en deux niveaux : la réactivité est gérée par un superviseur qui est défini a partir d'un automate d'états finis et qu'identifie la tache a réaliser, la planification est assurée par un gestionnaire de taches. L'étude de la sélection dynamique de méthodes dans ce modèle de taches aboutit à plusieurs algorithmes qui prennent en compte l'activité et l'utilité des méthodes, la rationalité du processus de délibération et la gestion des possibilités d'activation. TRAM est réalisé selon une approche client-serveur et expérimenté dans les applications de calcul scientifique.