×

最优稳定模型搜索的不满意核心分析和聚合。 (英语) Zbl 1497.68451号

摘要:在答案集编程(ASP)环境下,许多计算最优稳定模型的有效算法都是基于不可满足的核心分析。其中,算法OLL是第一个在ASP上下文中引入的,而算法ONE和PMRES首先用于解决最大可满足性问题(MaxSAT),后来被引入ASP。在本文中,我们介绍了为MaxSAT引入的另一种先进算法K的移植到ASP,该算法推广了ONE和PMRES。此外,我们提出了一种称为OLL-IN-ONE的新算法,该算法利用共享聚合集传播器对OLL的所有聚合进行紧凑编码。根据最新ASP竞赛的实例,对算法的性能进行了实证比较。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Gelfond M,Lifschitz V.逻辑程序和析取数据库中的经典否定。新一代计算,1991.9(3/4):365-386。doi:10.1007/BF03037169·Zbl 0735.68012号
[2] Niemel–I.以稳定模型语义作为约束编程范式的逻辑编程。《数学与人工智能年鉴》,1999.25(3-4):241-273。doi:10.1023/A:1018930122475·Zbl 0940.68018号
[3] Marek VW、Truszczy´nski M.稳定模型和替代逻辑编程范式。《逻辑编程范式——25年视角》,第375-398页。Springer Verlag,1999年。doi:10.1007/978-3642-60085-217·Zbl 0979.68524号
[4] Lifschitz V.答案集编程和计划生成。人工智能,2002.138:39-54。doi:10.1016/S0004-3702(02)00186-8·Zbl 0995.68020号
[5] Gelfond M,Kahl Y.知识表示、推理和智能代理的设计:答案集编程方法。剑桥大学出版社,2014年。国际标准图书编号978-1107029569。
[6] Faber W,Pfeifer G,Leone N。答案集编程中递归聚合的语义和复杂性。人工智能,2011.175(1):278-298。doi:10.1016/j.artint.2010.04.002·Zbl 1216.68263号
[7] Ferraris P.带有命题连接词和聚合词的逻辑程序。ACM计算逻辑汇刊,2011.12(4):25。doi:10.1145/1970398.1970401·兹比尔1351.68053
[8] Pelov N,Denecker M,Bruynooghe M.具有聚合的逻辑程序的良好和稳定语义。逻辑程序设计理论与实践,2007.7(3):301-353.doi:10.1017/S1471068406002973·Zbl 1111.68070号
[9] Son TC,Pontelli E.答案集编程中聚合的建构语义表征。逻辑程序设计理论与实践,2007.7(3):355-375。doi:10.1017/S1471068406002936·Zbl 1111.68072号
[10] Alviano M,Faber W.FLP语义下广义原子答案集编程的复杂性边界。收录于:Cabalar P,Son TC(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第8148卷。施普林格,2013年,第67-72页。doi:10.1007/978-3642-40564-8 7·Zbl 1405.68036号
[11] Alviano M,Faber W,Gebser M。改写答案集编程中的递归聚合:回到单调性。逻辑程序设计理论与实践,2015.15(4-5):559-573。doi:10.1017/S1471068415000228·Zbl 1379.68034号
[12] Alviano M.用非凸递归聚合评估答案集编程。《基础信息》,2016.149(1-2):1-34。doi:10.3233/FI-2016-1441·Zbl 1374.68096号
[13] Baldcucini M,Gelfond M,Watson R,Nogueira M。美国顾问:答案集规划的案例研究。摘自:Eiter T,Faber W,Truszczynski M(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第2173卷。施普林格,2001年,第439-442页。doi:10.1007/3-540-445402-0 39·兹比尔1010.68800
[14] Alviano M、Dodaro C、Maratea M。《护士排班的高级答案集编程编码》。收录于:Esposito F、Basili R、Ferilli S、Lisi FA(编辑),意大利人工智能协会(AI*IA)国际会议,计算机科学讲稿第10640卷。施普林格,2017年,第468-482页。doi:10.1007/978-3-319-70169-1 35。
[15] Ricca F、Grasso G、Alviano M、Manna M、Lio V、Iiritano S、Leonen N。在Gioia-Tauro海港通过答案集编程进行团队建设。逻辑程序设计理论与实践,2012.12(3):361-381。doi:10.1017/S14710684110007X·Zbl 1250.90050
[16] Baral C,Uyan C.使用逻辑编程的组合拍卖的声明性规范和解决方案。摘自:Eiter T,Faber W,Truszczynski M(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第2173卷。施普林格,2001年,第186-199页。doi:10.1007/3-540-45402-0\14·Zbl 1007.68588号
[17] Koponen L,Oikarinen E,Janhunen T,S¨ail¨a L。使用答案集编程优化系统发育超树。逻辑程序设计理论与实践,2015.15(4-5):604-619.doi:10.1017/S1471068415000265·Zbl 1379.92038号
[18] Dodaro C,Leone N,Nardi B,Ricca F.旅游业中的分配问题:基于ASP的解决方案。摘自:10 Cate B,Mileo A(编辑),网络推理和规则系统国际会议,计算机科学讲稿第9209卷。施普林格,2015年,第77-92页。doi:10.1007/978-3-319-22002-47·Zbl 1346.68006号
[19] Marileo MC,Bertossi LE。一致性提取器系统:用于数据库中一致查询应答的应答集程序。数据与知识工程,2010.69(6):545-572。doi:10.1016/j.datak。2010.01.005.
[20] Gebser M,Ryabokon A,Schenner G.使用答案集编程结合启发式解决配置问题。收录于:Calimeri F,Ianni G,Truszczynski M(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第9345卷。施普林格,2015年,第384-397页。doi:10.1007/978-3-319-23264-532·Zbl 1467.68166号
[21] Gebser M、Kaminski R、Kaufmann B、Romero J、Schaub T。卡环系列3的进展。在:Calimeri F,Ianni G,Truszczynski M(编辑),国际逻辑编程和非单调推理会议,计算机科学体系结构笔记第9345卷。施普林格,2015年,第368-383页。doi:10.1007/978-3-319-23264-531·兹比尔1467.68181
[22] Alviano M、Calimeri F、Dodaro C、Fusc’a D、Leone N、Perri S、Ricca F、Veltri P、Zangari J。ASP系统DLV2。收录于:Balduccini M,Janhuen T(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第10377卷。施普林格,2017年,第215-221页。doi:10.1007/978-3-319-61660-519·Zbl 1472.68178号
[23] Lierler Y,Maratea M.Cmodels-2:基于SAT的答案集求解器增强到非轻量级程序。收录于:Lifschitz V,Niemel¨a I(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第2923卷。Springer,2004年,第346-350.doi:10.1007/978-3-540-24609-132页·Zbl 1122.68377号
[24] Bruynooghe M、Blockel H、Bogaerts B、Cat BD、Pooter SD、Jansen J、Labarre A、Ramon J、Denecker M、Verwer S。谓词逻辑作为建模语言:用IDP3.TPLP建模和解决一些机器学习和数据挖掘问题,2015.15(6):783-817。doi:10.1017/S14710684140009X·Zbl 1379.68279号
[25] Alviano M,Dodaro C,Marques-Silva J,Ricca F.最优稳定模型搜索:算法与实现。《逻辑与计算杂志》,2015年。doi:10.1093/logcom/exv061·Zbl 1487.68206号
[26] Andres B、Kaufmann B、Matheis O、Schaub T。卡环中基于不满足性的优化。摘自:Dovier A,Costa VS(编辑),《第28届逻辑编程国际会议的技术通信》,ICLP 2012,LIPIcs第17卷。Dagstuhl-Leibniz-Zentrum fuer Informatik宫,2012年,第211-221页·Zbl 1281.68204号
[27] Narodytska N,Bacchus F.使用核引导MaxSAT分辨率的最大可满足性。摘自:Brodley CE、Stone P(编辑)、AAAI人工智能会议。AAAI出版社,2014年,第2717-2723页。统一资源定位地址http://www.aaai.org/ocs/index.php/aaai/AAAI14/paper/view/8513。
[28] Alviano M,Dodaro C.通过不可满足的核收缩进行任何时候的答案集优化。逻辑程序设计理论与实践,2016.16(5-6):533-551。doi:10.1017/S147106841600020X·Zbl 1379.68033号
[29] Alviano M,Dodaro C,Ricca F.使用有界基数约束的MaxSAT算法。作者:杨Q,Wooldridge M(编辑),国际人工智能联合会议。AAAI出版社,2015年,第2677-2683页。统一资源定位地址http://ijcai.org/Abstract/15/379。
[30] Alviano M、Dodaro C、Maratea M。答案集编程中的共享集合。TPLP,2018年。18(3-4):301-318. doi:10.1017/S1471068418000133·兹比尔1451.68062
[31] Alviano M、Amendola G、Dodaro C、Leone N、Maratea M、Ricca F。WASP中分离程序的评估。摘自:《逻辑编程和非单调推理国际会议》,计算机科学讲稿第11481卷。施普林格,2019年,第241-255页。doi:10.1007/978-3-030-20528-7\18·Zbl 1522.68096号
[32] Gebser M,Maratea M,Ricca F.第七届答案集编程竞赛的设计。收录于:Balduccini M,Janhuen T(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第10377卷。施普林格,2017年,第3-9页。doi:10.1007/978-3-319-61660-51·Zbl 1418.68029号
[33] Gebser M,Kaufmann B,Schaub T。冲突驱动的答案集求解:从理论到实践。人工智能,2012.187:52-89。doi:10.1016/j.artint.2012.04.001·Zbl 1251.68060号
[34] Alviano M,Dodaro C.选言逻辑程序的完成。参见:Kambhampati S(编辑),国际人工智能联合会议。IJCAI/AAAI出版社,2016年,第886-892页。统一资源定位地址网址://www。ijcai.org/Abstract/16/130。
[35] Bacchus F,Narodytska N.基于核的MaxSat算法中的核:分析。收录于:Sinz C,Egly U(编辑),可满足性测试理论与应用国际会议,计算机科学讲稿第8561卷。Springer,2014年,第7-15页。doi:10.1007/978-3-319-09284-3\2·Zbl 1423.68432号
[36] Alviano M、Dodaro C、Leone N、Ricca F.WASP进展。收录于:Calimeri F,Ianni G,Truszczynski M(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第9345卷。施普林格,2015年,第40-54页。doi:10.1007/978-3-319-23264-55·Zbl 1467.68021号
[37] E´en N,S¨orensson N.可扩展SAT解决方案。收录于:Giunchiglia E,Taccella A(编辑),可满足性测试理论和应用国际会议,计算机科学讲稿第2919卷。斯普林格,2003年,第502-518页。doi:10.1007/978-3-540-24605-337·兹比尔1204.68191
[38] Gebser M、Kaminski R、K¨onig A、Schaub T。进展进入系列3。摘自:Delgrade JP,Faber W(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第6645卷。施普林格,2011年,第345-351页。doi:10.1007/978-3-642-20895-9 39。
[39] Calimeri F、Fusc’a D、Perri S、Zangari J.I-DLV:DLV的新型智能接地器。人工智能,2017.11(1):5-20。doi:10.3233/IA-170104。
[40] Calimeri F、Faber W、Gebser M、Ianni G、Kaminski R、Krennwallner T、Leone N、Ricca F、Schaub T.ASPCore-2输入语言格式,2013年。统一资源定位地址https://www.mat.unical.it/aspcomp2013/files网站/ASP-CORE-2.01c.pdf。
[41] Buccafuri F,Leone N,Rullo P.通过约束增强虚拟数据日志。IEEE知识与数据工程汇刊,2000.12(5):845-860。doi:10.1109/69.877512。
[42] Alviano M,Dodaro C.用于任何时间答案集优化的不满意核心收缩。参见:Sierra C(编辑),国际人工智能联合会议。ijcai.org,2017年,第4781-4785页。doi:10.24963/ijcai.2017/666·Zbl 1379.68033号
[43] Fu Z,Malik S.关于部分MAX-SAT问题的求解。摘自:Biere A,Gomes CP(eds.),《可满足性测试的理论和应用程序》,SAT 2006,计算机科学讲义第4121卷。施普林格,2006年,第252-265页·Zbl 1187.68540号
[44] Marques-Silva J,Manquinho VM。面向更有效的基于不可满足性的最大可满足性算法。收录于:B–uring HK,Zhao X(编辑),《可满足性测试理论与应用论文集》,SAT 2008,计算机科学讲稿第4996卷。施普林格,2008年,第225-230页·Zbl 1138.68548号
[45] Marques-Silva J,Planes J.使用不可满足核的最大可满足性算法。收录:Sciuto D(编辑),《欧洲的设计、自动化和测试》。ACM,2008年,第408-413页。doi:10.1109/DATE.2008。4484715
[46] Manquinho VM,Marques-Silva JP,Planes J.加权布尔优化算法。收录于:Kullmann O(编辑),《可满足性测试理论与应用程序》,SAT 2009,计算机科学讲稿第5584卷。Springer,2009年,第495-508页。doi:10.1007/978-3642-02777-2\45·Zbl 1247.68258号
[47] Ans´otegui C、Bonet ML、Levy J.通过可满足性测试求解(加权)部分MaxSAT。收录于:Kullmann O(编辑),《可满足性测试理论与应用程序》,SAT 2009,计算机科学讲稿第5584卷。Springer,2009年,第427-440页。doi:10.1007/978-3642-02777-2\39·Zbl 1247.68242号
[48] Morgado A、Dodaro C、Marques-Silva J.Core-Guided MaxSAT,具有软基数约束。收录于:O'Sullivan B(编辑),约束编程原理和实践国际会议,计算机科学讲稿第8656卷。Springer,2014年,第564-573页。doi:10.1007/978-3-319-10428-7 41。
[49] Bomanson J,Gebser M,Janhunen T。改进答案集程序中权重规则的规范化。摘自:Fermée e,Leite J(编辑),欧洲人工智能逻辑会议,计算机科学讲稿第8761卷。Springer,2014年,第166-180页。doi:10.1007/978-3-319-11558-0\12·兹比尔1432.68056
[50] Bomanson J,Janhunen T.使用合并和排序结构规范基数规则。收录于:Cabalar P,Son TC(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第8148卷。施普林格,2013年,第187-199.doi:10.1007/978-3-642-40564-8 19页·Zbl 1405.68044号
[51] Giunchiglia E,Lierler Y,Maratea M。基于命题可满足性的答案集编程。《自动推理杂志》,2006.36(4):345-377。doi:10.1007/s10817-006-9033-2·Zbl 1107.68029号
[52] Giunchiglia E,Leone N,Maratea M。关于答案集求解者之间的关系。数学与人工智能年鉴,2008.53(1-4):169-204。doi:10.1007/s10472-009-9113-1·Zbl 1165.68333号
[53] Ferraris P,Lifschitz V.重量约束作为嵌套表达式。逻辑程序设计理论与实践,2005.5(1-2):45-74。doi:10.1017/S1471068403001923·Zbl 1093.68017号
[54] Nieuwenhuis R,Oliveras A,Tinelli C.解决SAT和SAT模理论:从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL(T)。美国医学会杂志,2006.53(6):937-977。doi:10.1145/1217856.1217859·Zbl 1326.68164号
[55] Ab´o I,Stuckey PJ。冲突导向的惰性分解。摘自:Milano M(编辑),约束编程原理和实践国际会议,计算机科学讲稿第7514卷。施普林格,2012年,第70-85页。doi:10.1007/978-3-642-33558-7\8。
[56] Bomanson J、Gebser M、Janhunen T、Kaufmann B、Schaub T。答案集编程模非周期性。收录于:Calimeri F,Ianni G,Truszczynski M(编辑),逻辑编程和非单调推理国际会议,计算机科学讲稿第9345卷。施普林格,2015年,第143-150页。doi:10.1007/978-3-319-23264-513·Zbl 1370.68044号
[57] Cuteri B、Dodaro C、Ricca F、Sch¨uller P.ASP解决中的约束、惰性约束或传播者:一项实证分析。逻辑程序设计理论与实践,2017.17(5-6):780-799。doi:10.1017/S1471068417000254。
[58] Saikko P、Berg J、J¨arvisalo M.LMHS:SAT-IP混合MaxSAT解算器。收录于:《计算机科学讲义》第9710卷“可满足性测试理论和应用国际会议”。Springer,2016年,第539-546页。doi:10.1007/978-3-319-40970-2\34·Zbl 1475.68449号
[59] Alviano M、Dodaro C、J¨arvisalo M、Maratea M、Previti A。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。