Thèse soutenue

Vérification de la cohérence dynamique dans les bases de connaissances modulaires

FR  |  
EN
Auteur / Autrice : Bruno Wendler
Direction : Marc Ayel
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1996
Etablissement(s) : Chambéry

Résumé

FR

La complexité des systèmes à bases de connaissances a tendance à s'accroitre. Elle atteint son paroxysme lorsque ceux-ci sont utilisés pour résoudre des problèmes critiques tels que ceux du domaine spatial. Reflétant cette complexité, la base de connaissances est souvent décomposée en plusieurs modules. Cette modularité peut être prise en compte lors de la vérification de systèmes complexes. Nous nous sommes intéressés à la vérification dynamique de la cohérence dans de tels systèmes, en prenant en compte leur potentiel déductif. Partant du calcul de labels locaux à un module, un processus d'expansion permet d'obtenir le label pour l'ensemble de modules. Cela permet de réduire la complexité du calcul de labels en offrant la possibilité de réutiliser des calculs intermédiaires. Cette technique rend plus efficace la vérification des contraintes d'incohérence de la base de connaissances. Quand la base de connaissances n'est pas modulaire, nous proposons des algorithmes de partitionnement spécifiques à la tache de vérification de la cohérence. Les idées et les algorithmes ont été testés sur des bases de connaissances issues du monde industriel