
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 tableofconnections 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 tableofconnections 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 tablesofconnections 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