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

摘要：

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

关键词：条件规划、不确定性规划、量化布尔公式、编码

所属期刊栏目：37

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金60603031,60773097,60873044,60873148;高等学校博士学科点专项科研基金20060183044,20070183057

在线出版日期：2011-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：252-256,281