弗朗西斯科·里卡;沃尔夫冈·费伯;尼古拉·利昂 选言逻辑程序设计的一种回跳技术。 （英语） Zbl 1102.68433号 AI通讯。 19，第2期，155-172（2006）. 摘要：在这项工作中，我们提出了一种稳定模型语义（SDLP）下选言逻辑编程的回跳技术。它建立在最初为约束求解引入的相关技术之上，这些技术已被用于命题可满足性测试，最近也被用于稳定模型语义（SLP）下的非析取逻辑编程。我们关注无子句学习的回跳，为SDLP中的回跳提供了一个新的理论框架，阐述并利用了析取设置的特点。我们提出了一种推理演算和相关计算，与传统方法相比，它减少了要存储的信息，同时完全保持了回跳技术的正确性和效率，以良性的方式处理了析取的特定方面。我们在最先进的SDLP系统DLV中实现了所建议的技术。为了评估回跳的影响，我们在硬随机和结构化实例上进行了几个实验。为此，我们比较了不同版本的DLV：结合两个不同的启发式函数，使用和不使用本文描述的回跳方法。我们的结论是，在任何启发式函数下，有回跳的DLV都有利于无回跳的DLV。带回跳的DLV在结构化可满足性和量化布尔公式实例上表现得特别好，有效地减少了搜索空间和执行时间。 引用于三文件 MSC公司： 68N17号 逻辑编程 关键词：逻辑编程;稳定模型;跳远;实验 软件：糠 PDF格式BibTeX公司 XML格式引用 \textit{F.Ricca}等人，AI Commun。19，第2号，155--172（2006；Zbl 1102.68433）