General Problem Solver

Le General Problem Solver (GPS) est un programme informatique créé en 1959 par Herbert Simon, Cliff Shaw et Allen Newell dans le but de construire un solveur de problèmes universel . N'importe quel problème formalisé peut en principe être résolu par GPS, par exemple des preuves de théorèmes, des problèmes géométriques et des parties d'échecs. GPS était le premier programme à séparer sa base de données (tables) de sa stratégie de résolution de problèmes. GPS est implémenté dans le langage informatique IPL. Après la spécification des objets et les opérations applicables sur ces objets par l'utilisateur, GPS génère les heuristiques par une « confrontation moyens/fins » (means-ends analysis). Cette stratégie de résolution de problèmes est largement utilisée dans le domaine de l'intelligence artificielle. GPS a résolu des problèmes simples et facilement formalisés comme les tours de Hanoï. Pour les problèmes plus réalistes il est facilement victime de l'explosion combinatoire. Le paradigme GPS a évolué vers l'architecture Soar.