一种约简动作变元的命题规划编码方式
Journal Title: Science Paper Online - Year 2010, Vol 5, Issue 2
Abstract
依据基于动作的编码方式，提出一种基于约简动作变元的自动命题规划编码方式：基于命题的编码方式。首先分析构造新编码方式的理论依据，提出基于命题的编码方式的编码组成，证明其有效性，并描述某些公理的具体实现细节，最后分析其与已有几种编码方式的不同之处。在SATPLAN2006规划系统中实现了基于命题的编码方式，利用国际规划竞赛选用的Benchmark问题予以测试，分析其与基于动作的编码方式等2种极端的编码方式的求解特性。实验结果表明：对于顺序规划问题域，基于命题的编码方式更有效；对于并发规划问题域，基于动作的编码方式更有效。
Authors and Affiliations
Shuai Lu, Lei Liu, Hong Jiang
Keywords
Related Articles
- EP ID EP129192
- DOI -
- Views 135
- Downloads 0
Hydrolysis of cassava dregs with dilute sulphuric acid and its application for immobilized butyric acid fermentation
Hydrolysis of cassava dregs with dilute sulphuric acid and its application for immobilized butyric acid fermentation
Combining H∞ and disturbance-observer-based control for a class of uncertain nonlinear systems with neural term
The disturbance rejection and attenuation problem is investigated for a class of uncertain nonlinear systems with neutral-term via the combined H∞ control and disturbance‐observer‐based control. The unknown external dist...
Hurt mechanism and preventions for overload of asphalt pavement highway of soft soil roadbed
[b]To find out the characteristics of overloaded freight, an axle load survey on the representative highways in the delta of Yangtze River is made. On the basis of its result，the design process of heavy duty pavement is...
The analysis, extension and application of JSON-RPC protocol
This thesis starts with the conception of Middleware technology, and introduces a new lightweight data-interchange format, JSON (JavaScript Object Notation) and a remote procedure call protocol JSON-RPC using JSON as the...
含氮二元系中氮气逸度的研究
由于氮气的逸度-压力关系式存在适用的高压极限，而且不同温度下的高压极限也不同。当压力高于极限值时，需要对氮气逸度表达式进行修正。本文根据氮气的逸度与温度和压力所构成的函数关系，从数学角度提出了文献中报导的氮气逸度与温度和...