Under-Approximation Refinement for Classical Planning


  • Manuel Heusner University of Basel
  • Martin Wehrle University of Basel
  • Florian Pommerening University of Basel
  • Malte Helmert University of Basel




A general and important problem of search-based planning techniques is the state explosion problem, which is usually tackled with approaches to reduce the branching factor of the planning task. Such approaches often implicitly exploit the observation that the number of available operators is higher than the number of operators that are actually needed to find a plan. In this paper, we propose a simple, but general under-approximation refinement framework for satisficing planning that explicitly exploits this observation. Our approach iteratively searches for plans with operator subsets, which are refined if necessary by adding operators that appear to be needed. Our evaluation shows that even a straight-forward instantiation of this framework yields a competitive planner that often finds plans with small operator sets.




How to Cite

Heusner, M., Wehrle, M., Pommerening, F., & Helmert, M. (2014). Under-Approximation Refinement for Classical Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 24(1), 365-369. https://doi.org/10.1609/icaps.v24i1.13678