A Program That Generates Good Difference Orderings for GPS,
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1969
- Accession Number
- AD0726666
Entities
People
- Daniel S. Eavarone
Organizations
- Case Western Reserve University