【摘 要】
:
智能规划是人工智能领域一个非常活跃的研究分支。近十几年中,智能规划发展非常迅速,在规划问题的描述和问题求解两方面研究都取得了新的突破,但在求解大规模规划问题以及规划搜
论文部分内容阅读
智能规划是人工智能领域一个非常活跃的研究分支。近十几年中,智能规划发展非常迅速,在规划问题的描述和问题求解两方面研究都取得了新的突破,但在求解大规模规划问题以及规划搜索效率上,仍然有很多问题有待解决。本文从子目标排序和启发式搜索剪枝策略两方面出发,研究了提高规划问题求解效率的相关方法和技术,主要工作包括:
⑴子目标排序对划分和求解大规模复杂的规划问题具有重要意义。但现有的排序理论约束条件过于严格,对大部分的基准测试领域问题都不适用。本文提出了一种新的排序关系称为可纳子目标排序(ASO)。给出了可纳排序的形式化定义。随后,介绍了原子依赖关系理论和原子依赖图技术,给出了可纳排序关系成立的一个充分条件并给出了严格的证明过程。给出了一种多项式时间复杂度的算法用于近似计算可纳排序关系。通过在多个国际规划大赛基准测试领域问题上的实验,结果表明我们的方法能有效的求解各类大规模的规划问题,并能极大的改善规划性能。
⑵前向启发式搜索和放宽规划方法被很多领域无关的规划器所采用,被认为是一种有效的规划范型。FF规划器利用放宽规划图计算状态的启发式估值,并提取有利动作集合进行前向搜索的剪枝。本文提出了一种新的高质量的领域无关剪枝策略,该策略根据放宽规划图的动作层和命题层之间的关系,提取出所谓的直接效用动作集合,此集合之外的其它动作都被剪枝。直接效用动作集合比FF的有利动作集合更加精简且更具启发性,能指导前向搜索集中在那些离目标更近的状态。利用直接效用动作我们开发了一种新的lookahead搜索邻居,并应用在改进后的增强型爬山搜索算法,使得前向搜索具备良好的前瞻性。当增强型爬山法失败时,我们采取一种从局部极小值重启完备搜索的策略以保持系统完备性。通过对多个国际规划大赛基准问题的测试表明,基于该剪枝策略及前向搜索算法实现的前向规划系统有效的缩小了搜索空间,搜索的节点数目比FF的有利动作策略明显要少,搜索效率有显著的提升。
其他文献
由于互联网资源的“成长性”、“自治性”和“多样性”,传统的C/S模式的资源搜索方法逐渐不能满足发展需求。近年来,人们提出建立基于DHT(distributed Hash table)的对等网络实
虚拟化技术凭借充分利用宿主机资源、快速部署、高可用性等优势在企业中得到了广泛应用。近几年,随着企业信息化规模的不断扩大,虚拟服务器的部署规模也在不断扩大,相对于传
随着Wleb技术在互联网中发展,用户不再是简单地从网络中获取信息,而是采取更加主动的方式产生信息。由于用户数量的急剧增长,以用户为中心的信息产生模式,导致了互联网信息量
随着Web作为互联网上最重要的应用之一,它提供了便捷的文档发布和信息的获取,并且各地的信息资源聚集在互联网上,成为生活中不可缺少的一部分。根据官方资料的显示,在互联网
随着计算机应用的不断发展,人们对软件的高可靠性要求越来越高。形式化方法是基于数学和逻辑语言的精确性规格、验证,保证软件高可靠性的重要方法。模型检测是一种形式化的验
在现代市场经济中,公司的财务欺祚行为可谓层出不穷,对证券市场产生了巨大的冲击,引发了前所未有的信用危机。因此,对财务欺诈进行识别就显得尤为重要。利用数据挖掘中的分类技术,对公司财务数据进行分析、计算、处理,从数据中挖掘出蕴含其中的信息和规则,帮助投资者和会计师轻松应对各种复杂财务数据行为,具有较高的学术价值和广泛的应用前景。目前,面向财务欺诈识别的分类技术研究刚刚起步,现有分类方法直接应用于财务欺
随着社会信息化的迅速发展,信息资源数量的骤然增长、信息资源的异构性和动态性使得充分有效的使用这些浩海如烟的信息资源变得越来越困难,这时如果想要充分的利用这些网络资
虚拟植物(Virtual Plant)是指利用虚拟现实技术在计算机上模拟植物在三维空间中的生长发育过程,它是以植物个体或群体为对象,生成具有三维效果和可视化功能的计算机模型。它
模式匹配是计算机研究领域中一个重要的研究方向。随着互联网的普及和发展,模式匹配技术广泛应用于网络安全、搜索引擎以及生物计算等领域中。本文总结了当前模式匹配算法的
针对强化学习任务中存在的“维数灾”(即状态空间的大小随着特征数量的增加而发生指数级的增长)及收敛速度慢两个普遍且严重的问题,本文分别从奖赏函数、分层强化学习和函数