Controle de cohérence dans une base de connaissance application: résolution des exercices de la géométrie

Abstract

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 mémoire, nous avons conçu, adapté et implémenté un ensemble d'algorithmes permettant de maintenir la consistance d'une BC pendant le processus de raisonnement tel que le controle lexical , syntaxcique et sémantique (compilateur de règles de production) controle locale (règles inutiles) et globale ( redondance, inclusion) . nous avons utilisé l'approche système de maintien de vérité (SMV) pour la détection des contradictions dans une base de connaissance . pour mettre en oeuvre et tester les procédures que nous avons proposées , nous avons conçu et réalisé un moteur d'inférence d'ordre 1 en chainage avant pour un système expert intégrant une base de connaissance pour la résolution des exercices de géométrie dans le plan.