【摘 要】
：
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变
论文部分内容阅读
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.
其他文献
A new method to extract person-independent expression feature based on higher-order singular value decomposition (HOSVD) is proposed for facial expression recog
This paper has successfully addressed three critical but overlooked issues in nonlocal elastic stress field theory for nanobeams: (i) why does the presence of i
A series of Al-8.2Zn-2.1Mg-2.3Cu based as-cast alloys and some plates with thickness of 4 mm containing minor Sc and Zr were prepared. The effect of joint addit
针对当前互联网上流行的逢低买入拍卖机制,利用分布式ElGamal加密方案的同态引理在半诚实模型下设计了一个不使用拍卖行的拍卖协议,使买家在不泄露各自信息的情况下共同计算
省级电网和地区电网是国内分级调度体制中重要的两级电网,对省地两级电网安全稳定防御的协调性提出了更高要求。紧密结合电网运行的实际需要和电网发展趋势,阐述了省地两级电
最近几年中,领导理论研究的一个越来越明显的趋势,是对魅力型领导的研究焦点已转移到情绪智力的引入上.但是将下属情绪智力作为调节变量引入到魅力型领导行为而深入到中国企
针对视觉选择性注意模型化计算过程中不同特征在整合阶段的权值判定,提出一种基于特征图分布的权值估计方法,并在静态图像显著性区域提取中取得了令人满意的应用效果.首先提
This study focuses on revealing the relationship between uncertainty and investment probability through real option model involving investment critical trigger