Accession Number : AD0726666

Title :   A Program That Generates Good Difference Orderings for GPS,

Corporate Author : CASE WESTERN RESERVE UNIV CLEVELAND OHIO SYSTEMS RESEARCH CENTER

Personal Author(s) : Eavarone,Daniel S.

Report Date : NOV 1969

Pagination or Media Count : 133

Abstract : The General Problem Solver (GPS) must be given differences, a difference ordering and a table-of-connections before it can attempt to solve a problem. Although this information is problem dependent, it is not part of the specification of the problem. Instead, giving GPS such information is a means of giving GPS hints about the nature of the problem. This report describes a program that generates a 'good' difference ordering and table of connections from the specification of the problem and the differences that are to be used. The table-of-connections differentiates between local and global relevance. Good difference orderings and table of connections are defined to be those that result in a triangular table of connections. This definition of good seems to correspond to one's initiative notions of good because the program produce difference ordering and tables-of-connections for Logic and the Tower of Hanoi that were very similar to those that were produced manually and given to GPS. These two problems were selected as examples because (1) they have been given to GPS and (2) out of the dozen problems that have been given to GPS differences turned out to be most useful in solving these two problems. (Author)

Descriptors :   (*COMPUTER PROGRAMMING, PROBLEM SOLVING), (*MATHEMATICAL LOGIC, THEOREMS), ARTIFICIAL INTELLIGENCE, LEARNING MACHINES, DECISION MAKING

Subject Categories : Theoretical Mathematics
      Computer Programming and Software
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE