基于量化布尔公式的条件规划编码方式

Conditional Planning Encodings Based on Quantified Boolean Formulas

介绍条件规划问题及其相关的求解系统,着重分析以逻辑为基础的编码方式。针对基于量化布尔公式的转换方法进行详细分析,给出3种不同形式的量化布尔公式编码。最后,对这3种编码进行比较,分析基于命题逻辑公式与量化布尔公式这两种不同转换方式的优劣,讨论基于量化布尔公式的规划方法未来的研究方向和发展趋势。

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.