Learning abstraction hierarchies for problem solving

The use of abstraction in problem solving is an effective approach to reducing search, but finding good abstractions is a difficult problem, even for people. This paper identifies a criterion for se-lecting useful abstractions, describes a tractable algorithm for generating them, and empirically demonstrates that the abstractions reduce search. The abstraction learner, called ALPINE, is inte-grated with the PRODIGY problem solver [Minton et ab., 1989b, Carbonell et al., 19901 and has been tested on large problem sets in multiple domains