Abstract 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