Résumé
Le but de ce projet est de programmer un moteur d'inférence en LISP et ainsi comprendre et implémenter les fondements du raisonnement déductif dans les SBC : « systèmes à base de connaissances ».
Sommaire:
I) PRESENTATION DU PROJET
A. Erreur dans l'annexe
B. Stratégie de contrôle
II) SPECIFICATION DES FONCTIONS
A. Fonction de lancement
B. Fonction pour la stratégie
III) LISTING DU PROJET
IV) JEUX D'ESSAI
A. Base de Winston
1. Chaînage Avant
2. Chaînage Arrière
B. Base personnelle
1. Chaînage Avant
2. Chaînage Arrière