General Problem Solver

Por ejemplo: probar teoremas, resolver problemas geométricos, trabajar con lógica proposicional y jugar al ajedrez.Se basaba en el trabajo teórico previo de Simon y Newell sobre máquinas lógicas.Se implementó en el lenguaje de programación IPL (Information Processing Language).El paradigma GPS evolucionó hasta convertirse en la arquitectura simbólico-cognitiva SOAR (State Operator And Result).Simon y Newell proponen el ejemplo sobre cómo transformar la proposición lógica L1= R*(-P => Q) en L2=(Q \/ P)*R (Newell y Simon, 1972, página 420).