马里奥·阿尔维亚诺;多达罗,胭脂红;尼古拉·利昂;弗朗西斯科·里卡 WASP进展。 (英语) Zbl 1467.68021号 Calimeri,Francesco(编辑)等人,《逻辑编程和非单调推理》。第13届国际会议,LPNMR 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9345, 40-54 (2015). 概述:ASP解析器解决了几个超出单纯计算答案集的推理任务。其中包括用于建模查询蕴涵的谨慎推理和用于支持数值优化的最佳答案集计算。本文报告了求解器的最新改进黄蜂,并详细介绍了解决ASP中几个推理任务的算法和设计选择。对公开可用基准测试的实验分析表明黄蜂表现优于前一个。与最先进的解决方案进行比较扣环,性能黄蜂在解决的实例数量和平均执行时间方面总体上具有竞争力。有关整个系列,请参见[Zbl 1320.68014号]. 引用于38文件 MSC公司: 68N17号 逻辑编程 软件:WASP公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,Lect。票据计算。科学。9345,40-54(2015;Zbl 1467.68021) 全文: 内政部 参考文献: [1] 阿尔维亚诺,M。;Calimeri,F。;查瓦特,G。;道特兰,M。;多达罗,C。;伊安尼,G。;Krennwallner,T。;Kroneger,M。;Oetsch,J。;Pfandler,A。;Pührer,J。;Redl,C。;Ricca,F。;施耐德,P。;施文格勒,M。;支出,斯里兰卡;Wallner,JP;肖·G。;Cabalar,P。;TC儿子,《第四届答案集编程竞赛:初步报告》,《逻辑编程与非单调推理》,42-53(2013),海德堡:斯普林格·doi:10.1007/978-3-642-40564-85 [2] 阿尔维亚诺,M。;多达罗,C。;Faber,W。;塞拉利昂,北卡罗来纳州。;Ricca,F。;Cabalar,P。;Son,TC,WASP:基于约束学习的本地ASP求解器,逻辑编程和非单调推理,54-66(2013),海德堡:施普林格,海德堡·doi:10.1007/978-3-642-40564-8_6 [3] Alviano,M.、Dodaro,C.、Marques-Silva,J.、Ricca,F.:最优稳定模型搜索:算法和实现。J.日志。计算。doi:doi:10.1093/log.com/exv061·Zbl 1487.68206号 [4] 阿尔维亚诺,M。;多达罗,C。;Ricca,F.,《答案集编程中谨慎后果的任何时候计算》,TPLP,14,4-5,755-770(2014)·Zbl 1307.68012号 [5] Alviano,M.、Dodaro,C.、Ricca,F.:WASP 2.0的初步报告(2014)。CoRR,abs/1404.6999 [6] Alviano,M.、Dodaro,C.、Ricca,F.:使用有界大小的基数约束的MaxSAT算法。第24届国际人工智能联合会议(待定)。IJCAI组织,阿根廷布宜诺斯艾利斯,2015年7月 [7] 阿尔维亚诺,M。;Faber,W。;塞拉利昂,北卡罗来纳州。;佩里,S。;Pfeifer,G。;Terracina,G。;de Moor,O。;Gottlob,G。;Furche,T。;Sellers,A.,《分离数据日志系统DLV》,《数据日志重新加载》,282-301(2011),海德堡:斯普林格·doi:10.1007/978-3-642-24206-917 [8] Andres,B.,Kaufmann,B.,Matheis,O.,Schaub,T.:卡环中基于不满意的优化。收录人:Dovier,A.、Costa,V.S.(编辑)ICLP(技术通信)。LIPIcs,第17卷,第211-221页。达格斯图尔宫(Schloss Dagstuhl)-莱布尼茨-泽特鲁姆富尔信息(Leibniz-Zentrum fuer Informatik)(2012年)·Zbl 1281.68204号 [9] 安索特吉,C。;阀盖,ML;Levy,J.,基于SAT的MaxSAT算法,Artif。智力。,196, 77-105 (2013) ·Zbl 1270.68265号 ·doi:10.1016/j.artint.2013.01.002 [10] 阿雷纳斯,M。;贝尔托西,LE;Chomicki,J.,《不一致数据库中一致查询应答的答案集》,TPLP,3,4-5,393-424(2003)·Zbl 1079.68026号 [11] Audemard,G.,Simon,L.:预测现代SAT解题者的习得子句质量。收录于:Boutiler,C.(编辑)IJCAI,第399-404页(2009年) [12] 巴塞洛,P。;贝托西,L。;Dahl,V.,《查询不一致数据库的逻辑程序》,《声明语言的实用方面》,208-222(2002),海德堡:斯普林格出版社·兹比尔1026.68761 ·doi:10.1007/3-540-36388-2_15 [13] Buccafurri,F。;塞拉利昂,北卡罗来纳州。;Rullo,P.,通过约束增强析取数据日志,IEEE Trans。知识。数据工程,12,5,845-860(2000)·doi:10.1109/69.877512 [14] 多达罗,C。;塞拉利昂,北卡罗来纳州。;Nardi,B。;Ricca,F。;10 Cate,B。;Mileo,A.,《旅游业的分配问题:基于ASP的解决方案》,《Web推理和规则系统》,77-92(2015),海德堡:斯普林格·doi:10.1007/978-3-319-22002-47 [15] 埃恩,n。;Biere,A。;巴克斯,F。;Walsh,T.,通过变量和子句消除在SAT中进行有效预处理,可满足性测试的理论与应用,61-75(2005),海德堡:斯普林格·Zbl 1128.68463号 ·doi:10.1007/11499107_5 [16] 艾特,T。;Gottlob,G。;Mannila,H.,分离数据日志,ACM TODS,22,3,364-418(1997)·doi:10.1145/261124.261126 [17] Gebser,M。;卡明斯基,R。;科尼格,A。;Schaub,T。;德尔格兰德,JP;Faber,W.,《外国佬的进步》系列3,逻辑编程和非单调推理,345-351(2011),海德堡:施普林格,海德伯格·doi:10.1007/978-3-642-20895-9_39 [18] Gebser,M。;考夫曼,B。;Schaub,T.,《冲突驱动的答案集解决:从理论到实践》,Artif。智力。,187, 52-89 (2012) ·Zbl 1251.68060号 ·doi:10.1016/j.artint.2012.04.001 [19] Gelfond,M。;Lifschitz,V.,逻辑程序和析取数据库中的经典否定,新世代。计算。,9, 3-4, 365-386 (1991) ·Zbl 0735.68012号 ·doi:10.1007/BF03037169 [20] Heras,F.,Morgado,A.,Marques-Silva,J.:最大可满足性的核引导二进制搜索算法。收录人:Burgard,W.,Roth,D.(编辑)AAAI。AAAI出版社(2011)·Zbl 1273.68357号 [21] Janhunen,T.,正常逻辑程序和命题理论的一些可译性结果,J.Appl。非经典逻辑,16,1-2,35-86(2006)·Zbl 1184.68160号 ·doi:10.3166/jancl.16.35-86 [22] PG科莱蒂斯;佩马,E。;Tan,W.,使用二进制整数编程高效查询不一致数据库,PVLDB,6,6,397-408(2013) [23] 塞拉利昂,北卡罗来纳州。;Pfeifer,G。;Faber,W。;艾特,T。;Gottlob,G。;佩里,S。;Scarcello,F.,《用于知识表示和推理的DLV系统》,ACM TOCL,7,3,499-562(2006)·Zbl 1367.68308号 ·数字对象标识代码:10.1145/1149114.1149117 [24] Lierler,Y。;马拉泰阿,M。;Lifschitz,V。;Niemelä,I.,Cmodels-2:基于SAT的答案集求解器增强为非正确程序,逻辑编程和非单调推理,346-350(2003),海德堡:斯普林格,海德伯格·Zbl 1122.68377号 ·doi:10.1007/978-3-540-24609-1_32 [25] 林,F。;Zhao,Y.,ASSAT:SAT解算器计算逻辑程序的答案集,Artif。智力。,157,1-2115-137(2004年)·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004 [26] 曼纳,M。;奥罗,E。;Ruffolo,M。;阿尔维亚诺,M。;Leone,N.,《语义信息提取的(H\imath)L(\varepsilon)X系统》,Trans。大规模数据知识。中心化系统。,5, 91-125 (2012) [27] 曼纳,M。;Ricca,F。;Terracina,G.,《从不同角度通过ASP进行一致的问答:理论和实践》,TPLP,13,2,227-252(2013)·Zbl 1267.68082号 [28] Marques-Silva,J.,Janota,M.,Lynce,I.:关于命题理论的计算主干。收录人:科埃略·H、斯图德·R、伍尔德里奇·M(编辑)ECAI。FAIA,第215卷,第15-20页。IOS出版社(2010)·Zbl 1211.68389号 [29] Morgado,A。;多达罗,C。;Marques-Silva,J。;O'Sullivan,B.,具有软基数约束的核心引导MaxSAT,约束编程原理与实践,564-573(2014),海德堡:斯普林格 [30] Morgado,A。;赫拉斯,F。;MH利菲顿;平面,J。;Marques-Silva,J.,《迭代和核心引导MaxSAT求解:调查和评估》,《约束》,第18、4、478-534页(2013年)·Zbl 1317.90199号 ·doi:10.1007/s10601-013-9146-2 [31] Morgado,A.,Heras,F.,Marques-Silva,J.:MaxSAT求解的模型引导方法。收录于:ICTAI,第931-938页。IEEE(2013) [32] Narodytska,N.,Bacchus,F.:使用核心制导MaxSAT分辨率的最大可满足性。摘自:Brodley,C.E.,Stone,P.(编辑)AAAI,第2717-2723页。AAAI出版社(2014) [33] Ricca,F。;格拉索,G。;阿尔维亚诺,M。;曼纳,M。;Lio,V。;伊利塔诺,S。;Leone,N.,《gioia-tauro海港团队建设与答案集编程》,TPLP,12,3,361-381(2012)·兹比尔1250.90050 [34] Rosa,E.D.,Giunchiglia,E.,Maratea,M.:一种解决具有定性偏好的可满足性问题的新方法。在:Ghallab,M.,Spyropoulos,C.D.,Fakotakis,N.,Avouris,N.M.(编辑)ECAI。FAIA,第178卷,第510-514页。IOS出版社(2008) [35] 席尔瓦,JPM;Sakallah,KA,GRASP:命题可满足性的搜索算法,IEEE Trans。计算。,48, 5, 506-521 (1999) ·Zbl 1392.68388号 ·数字对象标识代码:10.1109/12.769433 [36] 西蒙斯,P。;尼美拉,I。;Soininen,T.,《扩展和实现稳定模型语义》,Artif。智力。,138, 1-2, 181-234 (2002) ·Zbl 0995.68021号 ·doi:10.1016/S0004-3702(02)00187-X 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。