ABTWEAK: abstracting a nonlinear, least commitment planner

  • Authors:
  • Qiang Yang;Josh D. Tenenberg

  • Affiliations:
  • Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada;Computer Science Department, University of Rochester, Rochester, New York

  • Venue:
  • AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present the system ABTWEAK, which extends the precondition-elimination abstraction of AB-STRIPS to hierarchical planners using the nonlinear plan representation as defined in TWEAK. We show that ABTWEAK satisfies the monotonic property, whereby the existence of a lowest level solution II implies the existence of a highest level solution that is structurally similar to II. This property enables one to prune a considerable amount of the search space without loss of completeness.