General Problem Solver
The General Problem Solver ( GPS ) is a computer program created in 1957 by Herbert Simon and Allen Newell with an aim of building a resolvor of universal problem. Any formalized problem can, to in theory be solved by GPS, for example of the evidence of theorems, the geometrical problems and the parts of failure.
See too