Affiliation:
1. Case Western Reserve University, Computer Engineering Division, Cleveland, Ohio
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference9 articles.
1. BANERJI R.B. Theory of Problem Solving. American Elsevier New York. (In press) BANERJI R.B. Theory of Problem Solving. American Elsevier New York. (In press)
2. CHURCH A. A note on the Entscheiduagsproblem. J. Symbol. Logic t (1936). CHURCH A. A note on the Entscheiduagsproblem. J. Symbol. Logic t (1936).
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献