灵活图规划框架下的时序规划算法研究

来源 :东北师范大学 | 被引量 : 0次 | 上传用户:liongliong519
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
智能规划是人工智能的重要研究领域之一。1995年Blum和Furst提出了一种基于规划图的快速规划方法——图规划,第一次采用图的方式来解决规划问题,在智能规划领域中取得了革命性进展。灵活图规划(FGP)采用了图规划中图扩张与逆向解搜索结合的求解方式,在此基础上,引入了命题真值度和目标满意度的概念,打破了图规划中严格的约束限制。每个问题中,约束与问题目标各对应一个数值来表示其重要程度,通过这些数值计算出灵活规划的满意度,从而来衡量一个规划的质量优劣。解决问题时,灵活规划器产生满意度不同的多个规划,用户可以根据自己实际情况的需要来选择规划解。但灵活图规划中的动作为瞬时动作,规划器无法处理规划领域定义语言PDDL2.1中所定义的持续操作,即无法产生时序规划。本文提出了路径图和可移动动作的概念,并提出了一种算法,能够解决带有持续动作的灵活规划问题。其基本过程是先通过灵活规划图扩张与逆向解搜索结合的方法求解出由瞬时动作组成的灵活规划解,再从灵活规划图中提取出包含灵活规划解的路径图。通过时序压缩算法对灵活规划解中动作的性质进行分析,找出可移动动作,使此类动作与其它层次动作并行以缩短规划执行时间。同时分析前后层动作之间的关系,为存在因果关系和互斥关系的动作设置时序约束条件。对动作的起止时间进行赋值,使其满足所有约束,从而获得灵活时序规划解。灵活图规划框架下的灵活时序规划算法,拓展了解决问题的范围,具有处理持续动作和生成灵活时序规划的能力,使生成的规划解在时间上更加合理。本文用Java语言在eclipse平台下对算法进行了实现,并对“logistics”域的问题进行了实验,实验结果表明灵活时序规划算法能够比较快速有效地处理持续动作,生成灵活时序规划解。带有持续动作的灵活规划问题得到解决,将使灵活规划问题更加准确地描述及解决现实世界中的问题。灵活图规划是一个较新的研究领域,虽然灵活图规划是国内外研究的热点,但目前国内外还没有关于怎样在灵活规划框架下处理持续动作的研究。所以本文的研究工作在理论上具有很高的学术价值;而且在实际的应用中,也将会有很好的应用前景。
其他文献
安全协议提供安全服务,是保证网络安全的基础。近年来,安全协议越来越多地用于保护因特网上传输的各种交易,保护针对计算机系统的访问。由于验证安全协议自身的安全性是十分困难
DNA指纹技术的出现,给种质鉴定带来了革命性的变化,由于它直接反映DNA水平上的差异,具有高度的专一性和特异性,不同物种、同一物种不同品种所得DNA指纹各异,就像人类的指纹一
本文研究的主要内容是基于椭圆曲线的无可信中心的(t,n)门限群签名方案及其在移动Ad Hoc网络中的应用。本文在一种改进的椭圆曲线数字签名算法的基础上,采用Shamir门限秘密共
随着社会经济的快速发展和人民生活水平的大幅度改善,产业规模和经营领域的扩张使餐饮企业之间的竞争状况变得日趋激烈。虽然通过扩大店面规模,可以取得更多的效益,但是忽略
人工免疫算法(Artificial Immune Algorithm,AIA)是在生物免疫系统理论的基础上发展起来的一种新型的智能化搜索算法。AIA具有学习、记忆、自适应等特点,在全局快速查找最优解
随着信息技术的发展,信息网络的基础性、全局性作用日益增强,企业信息化程度逐渐加深,已发展至高级应用阶段,内网规模日益加大,应用及数据的安全性、业务连续性要求越来越高
生物的遗传物质随着进化而改变,相对于单个基因或少数几个基因组成的基因块的点变化,越来越多的研究更加关注基因组水平的较大变化。基因组重排是生物分子进化的一种重要模式
在当代的网络技术发展过程中,合理、高效地利用网络资源始终是网络研究领域里的一个热点方面。这是因为尽管现在硬件设备的容量和速度都是发展十分迅速的,但与人类社会发展过程
随着网络和多媒体技术的飞速发展,数字文化遗产再现技术工作日益深入。著名的秦阿房宫建筑一般仅仅是以古画和文史资料的形式呈现在我们面前,并不能让我们在真实的场景内任意漫
Ad Hoc组合QoS分层路由协议——Hi-ACQoS-TORA,是一种组合Qos路由算法。Hi-ACQoS-TORA建立在均匀、有效的分簇算法的基础之上,簇内使用蚁群算法完成多指标的QoS路由,簇间使用简