Conditional Planning Encodings Based on Quantified Boolean Formulas
Shuai Lü · 2010
This paper introduced the conditional planning problems and their associated planners,and analyzed logic based encoding methods.By analyzing translation based planning methods,whose targets are quantified boolean formulas,it introduced three different forms of quantified boolean formula encodings.Finally,it compared the above encodings,analyzed their respective advantages and disadvantages of two different translation mode based on propositional logic formulas and quantified boolean formulas,and then discussed the future research directions and trends on planning methods based on quantified boolean formulas.