Abstract FR:

Abacab a basic control architecture for blackboard est une architecture de controle de tableau noir. Abacab raisonne sur les proprietes des objets du tableau pour construire, a partir d'objets initiaux, un objet verifiant une description donnee comme objectif. Il planifie cette construction en utilisant des connaissances caracterisant le comportement des modules et du systeme, exprimees en termes de proprietes des objets. Cette planification est mise en uvre dans une architecture en couches, hierarchique, ou le controleur raisonne tant sur le probleme que sur sa resolution et ou les connaissances de controle sont representees et utilisees explicitement. Un outil, le dotms dynamic object-based truth maintenance system permet de tenir a jour les solutions partielles au fur et a mesure des productions des objets. La correction, la consistance et la completude de cet outil sont montrees dans le cadre d'une logique formalisant le tableau noir et les solutions recherchees. Cette logique est etendue a une logique multimodale dynamique permettant de decrire le comportement global d'abacab. Enfin, une theorie de la connaissance permet d'analyser la nature des connaissances de controle, leur representation et leur utilisation et de concevoir le controleur d'un tableau noir comme un agent rationnel