【摘 要】
：
条件效果是智能规划处理更具解释性动作描述语言中最难解决的一种类型.如何扩展当前已有的规划算法,使之具有处理包含条件效果的动作描述语言的能力成为了智能规划领域中的研
论文部分内容阅读
条件效果是智能规划处理更具解释性动作描述语言中最难解决的一种类型.如何扩展当前已有的规划算法,使之具有处理包含条件效果的动作描述语言的能力成为了智能规划领域中的研究热点之一.文章针对一个高效规划器FFv2.3在条件效果处理中存在的不足做了一些改进,提出了一个新的条件效果处理方法CEFF.主要的改进措施有以下两点:(1)引入因子扩展法的思想将动作划分为组件,以提高对条件效果的处理效率;(2)在进行启发式估值的图扩展过程中增加对两元互斥关系的判断,以避免大部分dead-end状态.因此,CEFF的实用性较FF
其他文献
分布估计算法由于其较强的理论基础已成为进化计算研究的新热点.从卡尔曼滤波的角度来看,它的作用实际上是一个递归滤波器,但作用在一个种群上的分布估计算法相当于只有一个
作者提出三类新的来自双线性配对的涉及多个签名人的代理签名体制.第一类称为代理多签名体制,它允许一组原始签名人授权给一个代理签名人来代表他们;第二类称为多代理签名体
提出隐式曲面的光顺问题 .针对该问题 ,给出刻画隐式曲面光顺程度的能量模型 ,并将能量解释为关于隐函数的泛函 .基于变分原理 ,构造出隐函数关于时间的偏微分方程 ,通过求解该方程得到隐函数序列 ,使得光顺能量逐渐变小 ,从而达到光顺隐式曲面的目的 .另外 ,针对光顺问题提出的其它约束条件 ,如尽可能保持面积不变 ,保持原有的形状特征等 ,对模型进行修正 .最后 ,给出方程的实用解法及实验结果 ,并
互联网资源的利用率无论在时间上,还是空间上都存在极度的不均.在不干扰用户工作的前提下,充分利用互联网上闲置的资源,解决大规模的科学计算,具有极其重要的意义.文章在前期
网络服务器过载问题已经成为日益关注的问题,过载会引起服务器系统性能急剧下降,客户请求长时间得不到响应.国内外已经提出很多有关网络服务器过载的解决方案,其中,比较有效
提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法,并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议验证等领域.