一种约简动作变元的命题规划编码方式
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 98
- Downloads 0
Research on Zr isotopes in the relativistic mean field theory
Shell model-Like Approach(SLAP) is adopted to treat the pairing correlations in the framework of relativistic mean-field theory. The formalism and numerical techniques are presented in details for the Zr isotopes. The bi...
Kinetics models of Fischer-Tropsch synthesis<br /> on the cobalt-based catalyst<br />
The activated phases were Co for the cobalt-based catalyst. The production of CO2 was trace, the reaction for the water gas shift was ignored. Formed hydrocarbon reaction was the main reaction of Fischer-Tropsch synthesi...
Controlling factors of treatment of high-strength ammonia wastewater by immobilized microorganism
The effects of DO, pH, HRT and influent ammonia concentration on nitrification were investigated in order to determine the optimal conditions for ammonia removal of synthetic wastewater with high strength ammonia in an i...
Synthesis of asymmetrical phthalocyanines
Synthetic methods of asymmetrical phthalocyanines have been reviewed. It contained the synthesis of 3:1 A3B and 2:2 A2B2 phthalocyanines.
Synthesis and characterization of siloxyphenyl porphyrins
In this paper, three new porphyrin derivatives are synthesized by modification of tetrahydroxylphenylporphyrin with chlorotrimethylsilane, chlorodimethylvinylsilane and chloro (methyl) diphenylsilane. The products were c...