沃尔夫冈·费伯;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡 对硬ASP程序进行lookback启发式实验。 （英语） Zbl 1149.68330号 Baral，Chitta（编辑）等人，《逻辑编程和非单调推理》。第九届国际会议，LPNMR 2007，美国亚利桑那州坦佩，2007年5月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72199-4/pbk）。计算机科学课堂讲稿4483。人工智能课堂讲稿，110-122（2007）。 摘要：答案集编程（ASP）的竞争性本地解算器通过假设文字的真实性来执行回溯搜索。文字的选择（启发式）对这些系统的性能至关重要。大多数高效的ASP系统都采用基于look-ahead的启发式方法，即暂时假设文字，其启发式值基于其确定性结果。然而，展望未来是一项成本高昂的操作，实际上，展望未来通常占ASP解算器花费的大部分时间。对于可满足性（SAT），一种完全不同的方法，称为回溯启发式，被证明是非常成功的：人们不用向前看，而是使用在迄今为止执行的计算过程中收集的信息，从而进行回溯。在这种方法中，经常涉及不一致的原子是首选的。在本文中，我们将这种方法推广到析取ASP框架中。我们利用ASP的特性设计了一些look-back启发式，并在ASP系统DLV中实现。我们在一组结构化和随机生成的硬ASP程序上比较了它们的性能。这些实验表明，一种非常基本的方法工作得很好，在所考虑的许多实例上都优于所有主要的析取ASP系统——DLV（及其传统的启发式）、GnT和CModels3。有关整个系列，请参见[Zbl 1119.68003号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 第68页第15页 定理证明（演绎、解析等）（MSC2010） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 软件：伯克明州;GNT公司 PDF格式BibTeX公司 XML格式引用 \textit｛W.Faber｝等人，Lect。注释计算。科学。4483、110-122（2007年；Zbl 1149.68330） 全文： 内政部