 |
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.
- Autre
