Ce projet intervient dans le cadre de la réalisation d'un moteur d'inférence en LISP afin de comprendre et implémenter les fondement du raisonnnement déductif dans les Systèmes de Base de Connaissances (SBC).
Ce projet met en avant le fonctionnement des chaînages avant et arrière d'ordre 0 et 0+. Le processus d'inférence est effectué à partir de différentes bases de connaissances disponibles dans le fichier base.lisp.
Le moteur d'ordre 0 comprend les fonctionnalités suivantes :
- chaînage avant
- chaînage arrière
- heuristique avec le moins de prémisse valide
- heuristique avec le plus de prémisse valide
- heuristique de la première règle valide
Le moteur d'odre 0+ comprend les fonctionnalités suivantes :
- chaînage avant
- heuristique avec le moins de prémisse valide
- heuristique avec le plus de prémisse valide
- heuristique de la première règle valide
Le projet a été réalisé avec CLISP v2.49.
Utilisation :
clisp main.lisp
La documentation du projet est disponible au format PDF.