Le controle de la cohérence dans une base de connaissance et devenu une préoccupation essentielle pour les développeurs de systèmes experts, car les concepteurs ont besoin d'outils pour vérifier la valider une BC. dans ce ...