A SAT-based approach to cost-sensitive temporally expressive planning

  • Authors:
  • Qiang Lu;Ruoyun Huang;Yixin Chen;You Xu;Weixiong Zhang;Guoliang Chen

  • Affiliations:
  • University of Science and Technology of China and Washington University in St. Louis;Washington University in St. Louis;Washington University in St. Louis, St. Louis, MO;Washington University in St. Louis;Washington University in St. Louis;University of Science and Technology of China

  • Venue:
  • ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
  • Year:
  • 2014

Quantified Score

Hi-index 0.00

Visualization

Abstract

Complex features, such as temporal dependencies and numerical cost constraints, are hallmarks of real-world planning problems. In this article, we consider the challenging problem of cost-sensitive temporally expressive (CSTE) planning, which requires concurrency of durative actions and optimization of action costs. We first propose a scheme to translate a CSTE planning problem to a minimum cost (MinCost) satisfiability (SAT) problem and to integrate with a relaxed parallel planning semantics for handling true temporal expressiveness. Our scheme finds solution plans that optimize temporal makespan, and also minimize total action costs at the optimal makespan. We propose two approaches for solving MinCost SAT. The first is based on a transformation of a MinCost SAT problem to a weighted partial Max-SAT (WPMax-SAT), and the second, called BB-CDCL, is an integration of the branch-and-bound technique and the conflict driven clause learning (CDCL) method. We also develop a CSTE customized variable branching scheme for BB-CDCL which can significantly improve the search efficiency. Our experiments on the existing CSTE benchmark domains show that our planner compares favorably to the state-of-the-art temporally expressive planners in both efficiency and quality.