@incollection{fdi:40902, title = {{U}n sch{\'e}ma abductif pour la v{\'e}rification dynamique des bases de connaissances floues}, author = {{K}inkiel{\'e}l{\'e}, {D}. and {A}yel, {M}.}, editor = {}, language = {{FRE}}, abstract = {{N}ous nous int{\'e}ressons dans cet article au probl{\`e}me de la v{\'e}rification des bases de connaissances impr{\'e}cises et/ou incertaines. {L}e cadre choisi est le raisonnement approximatif bas{\'e} sur la th{\'e}orie des possibilit{\'e}s et celle des sous-ensembles flous. {D}ans ce cadre, nous d{\'e}finissons un ensemble de propri{\'e}t{\'e}s que doivent v{\'e}rifier les bases de connaissances coh{\'e}rentes. {N}ous tirons {\'e}galement parti des travaux men{\'e}s dans le cadre de la r{\'e}solution des {\'e}quations des relations floues et mettons au point un sch{\'e}ma abductif flou, pour v{\'e}rifier la non violation par la base de connaissances des contraintes d'integrit{\'e} d{\'e}finies par l'expert, lors de l'{\'e}laboration de cette base. ({R}{\'e}sum{\'e} d'auteur)}, keywords = {{INTELLIGENCE} {ARTIFICIELLE} ; {SYSTEME} {EXPERT} ; {ANALYSE} {DE} {DONNEES} ; {ANALYSE} {DU} {RAISONNEMENT} ; {DONNEES} {IMPARFAITES} ; {THEORIE} {DES} {POSSIBILITES} ; {THEORIE} {DES} {ENSEMBLES} {FLOUS}}, booktitle = {{A}ctes du deuxi{\`e}me colloque africain sur la recherche en informatique = {P}roceedings of the second {A}frican {C}onference on research in computer science}, numero = {}, pages = {543--559}, address = {{P}aris}, publisher = {{ORSTOM}}, series = {{C}olloques et {S}{\'e}minaires}, year = {1994}, ISBN = {2-7099-1224-4}, ISSN = {0767-2896}, URL = {https://www.documentation.ird.fr/hor/fdi:40902}, }