1. Test de cohérence des données pour un système expert d'aide au diagnostic de pannes
- Author
-
Karaouzene, Zoheir, Cheikh, Abdelmajid, and Sciencesconf.org, CCSD
- Subjects
Problèmes SAT ,Algorithme DPLL ,Diagnostic de pannes ,Base de connaissances ,[SPI.OTHER] Engineering Sciences [physics]/Other ,Système expert - Abstract
Les systèmes d'aide au diagnostic de pannes matériels qui sont généralement des systèmes experts, permettent d'accélérer l'identification d'une panne donc de l'éviter ou de minimiser les dégâts matériels et humains. La plupart des recherches se sont focalisées uniquement sur la partie décision, mais la cohérence de la base de connaissance est un sujet important pour faire un raisonnement logique et valide, car les problèmes de l'incohérence peuvent donner des résultats incorrects ou des contradictions internes. Afin de remédier à de telles situations, nous proposons une méthode pour la vérification de la cohérence des données. Cette méthode utilise une approche de l'intelligence artificielle pour transformer le problème de test de cohérence en un problème de satisfiabilité (SAT). La mise en oeuvre de la méthode proposée est réalisée à l'aide d'une adaptation de l'algorithme DPLL qui a été testée sur un cas réel dont les données sont fournies par une minoterie. Les résultats semblaient logiques et très encourageants.
- Published
- 2015