沃尔夫冈·费伯 具有任意聚合的析取逻辑程序的无基础集。 （英语） Zbl 1152.68405号 Baral，Chitta（编辑）等人，《逻辑编程和非单调推理》。第八届国际会议，LPNMR 2005，意大利迪亚曼特，2005年9月5-8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28538-5/pbk）。计算机科学课堂讲稿3662。人工智能课堂讲稿，40-52（2005）。 摘要：答案集编程（ASP）中的聚合最近得到了相当深入的研究。先前工作的主要重点是为具有任意、潜在递归聚合的程序定义合适的语义。到目前为止，这些努力似乎已经趋同。在另一条研究路线上，最近重新发现了无基础集和（无聚合）答案集之间的关系。事实证明，目前大多数可用的答案集求解器都依赖于此结果或密切相关的结果（例如，循环公式）。在本文中，我们合并了这些行，并给出了具有任意、可能递归聚合的析取逻辑程序的无基集的新定义。虽然在句法上有所不同，但我们可以证明，这个定义恰当地概括了以前为语言片段定义的无根据集合的所有主要概念。我们证明，对于受限制的语言，答案集可以由无根据的集合清晰地表征：它们正是无根据的模型。这个结果可以被视为对任意聚合的答案集定义的稳健性的确认。我们还对无根据集合进行了全面的复杂性分析，并研究了其对答案集计算的影响。关于整个系列，请参见[Zbl 1086.68002号]. 引用于4文件 MSC公司： 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}，莱克特。注释计算。科学。3662、40-52（2005年；Zbl 1152.68405） 全文： 内政部