Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science

Nous nous intéressons dans cet article au problème de la vérification des bases de connaissances imprécises et/ou incertaines. Le cadre choisi est le raisonnement approximatif basé sur la théorie des possibilités et celle des sous-ensembles flous. Dans ce cadre, nous définissons un ensemble de propriétés que doivent vérifier les bases de connaissances cohérentes. Nous tirons également parti des travaux menés dans le cadre de la résolution des équations des relations floues et mettons au point un schéma abductif flou, pour vérifier la non violation par la base de connaissances des contraintes d'integrité définies par l'expert, lors de l'élaboration de cette base. (Résumé d'auteur