10.3969/j.issn.2095-2783.2010.02.011
一种约简动作变元的命题规划编码方式
依据基于动作的编码方式,提出一种基于约筒动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006规划系统中实现了基于命题的编码方式,利用国际规划竞赛选用的Benchmark问题予以测试,分析其与基于动作的编码方式等2种极端的编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效;对于并发规划问题域,基于动作的编码方式更有效.
智能规划、基于可满足性的规划、基于动作的编码、基于命题的编码、自动编码、公理
5
TP181(自动化基础理论)
国家自然科学基金60603031,60773097,60873044;高等学校博士学科点专项科研基金20060183044,20070183057
2010-04-26（万方平台首次上网日期，不代表论文的发表时间）
共7页
138-144
