一种约简动作变元的命题规划编码方式

摘要

依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式。首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处。在SATPLAN2006规划系统中实现了基于命题的编码方式,利用国际规划竞赛选用的Benchmark问题予以测试,分析其与基于动作的编码方式等2种极端的编码方式的求解特性。实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效;对于并发规划问题域,基于动作的编码方式更有效。