Coheence et convergence dans un tableau noir : organisation, formalisation et semantique de l'architecture de controle abacab

par Bruno Bachimont

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Sabah.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 118 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.