沃尔夫冈·费伯;尼古拉·利昂 关于具有聚合的回答集编程的复杂性。 （英语） Zbl 1149.68329号 Baral，Chitta（编辑）等人，《逻辑编程和非单调推理》。第九届国际会议，LPNMR 2007，美国亚利桑那州坦佩，2007年5月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72199-4/pbk）。计算机科学课堂讲稿4483。人工智能课堂讲稿，97-109（2007）。 摘要：添加聚合是答案集编程（ASP）语言最相关的增强之一。它们在自然简洁的问题表示方面增强了ASP的建模能力。在本文中，我们对该语言的计算复杂性进行了深入的研究。该分析特别关注语法限制对程序的影响，即限制使用聚合、析取和否定。虽然聚合的添加不会影响带否定和析取的完整语言的复杂性，但事实证明，聚合的存在确实会将非析取ASP程序的复杂性增加到多项式层次结构的第二级。有趣的是，在谨慎的推理下，非单调聚合甚至比析取更难（在正程序上，完成Pi^{\text{P}}{2}）-完成vs共同NP-完成）。然而，我们表明，即使对于普通程序，也存在大量的聚合类，它们的添加不会造成任何复杂性差距，包括允许任意单调、任意反单调和分层（即非递归）非单调聚合的片段。此外，我们还证明了对于具有任意单调、分层反单调和分层非单调聚集的正程序，复杂性仍然是多项式的。该分析为在现有推理引擎中实现聚合提供了一些有用的指示。关于整个系列，请参见[Zbl 1119.68003号]. 引用于1文件 MSC公司： 68N17号 逻辑编程 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 软件：C模型;亚萨特 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}和\textit{N.Leone}，莱克特。注释计算。科学。4483、97--109（2007年；Zbl 1149.68329） 全文： 内政部