马克·德内克;丹尼·德·施雷耶 SLDNFA：诱拐逻辑程序的诱拐过程。 （英语） Zbl 0905.68025号 J.日志。程序。 34，第2期，111-167（1998）. 摘要：我们提出了SLDNFA，它是SLDNF解决方案的一个扩展，用于对溯因逻辑程序进行溯因推理。SLDNFA解决了费解的外展问题：可以选择非圆外展原子。SLDNFA也为艰难的否定问题提供了部分解决方案。从SLDNFA的反驳中可以得出不同的诱拐性答案；这些答案在一般性和可理解性之间提供了不同的折衷。提出了SLDNFA的两个扩展，它们满足更强的完备性结果。证明了SLDNFA及其扩展的合理性。研究了它们关于蕴涵、基数和集合包含的极小解的完备性。这里介绍的SLDNFA的形式化是对旧版本的更新，不依赖于诱拐原子的skolemization。 引用于15文件 MSC公司： 68N17号 逻辑编程 关键词：诱因推理;诱因逻辑程序 软件：萨奇莫 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}和\textit{D.De Schreye}，J.Log。程序。34，编号2，111--167（1998；Zbl 0905.68025） 全文： 内政部