基于派生谓词的STRIPS领域知识提取策略

来源 :软件学报 | 被引量 : 0次 | 上传用户:loop000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
领域知识的获取是智能规划研究中的重要内容之一.派生规则是一种基于逻辑推理的领域知识表示方法.在对动作模型和派生规则综合分析的基础上提出了基于派生谓词的STRIPS领域知识提取策略,并给出了该提取策略的算法描述.在规划求解过程中,利用提取所得的领域规则可减少派生规则的逻辑推导,从而提高规划效率.对任意一个规划领域,利用提取所得的领域规则可以分析出领域谓词之间的互斥关系,这种互斥关系可以对一类矛盾的规划状态进行判定.最后,把所提出的领域规则提取策略嵌入到规划器StepByStep之中进行了领域规则提取实验.实验结果验证了该提取算法的可行性和有效性,所提取出的领域规则能够直观地表达谓词间的因果关系,为派生谓词的真值判断和后续的规划求解提供了可靠的领域知识.
其他文献
本文简单介绍了上转换材料的大致发展历史和形成上转换发光的 4种机理。综述了上转换激光和发光材料的一些体系 ,并就基质材料 ,敏化发光以及单一波长和双波长泵浦对发光的影
在我国机械制造技术快速提升的背景下,为冶金行业的发展提供了先进的冶金设备。随着冶金设备性能的提升,自身结构也更加复杂,为冶金设备的维修养护带来了一定的难度。所以应
提出了谓词之间的一种相似关系,并用该相似关系得到可实现某谓词的动作集.利用该动作集中所有动作的公共前提谓词和公共效果谓词,提取出隐含在动作描述中的领域知识,并给出了
通过《重叠问题》的教学设计,应用多媒体课件,让学生亲历集合图的产生过程,化抽象为直观,调动了学生的课堂参与意识,使课堂成为学生的学习乐园和展示信心的舞台。
中国特色社会主义理论体系作为当代马克思主义中国化的最新成果,无论是从马克思主义中国化、探索中国特色社会主义道路、我国改革开放的历史进程,以及从社会主义核心价值观的
<正>来自上海同济大学医学院的博导左为带来的"成体干细胞与器官再生医疗"项目获得一等奖。左为团队主要成员由4名海归博士组成,他们发明了全球领先的"成体干细胞分离、扩增"
【正】 近年来,国内学术界关于中国封建主义的研究日趋活跃,在广度和深度上都超过了以往任何时期。为了推动这一研究的进展,《历史研究》编辑部和《晋阳学刊》编辑部,于六月
智能规划器是智能规划研究成果的重要表现形式,规划器的求解效率和规划质量是智能规划理论研究的直接反映.首先介绍智能规划器的一般结构和StepByStep规划器的总体结构,然后
DNA序列数据是一类重要的生物数据.研究DNA序列数据解读其含义是后基因组时代的主要研究任务.数据挖掘是目前最有效的数据分析手段之一,用于发现大量数据所隐含的各种规律,也
1.问题EXA-6000(6m&#215;18m)水下等离子数控切割机,所用系统NCE2000,氧气等离子,采用空气保护,液体循环冷却。由于机床负荷量大,昼夜连续工作及多年使用,冷却通路以极细的管状形态呈