曼纽尔·比什勒;迈克尔·莫拉克;斯特凡·沃尔特兰 非基本规则在答案集编程中的威力。 （英语） Zbl 1379.68042号 理论与实践。日志。程序。 16，编号5-6，552-569（2016）。 摘要：答案集编程（ASP）是一种成熟的逻辑编程语言，它为解决问题提供了直观的声明性语法。在其传统应用中，为给定的问题设计了一个固定的ASP程序，并将问题的实际实例作为一组事实输入到程序中。这种方法通常会产生具有相对简短规则的程序。然而，正如复杂性分析所知，这种方法限制了ASP的表达能力；事实上，一个完整的NP-check可以编码成一个有界arity的大型规则体，在同一个规则中执行猜测和检查。在这里，我们提出了一种新的范式，通过显式使用依赖于问题的实际实例的大型规则，在ASP中对难题进行编码。我们说明了如何使用这种新的编码范式，并提供了多项式层次结构第一、第二甚至第三层的问题示例。随着最先进的求解器被调整为短规则，规则分解是我们方法实际实现中的关键技术。我们还提供了一些初步的基准测试，这些测试表明，放弃指定固定程序的便捷方式可以显著提高速度。 引用于7文件 MSC公司： 68N17号 逻辑编程 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：答案集编程;重写;非基本规则;规则分解 软件：GASP公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Bichler}等人，《理论与实践》。日志。程序。16、编号5--6552--569（2016；Zbl 1379.68042） 全文： 内政部 arXiv公司 参考文献： [1] 阿尔维亚诺。，多达罗群岛。，FaberW.、。，利昂内。和RiccaF.2013。WASP：基于约束学习的本地ASP解算器。程序中。LPNMR，54-66。 [2] 阿尔维亚诺。，FaberW.、。，利昂内。，佩里·S·普费弗·G。和TerracinaG.2010。分离式数据日志系统DLV。在重新加载的数据日志中。修订论文集，282-301。 [3] 阿恩堡S.，科内尔D。G.和ProskurowskiA.1987。在k树中查找嵌入的复杂性。SIAM J.阿尔及利亚。离散。方法8，2，277-284.10.1137/0608024·Zbl 0611.05022号 ·doi:10.1137/0608024 [4] ASP-Core-2 2015。ASP Core 2标准，v2.03c。https://www.mat.unical.it/aspcomp2013/ASPStandardization。访问时间：2016-04-28。 [5] Bichler.2015年。通过规则分解优化非基础答案集程序。TU Wien理学学士学位论文。http://dbai.tuwien.ac.at/proj/lpopt/thesis.pdf。 [6] 博德兰德H.L.1996。求小树宽的树分解的线性时间算法。SIAM J.计算机25，6，1305-1317.1137/S0097539793251219·Zbl 0864.68074号 ·doi:10.1137/S00975397932321219 [7] 博纳提普。A.、庞泰利。和SonT。2008年2月。答案集编程的可信解决方案。程序中。AAAI，418-423年。 [8] 布雷卡政府。，德尔格兰德J。P.、RomeroJ。和SchaubT.2015。asprin：自定义答案集首选项，不会让人头疼。程序中。AAAI，1467-1474年。 [9] 布雷卡政府。，EiterT公司。和TruszczynskiM.2011。答案集编程一目了然。Commun公司。ACM54、12、92-103。 [10] 钱德拉。K.和MerlinP。M.1977年。关系数据库中联合查询的优化实现。程序中。STOC，77-90。 [11] 丹钦。，爱尔兰。，戈特洛布。和VoronkovA.2001。逻辑编程的复杂性和表达能力。ACM计算机。Surv.33，3，374-425.10.1145/502807.502810·doi:10.1145/502807.502810 [12] 类别B。，DeneckerM.和StuckeyP。2012年期刊。通过增量接地延迟模型扩展。程序中。ICLP，201-211·Zbl 1281.68208号 [13] 德马库阿。，甘佐省。，哥特洛布。，麦克马汉B。J.、MusliuN。和SamerM.2008。超树分解的启发式方法。程序中。麦克，1-11。 [14] 爱尔兰。，FaberW.、。，芬克姆。和WoltranS.2007。具有有界谓词算术和含义的答案集编程的复杂性结果。安。数学。Artif公司。智能51、2-4、123-165.10.1007/s10472-008-9086-5·Zbl 1138.68017号 ·doi:10.1007/s10472-008-9086-5 [15] 爱尔兰。，FaberW公司。和MushthofaM.2010。具有有界谓词算法的ASP程序的空间效率评估。程序中。AAAI，303-308。 [16] EiterT公司。和GottlobG.1995。选言逻辑程序设计的计算成本：命题案例。安。数学。Artif公司。集成电路15、3-4、289-323.10.1007/BF01536399·Zbl 0858.68016号 ·doi:10.1007/BF01536399文件 [17] 爱尔兰。，戈特洛布。和LeoneN.1997。逻辑程序推导：语义和复杂性。西奥。计算。Sci.189，1-2129-177.10.1016/S0304-3975（96）00179-X·Zbl 0893.68022号 ·doi:10.1016/S0304-3975（96）00179-X [18] EiterT公司。和民意调查.2006。面向答案集编程中猜测和检查程序的自动集成：元解释器和应用程序。逻辑程序设计的理论与实践6，1-2，23-60.10.1017/S1471068405002577·Zbl 1109.68028号 ·doi:10.1017/S1471068405002577 [19] 埃尔卡巴尼。，庞泰利。和SonT。2005年2月。Smodels^A-一种用聚合计算逻辑程序答案集的系统。程序中。LPNMR，427-431。 [20] GebserM.、KaminskiR.、。，考夫曼B。和SchaubT.2012。实践中的答案集求解。人工智能和机器学习综合讲座。Morgan&Claypool出版社。 [21] GebserM.，卡明斯基。和SchaubT.2011。答案集编程中的复杂优化。逻辑程序设计的理论与实践11，4-5，821-839.10.1017/S1471068411000329·Zbl 1222.68059号 ·doi:10.1017/S1471068411000329 [22] GebserM.，考夫曼B。和SchaubT.2012。冲突驱动的答案集解决：从理论到实践。Artif公司。情报.187，52-89·Zbl 1251.68060号 [23] 盖尔方德M。和LifschitzV.1988。逻辑编程的稳定模型语义。程序中。ICLP/SLP，1070-1080年。 [24] 哥特洛布。，米克洛斯Z。和SchwentickT.2009。广义超树分解：NP-harrdness和易处理变体。J.ACM56，6，第30条·Zbl 1325.68097号 [25] 戈特洛布。和PapadimitriouC。H.2003年。关于单规则数据日志查询的复杂性。信息计算183，1，104-122.10.1016/S0890-5401（03）00012-9·Zbl 1055.68033号 ·doi:10.1016/S0890-5401（03）00012-9 [26] 戈特洛布。和SchwentickT.2012。将本体论查询重写为小型非递归数据记录程序。程序中。KR，254-263。 [27] JanhunenT。，尼美拉一世。，拼音D。，西蒙。和YouJ.2006。在稳定模型语义中展开偏爱和析取。ACM事务处理。计算。日志7，1，1-37.10.1145/1119439.1119440·Zbl 1367.68035号 ·doi:10.1145/1119439.1119440 [28] 列夫列克。，BéatrixC。，斯特凡尼。和GarciaL.2015。ASPeRiX，一种用于答案集计算的一阶前向链接方法。CoRRabs/1503.07717。 [29] 伦敦。，酒神。，比埃拉。，埃及大学。和SeidlM.2015。通过动态阻塞子句消除增强基于搜索的QBF求解。程序中。LPAR，418-433年·Zbl 1471.68251号 [30] 马雷克V。W.和Truszczyn skiM.1999。稳定模型——一种替代逻辑编程范式。《逻辑编程范式——25年展望》。施普林格，375-398·Zbl 0979.68524号 [31] 莫拉克。和WoltranS.2012。答案集编程中复杂非基本规则的预处理。程序中。ICLP，247-258·Zbl 1281.68068号 [32] 帕洛·A。D.、DovierA.、。，庞泰利。和RossiG.2009。GASP：具有惰性接地的答案集编程。芬丹。通知96，3277-322·Zbl 1207.68118号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。