|
| Titre : | Prouver : Démonstrateur automatique pour la cohérence d'une base de connaissance d'un système expert. | | Type de document : | theses et memoires | | Auteurs : | Sofia Nait-Cherif ; Ouaguenouni Nacera ; S. Khemliche, Directeur de thèse | | Editeur : | Tizi Ouzou : UMMTO.FGEI | | Année de publication : | 2010 | | Importance : | 65p. | | Présentation : | ill. | | Format : | 28cm. | | Note générale : | Bibliogr. | | Langues : | Français | | Mots-clés : | Base de Connaissance | | Résumé : | Il existe plusieurs définitions de (IA) car il est presque impossible de cerner en une seule définition toute la richesse ouverte par ce domaine.
L'IA est le domaine d'informatique qui effectue des traitements symboliques et emploie des méthodes non algorithmiques.
L'IA s'efforce de créer des machines telles que les ordinateurs capables d'un comportement intelligent, c'est-à -dire un comportement qui pourrait raisonnablement passer pour intelligent si on l'observait chez des êtres humains. Aptitude à comprendre le langage naturel et aptitude à raisonner sont deux clés de voûtes de l'intelligence. Elles représentent chacune un domaine de recherche principal pour " IA ".
En informatique classique, la résolution d'un problème se fait en utilisant la méthode appropriée, traduite sous forme d'algorithmes afin d'obtenir une solution du problème posé, à l'inverse, dans les domaines qu'explore l'IA, l'ordinateur se charge des tâches intellectuelles de l'homme pour lesquelles l'existence même d'une solution n'est pas toujours certaine.
L'IA a suscité un rôle majeur dans les diverses applications professionnelles telles que :
¢ Reconnaissance de la parole ;
¢ Reconnaissance des formes ;
¢ L'enseignement assisté par ordinateur ;
¢ Les systèmes experts (SE).
C'était au milieu des années 70 que le (SE) a vu le jour, cette importante application de l'IA a secoué l'informatique classique par sa possibilité de traiter l'informatisation de quelques facultés intellectuelles telles que : diagnostic médical, régulation d'échange boursiers, prescription thérapeutique,…etc.
A titre d'exemple des systèmes experts, on cite :
" " MYCIN " proposé par E. SHORTLIFFE (1974), ce système est expert en diagnostic des infections bactériennes du sang.
" " SOPHIE " (UNIVERSITE DE STANFORD USA, 1975), c'est un système expert d'aide à l'enseignement assisté par ordinateur de la détection des pannes dans un circuit électronique.
Mais pour un fonctionnement meilleur et sûr d'un (SE), la base de connaissance saisie par l'expert doit être cohérente et sans contradiction. Pour cela, dans notre projet, nous essayerons de réaliser un logiciel qui permettra de vérifier la cohérence de la base faits et règles (la base de connaissance) et cela en s'appuyant sur la logique propositionnelle et la réfutation .
Notre travail sera réparti sous la forme de plusieurs chapitres pour garantir une présentation claire et précise de notre projet. En voici le plan :
Chapitre 1 :
- Généralités sur les systèmes experts
- Logique propositionnelle
- Problématique
Chapitre 2 : Conception de notre prouver
Chapitre 3 : Implémentation et réalisation de notre prouver.
L'objectif recherché dans notre travail est la mise au point d'un logiciel qui, à partir d'un ensemble de faits et règles décrivant un cas réel du domaine précis on applique la résolution propositionnelle (réfutation) a fin de vérifier la cohérence de notre base de connaissance pour un résultat sur et non contradictoire des déductions de nouveau faits à la manière d'un expert humain.
Apres introduction des faits et règles par l utilisateur et après validation celui-ci est capable de parcourir ces faits et règles et nous renvoyer les cas ou ya contradiction
Exemple : l'existence de q et non q dans la base de fait => contradiction
A terme de notre travail, nous avons apprécié l'intérêt de concevoir et de réaliser " Un démonstrateur automatique de la cohérence d'une base de connaissance d'un system expert. Ce qui nous a permis d'acquérir de nouvelles connaissance sur les system expert ainsi la résolution propositionnelle.
De plus, ce projet nous a permis d'étendre nos connaissance dans le monde de la programmation orienté objet et de nous familiariser avec le langage JAVA Eclips.
Nous pensons également que l'objectif fixé est atteint. Et nous souhaitons que ce travail serve de support d'aide pour ceux qui conçoit les systèmes experts. | | En ligne : | D:\CD.THESE.INF\CD.LIC.INF.2010\NAIT CHERIF.SOFIA-OUAGUENOUNI.NACERA.PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=31417 |
Prouver : Démonstrateur automatique pour la cohérence d'une base de connaissance d'un système expert. [theses et memoires] / Sofia Nait-Cherif ; Ouaguenouni Nacera ; S. Khemliche, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2010 . - 65p. : ill. ; 28cm. Bibliogr. Langues : Français | Mots-clés : | Base de Connaissance | | Résumé : | Il existe plusieurs définitions de (IA) car il est presque impossible de cerner en une seule définition toute la richesse ouverte par ce domaine.
L'IA est le domaine d'informatique qui effectue des traitements symboliques et emploie des méthodes non algorithmiques.
L'IA s'efforce de créer des machines telles que les ordinateurs capables d'un comportement intelligent, c'est-à -dire un comportement qui pourrait raisonnablement passer pour intelligent si on l'observait chez des êtres humains. Aptitude à comprendre le langage naturel et aptitude à raisonner sont deux clés de voûtes de l'intelligence. Elles représentent chacune un domaine de recherche principal pour " IA ".
En informatique classique, la résolution d'un problème se fait en utilisant la méthode appropriée, traduite sous forme d'algorithmes afin d'obtenir une solution du problème posé, à l'inverse, dans les domaines qu'explore l'IA, l'ordinateur se charge des tâches intellectuelles de l'homme pour lesquelles l'existence même d'une solution n'est pas toujours certaine.
L'IA a suscité un rôle majeur dans les diverses applications professionnelles telles que :
¢ Reconnaissance de la parole ;
¢ Reconnaissance des formes ;
¢ L'enseignement assisté par ordinateur ;
¢ Les systèmes experts (SE).
C'était au milieu des années 70 que le (SE) a vu le jour, cette importante application de l'IA a secoué l'informatique classique par sa possibilité de traiter l'informatisation de quelques facultés intellectuelles telles que : diagnostic médical, régulation d'échange boursiers, prescription thérapeutique,…etc.
A titre d'exemple des systèmes experts, on cite :
" " MYCIN " proposé par E. SHORTLIFFE (1974), ce système est expert en diagnostic des infections bactériennes du sang.
" " SOPHIE " (UNIVERSITE DE STANFORD USA, 1975), c'est un système expert d'aide à l'enseignement assisté par ordinateur de la détection des pannes dans un circuit électronique.
Mais pour un fonctionnement meilleur et sûr d'un (SE), la base de connaissance saisie par l'expert doit être cohérente et sans contradiction. Pour cela, dans notre projet, nous essayerons de réaliser un logiciel qui permettra de vérifier la cohérence de la base faits et règles (la base de connaissance) et cela en s'appuyant sur la logique propositionnelle et la réfutation .
Notre travail sera réparti sous la forme de plusieurs chapitres pour garantir une présentation claire et précise de notre projet. En voici le plan :
Chapitre 1 :
- Généralités sur les systèmes experts
- Logique propositionnelle
- Problématique
Chapitre 2 : Conception de notre prouver
Chapitre 3 : Implémentation et réalisation de notre prouver.
L'objectif recherché dans notre travail est la mise au point d'un logiciel qui, à partir d'un ensemble de faits et règles décrivant un cas réel du domaine précis on applique la résolution propositionnelle (réfutation) a fin de vérifier la cohérence de notre base de connaissance pour un résultat sur et non contradictoire des déductions de nouveau faits à la manière d'un expert humain.
Apres introduction des faits et règles par l utilisateur et après validation celui-ci est capable de parcourir ces faits et règles et nous renvoyer les cas ou ya contradiction
Exemple : l'existence de q et non q dans la base de fait => contradiction
A terme de notre travail, nous avons apprécié l'intérêt de concevoir et de réaliser " Un démonstrateur automatique de la cohérence d'une base de connaissance d'un system expert. Ce qui nous a permis d'acquérir de nouvelles connaissance sur les system expert ainsi la résolution propositionnelle.
De plus, ce projet nous a permis d'étendre nos connaissance dans le monde de la programmation orienté objet et de nous familiariser avec le langage JAVA Eclips.
Nous pensons également que l'objectif fixé est atteint. Et nous souhaitons que ce travail serve de support d'aide pour ceux qui conçoit les systèmes experts. | | En ligne : | D:\CD.THESE.INF\CD.LIC.INF.2010\NAIT CHERIF.SOFIA-OUAGUENOUNI.NACERA.PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=31417 |
|
Prouver (2010) 
