%0 Book Section
%9 OS CH : Chapitres d'ouvrages scientifiques
%A Kinkielélé, D.
%A Ayel, M.
%T Un schéma abductif pour la vérification dynamique des bases de connaissances floues
%B Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science
%C Paris
%D 1994
%E Tankoano, J.
%L fdi:40902
%G FRE
%I ORSTOM
%@ 2-7099-1224-4
%K INTELLIGENCE ARTIFICIELLE ; SYSTEME EXPERT ; ANALYSE DE DONNEES
%K ANALYSE DU RAISONNEMENT ; DONNEES IMPARFAITES ; THEORIE DES POSSIBILITES ; THEORIE DES ENSEMBLES FLOUS
%P 543-559
%U https://www.documentation.ird.fr/hor/fdi:40902
%> https://horizon.documentation.ird.fr/exl-doc/pleins_textes/pleins_textes_6/colloques2/40902.pdf
%W Horizon (IRD)
%X 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)
%S Colloques et Séminaires
%B CARI 94
%8 1994/10/12-18
%$ 122INTAR