Résumé:
Dans la réalisation des SBC (systèmes à base de connaissances), deux problématiques
se posent et qui présentent une préoccupation essentielle pour les développeurs, la première est le contrôle de cohérence dans une base de connaissances car les concepteurs ont besoin d’outils pour vérifier et valider une BC(Base de connaissances), la deuxième est le temps de réponse du système lorsque la BC est grande.
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 contrôle syntaxique et sémantique (compilateur de règles de production), contrôle local (règles inutiles) et global (redondance, inclusion). Nous avons utilisé l’approche SMV (système de maintien de vérité) pour la détection des contradictions dans une base de connaissances. Pour améliorer la réactivité du système, nous avons opté pour une conception utilisant une approche multi-agents intégrant un raisonnement semi distribué.
Pour mettre en oeuvre et tester les procédures que nous avons proposées, nous avons conçu et réalisé un système à base de connaissances d’ordre 1 avec chaînage avant intégrant une base de connaissances pour la résolution des exercices de géométrie dans le plan, que nous avons nommé SEGM (Système expert de la géométrie mathématique)
Mots-clés : BC, chaînage avant, contrôle de cohérence, moteur d’inférence, multiagents,
SBC, SEGM, semi distribué, SMV
