沃尔夫冈·费伯;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡 使用聚合的ASP程序的回溯技术。 （英语） Zbl 1245.68051号 芬丹。通知。 107，第4期，379-413（2011）. 摘要：聚合的引入是答案集编程（ASP）最相关的语言扩展之一。聚合非常有表现力，与聚合免费程序相比，它们可以以更简洁、更优雅的方式表示许多问题。在过去的几年里，ASP社区对聚合进行了大量的研究工作，并发表了关于带有聚合的ASP的理论和实践方面的相关研究成果。聚合的高表达性（消除聚合通常会导致程序大小的二次放大）需要合适的评估方法和优化技术才能有效实现。尽管如此，尽管有上述研究进展，但在大多数ASP系统中，聚合都是以非常直接的方式处理的。在本文中，我们探索了如何利用lookback技术来高效实现聚合。我们定义了带有聚合的ASP程序中回跳的原因演算。此外，我们描述了如何使用这些原因来指导具有聚合的程序的回溯启发式。我们在DLV系统中实现了新的原因演算和建议的启发式，并对公开可用的基准进行了实验分析，结果显示了显著的性能优势。 引用于1文件 MSC公司： 68N17号 逻辑编程 68T27型 人工智能中的逻辑 68立方英尺 知识表示 68号01 软件理论中的一般主题 关键词：知识表示;非单调推理;答案集编程;启发式;骨料 软件：GNT公司;扣环;格林戈;亚萨特;斯莫德尔斯 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人，Fundam。通知。107，第4号，379--413（2011；Zbl 1245.68051） 全文： 内政部