A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Self-improvement in problem-solving
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
The case for a generalized graphic problem solver
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
A comparison of three problem-solving methods
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A theory for the complete mechanization of a GPS-type problem solver
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
A formal model of a problem is developed and its relationship to the General Problem Solver (GPS) is discussed. Before GPS can work on a problem it must be given differences, a difference-ordering, and a table of connections, in addition to the specifications of a problem. Formal definitions of this additional information are given, and sufficient conditions for the success of GPS are derived. These conditions point out the utility of differences and a difference-ordering that yield a “triangular” table of connections. Several different formulations of the Tower of Hanoi are given to illustrate the formal concepts. The use of subproblems in narrowing search is discussed.