SUFFICIENT CONDITIONS FOR SUCCESS OF GPS

被引：10

作者：

ERNST, GW

机构：

[1] Case Western Reserve University, Computer Engineering Division, Cleveland, Ohio

来源：

JOURNAL OF THE ACM | 1969年 / 16卷 / 04期

关键词：

D O I：

10.1145/321541.321542

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. © 1969, ACM. All rights reserved.

引用

页码：517 / &