Dépôt Institutionnel Université de Jijel

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

Afficher la notice abrégée

dc.contributor.author Besma, Oucief
dc.contributor.author Ilyas, Bourbia
dc.contributor.author Kerada, Ouidad(Encadreur)
dc.date.accessioned 2020-10-25T09:25:52Z
dc.date.available 2020-10-25T09:25:52Z
dc.date.issued 2018
dc.identifier.uri http://dspace.univ-jijel.dz:8080/xmlui/handle/123456789/2270
dc.description.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. fr_FR
dc.language.iso fr fr_FR
dc.publisher Universite de jijel fr_FR
dc.relation.ispartofseries ;Inf.IA.06/18
dc.subject BC, SMV, chainage avant, controle de cohérence , moteur d'inférence fr_FR
dc.title Controle de cohérence dans une base de connaissance application: résolution des exercices de la géométrie fr_FR
dc.type Thesis fr_FR


Fichier(s) constituant ce document

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Recherche avancée

Parcourir

Mon compte