Recherche Avancée

Thèse soutenue

Maintien de vérité dans un système à architecture de blackboard

FR  |  
EN
Auteur / Autrice : Anne-Claire Boury-Brisset
Direction : Jean-Paul Haton
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1992
Etablissement(s) : Nancy 1
Partenaire(s) de recherche : Autre partenaire : Université Henri Poincaré Nancy 1. Faculté des sciences et techniques

Résumé

FR

Certains domaines d'application impliquent la prise en compte d'informations incomplètes ou incertaines. La représentation de celles-ci nécessite alors le recours à l'émission d'hypothèses pour compléter la connaissance disponible et mener à bien la résolution d'un problème. Ce type d'informations est sujet à révision et demande à être géré de façon rigoureuse afin de ne pas introduire d'incohérences dans le raisonnement. Depuis quelques années, les techniques des systèmes de maintien de vérité offrent des mécanismes visant à faciliter un raisonnement fondé sur des hypothèses. Ce travail porte sur l'introduction d'un modèle de raisonnement hypothétique dans un système multi-bases de connaissances fondé sur le modèle du blackboard. Après une étude bibliographique relative aux systèmes de maintien de vérité, nous présentons la problématique du raisonnement hypothétique dans le cadre des systèmes multi-agents. Nous présentons ensuite la solution retenue, fondée sur un modèle du type ATMS, et décrivons l'interface que nous avons réalisée entre l'ATMS et l'outil de développement de systèmes multi-experts à base de blackboard atome. Outre l'implantation du modèle au sein des sources de connaissances du domaine, nous considérons l'aspect contrôle du raisonnement ainsi que les possibilités de distribution du système de maintien de vérité entre les différents niveaux du blackboard. Enfin, nous illustrons notre approche par l'application que nous avons réalisée concernant l'interprétation de signaux industriels. Ce système expert a permis de valider notre modèle