Abstract FR:

La sémantique de la cohérence d'une base de connaissances de système expert s'exprime a l'aide d'un modèle conceptuel de cette base et de contraintes d’intégrité. Grâce a ce modèle conceptuel sont définis, d'une part les contrôles statiques portant sur chacune des parties de la base de connaissances et, d'autre part, les contrôles dynamiques portant sur les bases de connaissances qui pourraient être déduites grâce aux connaissances déductives. Une connaissance experte particulière permet de sélectionner les contrôles dynamiques les plus pertinents : ce sont les seuls a être effectues. L'ensemble de ces contrôles est implémenté dans le système Sacco : système d'acquisition contrôlée a connaissances cohérentes