Résumé: la sémantique de la cohérence d'une base de connaissances de système expert s'exprime à 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émente dans le systeme sacco: systeme d'acquisition contrôlée a connaissances cohérentes.

Langue: Français
Collation: 217 p. ill. ;30 cm
Diplôme: Doctorat d'état
Etablissement de soutenance: Savoie, Université Savoie Mont Blanc . Faculté des Sciences et des Techniques

Note: Bibliogr.pp.169-182