Stanford Research Institute Problem Solver
Planificador automatizado que intenta encontrar una secuencia de operadores en un espacio de estados para transformar un determinado estado inicial en un estado en el que pueda demostrarse que un determinado objetivo es cierto. Fue desarrollado por Richard Fikes y Nils Nilsson en 1971. La versión inicial se programó con LISP en un PDP-10.