Sciweavers

ECAI
2004
Springer

Evaluation Strategies for Planning as Satisfiability

13 years 7 months ago
Evaluation Strategies for Planning as Satisfiability
Abstract. We investigate different evaluation strategies for planning problems represented as constraint satisfaction or satisfiability problems. The standard evaluation strategy, evaluating the formulae by sequentially increasing the length one step at a time, guarantees that a plan corresponding to the first satisfiable formula is found first, yet this is often not the best possible strategy in terms of runtime. We present evaluation strategies based on parallel or interleaved evaluation of several formulae and show that with many problems this leads to substantially improved runtimes, sometimes several orders of magnitude. The cost of the improved runtimes is a possible decline in plan quality because an optimality guarantee of the standard evaluation strategy is lost.
Jussi Rintanen
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where ECAI
Authors Jussi Rintanen
Comments (0)