Chapitre 1 Partie 1 Maintien de la cohérence dans les bases de connaissances

Dans ce cours; il s'agit de présenter les outils permettant le contrôle et le maintien de la cohérence dans une base de connaissance. 

Une approche récente consiste à compléter le Raisonnement dans un système à base de connaissance par l'intégration d'un processus de maintien de vérité.

 Un TMS ou bien SMV  permet d'assurer la consistance de la BC et l'élimination de toute contradiction ou anomalie pouvant apparaitre au cours du raisonnement.