%0 Journal Article
%T 基于量化布尔公式的条件规划编码方式
%A 高冰冰
%A 张长海
%A 吕帅？
%J 计算机科学
%D 2010
%X 介绍条件规划问题及其相关的求解系统，着重分析以逻辑为基拙的编码方式。针对基于量化布尔公式的转换方法进行详细分析，给出3种不同形式的量化布尔公式编码。最后，对这3种编码进行比较，分析基于命题逻辑公式与量化布尔公式这两种不同转换方式的优劣，讨论基于量化布尔公式的规划方法未来的研究方向和发展趋势。
%K 条件规划
%K 不确定性规划
%K 量化布尔公式
%K 编码
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=101160&flag=1