El "General Problem Solver" (GPS), en español "Solucionador General de Problemas", es un programa de ordenador creado en 1957 por Herbert Simon, J. C. Shaw, y Allen Newell con el objetivo de construir una máquina capaz de resolver problemas de carácter general. Cualquier problema simbólico formal puede ser resuelto, en principio, por el GPS. Por ejemplo: probar teoremas, resolver problemas geométricos....
