基于派生谓词的STRIPS 领域知识提取策略
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金(60773201, 60970042)


Strategy of Extracting Domain Knowledge for STRIPS World Based on Derived Predicates
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    Domain knowledge acquisition is essential in the AI planning. Derived rule is a representation to the domain knowledge based on logical reasoning. On the basis of the action model and derived rules analysis, this paper proposes a strategy of extracting domain knowledge for STRIPS world based on derived predicates and the algorithm GetDomainRule for the strategy. The domain rules extracted by the algorithm are used to reduce the logical deduction of derived rules, enhancing the efficiency of the planning. For any domain, the mutex properties of any domain can be obtained between predicates from the domain rules, applied in judging the inconsistent planning state. Finally, the strategy proposed in this paper is embedded in the planner StepByStep and experiments are conducted to extract domain rules. Experimental results show the feasibility and validity of the algorithm GetDomainRule, and the domain rules extracted by the algorithm express the causal relations between predicates directly, providing reliable domain knowledge for determining the true values of derived predicates and the following planning.

    参考文献
    相似文献
    引证文献
引用本文

边芮,姜云飞,吴向军,梁瑞仕.基于派生谓词的STRIPS 领域知识提取策略.软件学报,2011,22(1):57-70

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2008-12-10
  • 最后修改日期:2009-08-28
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号