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

• 作者: 吴向军 姜云飞 梁瑞仕 边芮
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 智能规划 STRIPS 派生谓词 领域知识
• 年，卷（期）: 2011,（1）
• 页码范围: 57-70
• 分类号: TP181
• 字数: 13283字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.03726

摘要

领域知识的获取是智能规划研究中的重要内容之一.派生规则是一种基于逻辑推理的领域知识表示方法.在对动作模型和派生规则综合分析的基础上提出了基于派生谓词的STRIPS领域知识提取策略,并给出了该提取策略的算法描述.在规划求解过程中,利用提取所得的领域规则可减少派生规则的逻辑推导,从而提高规划效率.对任意一个规划领域,利用提取所得的领域规则可以分析出领域谓词之间的互斥关系,这种互斥关系可以对一类矛盾的规划状态进行判定.最后,把所提出的领域规则提取策略嵌入到规划器StepByStep之中进行了领域规则提取实验.实验结果验证了该提取算法的可行性和有效性,所提取出的领域规则能够直观地表达谓词间的因果关系,为派生谓词的真值判断和后续的规划求解提供了可靠的领域知识.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜云飞		8	107	5.0	8.0
2	吴向军	中山大学软件学院	13	156	7.0	12.0
3	边芮		8	18	3.0	3.0
7	梁瑞仕		1	4	1.0	1.0