【摘 要】
：
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变
【机 构】
：
吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
论文部分内容阅读
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式：基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编
其他文献
This paper analyzes the characteristics of the IELTS Speaking Test against the requirements for effective testing in Bachman and Palmer’s(1996) test usefulness
诚信是中华民族的传统美德,是大学生追求的永恒主题。对大学生进行诚信教育,构筑新时期大学生诚信教育体系,提高大学生诚信品德是当前高等院校十分迫切和重要的工作。
为进一步了解岷江水质污染趋势,应用季节性Kendall检验法对岷江干流5个监测断面20092014年的典型水质指标(CODCr、BOD5、TP、NH3-N)监测数据进行趋势分析。结果表明岷江中下
本文讨论了高效液相色谱的特点,介绍了高效液相色谱的流程和设备,并对其发展做了展望。
针对智慧校园建设需求,结合现行高校教学资源平台的现状与存在的问题,文章解读了云计算与解决高校教学资源建设问题的方式,设计了基于云计算的高校智慧教学资源平台环境模型,
<正>本书以"文化经济学"的视角解读什么是"一带一路",纠正了对"一带一路"的错误认知,解答了怎样的城市和企业对"一带一路"沿线国家有吸引力等具体问题,并指出"一带一路"在经