ABTWEAK: Abstracting a Non-Linear Least Commitment Planner
Qiang Yang, Josh Tenenberg · 1990
We present the system AbTweak, which extends the precondition-elimination abstraction of Abstrips to hierarchical planners using the nonlinear plan representation as de ned in Tweak. We show that AbTweak satis es the monotonic property, whereby the existence of a lowest level solution implies the existence of a highest level solution that is structurally similar to. This property enables one to prune a considerable amount of the search space without loss of completeness. Abstracting Planning Systems Abstraction in planning systems can be viewed as a mapping from one problem description (at a concrete level) to another(at the abstract level). There has been a considerable amount of research recently in formalizing intuitions regarding abstraction and the hierarchical problem solving strategies that abstraction gives rise to [Fikes et al., 1972, Knoblock, 1989,