首页> 外文OA文献 >SLDNFA: An abductive procedure for abductive logic programs
【2h】

SLDNFA: An abductive procedure for abductive logic programs

机译:SLDNFA:引发逻辑程序的引发过程

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

We present SLDNFA, an extension of SLDNF resolution for abductive reasoning an abductive logic programs. SLDNFA solves the floundering abduction problem: nonground abductive atoms can be selected, SLDNFA also provides a partial solution for the floundering negation problem. Different abductive answers can be derived from an SLDNFA refutation; these answers provide different compromises between generality and comprehensibility. Two extensions of SLDNFA are proposed that satisfy stronger completeness results. The soundness of SLDNFA and its extensions is proved. Their completeness for minimal solutions with respect to implication, cardinality, and set inclusion is investigated. The formalization of SLDNFA presented here is an update of an older version and does not rely on skolemization of abductive atoms. (C) Elsevier Science Inc., 1998.
机译:我们提出SLDNFA,这是SLDNF解析度的扩展,用于归纳推理和归纳逻辑程序。 SLDNFA解决了比目鱼绑架问题:可以选择非研磨的绑架原子,SLDNFA还为比目鱼否定问题提供了部分解决方案。可以从SLDNFA反驳中得出不同的归纳答案。这些答案在一般性和可理解性之间提供了不同的折衷方案。提出了SLDNFA的两个扩展,它们满足更强的完整性结果。证明了SLDNFA及其扩展的健全性。研究了它们对于蕴涵,基数和集合包含的最小解的完整性。这里显示的SLDNFA的形式化是对旧版本的更新,并且不依赖于外展原子的仿射。 (C)爱思唯尔科学公司,1998年。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号