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

论文发布时间：[2010-03-17] 范文大全编辑：Voive.net

所有作者：吕帅刘磊江鸿史晶晶

作者单位：吉林大学计算机科学与技术学院

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

关键词：智能规划基于可满足性的规划基于动作的编码基于命题的编码自动编码公理

免费下载《一种约简动作变元的命题规划编码方式》PDF全文（已停止下载）
　　本站“论文下载”文章收集整理于“中国科技论文在线”，由于各种原因，本站已暂停论文下载！请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载！

〖返回计算机科学论文列表〗

下一篇：4种典型口音普通话的共振峰分析