Constraint Based Planning with Composable Substate Graphs

  • Authors:

  • Peter Gregory;Derek Long;Maria Fox

  • Affiliations:

  • University of Strathclyde, Glasgow, UK, firstname.lastname@cis.strath.ac.uk;University of Strathclyde, Glasgow, UK, firstname.lastname@cis.strath.ac.uk;University of Strathclyde, Glasgow, UK, firstname.lastname@cis.strath.ac.uk

  • Venue:
  • Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Constraint satisfaction techniques provide powerful inference algorithms that can prune choices during search. Constraint-based approaches provide a useful complement to heuristic search optimal planners. We develop a constraint-based model for cost-optimal planning that uses global constraints to improve the inference in planning. The key novelty in our approach is in a transformation of the SAS+ input that adds a form of macro-action to fully connect chains of composable operators. This translation leads to the development of a natural dominance constraint on the new problem which we add to our constraint model. We provide empirical results to show that our planner, Constance, solves more instances than the current best constraint-based planners. We also demonstrate the power of our new dominance constraints in this representation.