Location of Repository

MAXSAT Heuristics for Cost Optimal Planning

By Lei Zhang and Fahiem Bacchus

Abstract

The cost of an optimal delete relaxed plan, known as h +, is a powerful admissible heuristic but is in general intractable to compute. In this paper we examine the problem of computing h + by encoding it as a MAXSAT problem. We develop a new encoding that utilizes constraint generation to support the computation of a sequence of increasing lower bounds on h +. We show a close connection between the computations performed by a recent approach for solving MAXSAT and a hitting set approach recently proposed for computing h +. Using this connection we observe that our MAXSAT computation can be initialized with a set of landmarks computed by LM-cut. By judicious use of MAXSAT solving along with a technique of lazy heuristic evaluation we obtain speedups for finding optimal plans over LM-cut on a number of domains. Our approach enables the exploitation of continued progress in MAXSAT solving, and also makes it possible to consider computing or approximating heuristics that are even more informed that h + by, for example, adding some information about deletes back into the encoding

Year: 2013
OAI identifier: oai:CiteSeerX.psu:10.1.1.363.6339
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.toronto.edu/~fba... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.