Generating Abstraction Hierarchies

Presents a completely automated approach to generating abstractions for problem-solving. This is done using a tractable, domain-independent algorithm whose input is the definition of a problem space and the problem to be solved, and whose output is an abstraction hierarchy tailored to that problem.