Projet réalisé dans le cadre de la SAE Algorithmique et Logique – Licence Informatique 1ère année.
Le General Problem Solver (GPS) est un programme capable de résoudre automatiquement des problèmes logiques à l’aide d’un moteur de raisonnement basé sur des règles.
Inspiré des travaux de Newell, Simon et Shaw (1959), ce projet vise à reproduire une version simplifiée du GPS en langage C.
L’objectif du projet est de créer un système capable :
- de lire un ensemble de règles logiques depuis un fichier texte,
- d’appliquer un raisonnement pour atteindre un objectif donné,
- et d’explorer différentes solutions possibles grâce au backtracking.