Kinkielélé D., Ayel M. (1994). Un schéma abductif pour la vérification dynamique des bases de connaissances floues. In :
Tankoano J. (ed.). Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science. Paris : ORSTOM, p. 543-559. (Colloques et Séminaires). CARI 94, 2., Ouagadougou (BKF), 1994/10/12-18. ISBN 2-7099-1224-4. ISSN 0767-2896.
Titre du document
Un schéma abductif pour la vérification dynamique des bases de connaissances floues
Année de publication
1994
Type de document
Partie d'ouvrage
Auteurs
Kinkielélé D., Ayel M.
In
Tankoano J. (ed.), Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science
Source
Paris : ORSTOM, 1994,
p. 543-559 (Colloques et Séminaires). ISBN 2-7099-1224-4 ISSN 0767-2896
Colloque
CARI 94, 2., Ouagadougou (BKF), 1994/10/12-18
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)
Plan de classement
Intelligence artificielle [122INTAR]
Descripteurs
INTELLIGENCE ARTIFICIELLE ; SYSTEME EXPERT ; ANALYSE DE DONNEES ; ANALYSE DU RAISONNEMENT ; DONNEES IMPARFAITES ; THEORIE DES POSSIBILITES ; THEORIE DES ENSEMBLES FLOUS
