Control knowledge in planning: benefits and tradeoffs

  • Authors:

  • Yi-Cheng Huang;Bart Selman;Henry Kautz

  • Affiliations:

  • -;-;-

  • Venue:
  • AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

Recent new planning paradigms, such as Graphplan and Satplan, have been shown to outperform more traditional domain-independent planners. An interesting aspect of these planners is that they do not incorporate domain specific control knowledge, but instead rely on efficient graph-based or propositional representations and advanced search techniques. An alternative approach has been proposed in the TLPlan system. TLPlan is an example of a powerful planner incorporating declarative control specified in temporal logic formulas. We show how these control rules can be parsed into Satplan. Our empirical results show up to an order of magnitude speed up. We also provide a detailed comparison with TLPlan, and show how the search strategies in TLPlan lead to efficient plans in terms of the number of actions but with little or no parallelism. The Satplan and Graphplan formalisms on the other hand do find highly parallel plans, but are less effective in sequential domains. Our results enhance our understanding of the various tradeoffs in planning technology, and extend earlier work on control knowledge in the Satplan framework by Ernst et al. (1997) and Kautz and Selman (1998).