一种约简动作变元的命题规划编码方式
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.
智能规划、基于可满足性的规划、编码方式、可满足性、公理
47
TP181(自动化基础理论)
国家自然科学基金项目60773097,60873044,60803102;高等学校博士学科点专项科研基金项目20060183044,20070183057;符号计算与知识工程教育部重点实验室开放基金项目93K-17-2009-K02,93K-17-2009-K06
2010-11-11(万方平台首次上网日期,不代表论文的发表时间)
共8页
1756-1763