Système expert Prolog

Bonjour tout le monde,

Pour mon projet j'ai besoin d'implémenter un système expert en prolog. J'ai choisi d'utiliser la librairies TuProlog car mon application tourne sur JAVA, et j'ai des informations que je doit récupérer pour le système expert qu'en JAVA.

Bref, mon problème est que je doit implémenter aussi un module d'explication (pour permettre de connaitre les raisonnement suivis pour arriver au résultats) mais je n'arrive pas à trouver comment, la seule solution qui me parait faisable est de ré-implémenter le moteur d'inférence de prolog et d'ajouter des règles pour garder trace des règles déja appliqué, mais cette solution est difficile et si vous pouviez me conseillez une autre méthodes car tout est déja implémenté il ne reste que ce module d'explication.

Merci.

En quoi consiste le explications ? Dire pourquoi telle regle a été ajoutée ?
Il suffit d'ajouter la regle et ses prémisses au moment où elles sont appliquées dans une liste, si c'est ça, je ne vois pas où est le problème.

L'explication consiste à obtenir la liste des règles appliqués dans le raisonnement pour arriver à une conclusion. Donc, comme je travaille sous JAVA avec le librairies (Tuprolog), je cherche obtenir les différents moyens pour obtenir cette explication. Pour ce qui est de la liste, j'ai pensé à cette méthode mais je ne suis pas arrivé à l'appliquer dans mon cas de figure.

Merci.

En supposant que liste_regles/1 serve a mémoriser les règles appliquées.
Au debut du programme, on peut faire un assert(liste_regles([])).
A chaque fois qu'une règle est sur le point d'être appliquée, on peut faire un

Code:

---

1 2	retract(liste_regles(LR)), assert(liste_regles([Regle_appliquee | LR))

---

Ensuite quand on voudra connaitre les regles appliquées dans le raisonnement, il suffit de faire liste_regles(LR) sachant que les règles sont dans l'ordre inverse de leur application.

Bonjour,

C'est juste pour dire que je suis finalement arriver à récupérer l’explication, en suivant le conseil de TRAP D, en stockant les règles dans une liste, et la récupérer à la fin de chaque raisonnement qui retourne un résultat.

Donc merci beaucoup pour votre aide.

Merci du feedback :ccool: