×
乔里·博曼森；汤米·詹胡宁

使用加权比较器网络提升答案集优化。 （英语） Zbl 1472.68023号

理论与实践。日志。程序。 20，编号4，512-551（2020）.
摘要：答案集编程（ASP）是一种建模知识密集型领域和解决具有挑战性的推理问题的范例。在ASP求解中，一个典型的策略是通过将复杂的规则重写为简单的规则来预处理问题实例。规范化是一个重写过程，它将删除所有扩展规则类型，以支持常规规则。最近，这些技术导致了ASP中的优化重写，其目标是通过重构感兴趣的优化标准来提高答案集优化。在本文中，我们提出了一种新颖、通用、有效的优化重写技术，该技术基于比较器网络，该网络是一种特殊的电路，用于对向量元素进行重新排序。其思想是将比较器网络的ASP编码与优化的文本连接起来，并在网络结构上重新分配这些文本的权重。编码以结构化的方式捕获有关辅助原子中答案集的权重的信息，在对无限系列示例程序进行分枝定界优化时，这种方法已被证明能够产生指数级的改进。使用的比较器网络可以自由调整，例如，为给定的基准类找到最佳大小。实验表明，在几个基准问题上的加速优化性能。

MSC公司：

68N17号 逻辑编程
第68季度第42季度 语法和重写系统
68立方英尺 知识表示

关键词：

答案集编程；比较器网络；归一化；优化重写；翻译

软件：

最大HS；WASP公司；Picat-SAT卫星；克林戈；lp2正常；扣环
PDF格式BibTeX公司 XML格式引用
\textit{J.Bomanson}和\textit{T.Janhunen}，理论与实践。日志。程序。20，第4号，512--551（2020；Zbl 1472.68023）
全文： 内政部 arXiv公司

参考文献：

[1] Abío，I.、Nieuwenhuis，R.、Oliveras，A.、Rodríguez-Carbonell，E.和Mayer-Eichberger，V.2012。对伪布尔约束的bdds进行了新的研究。《人工智能研究杂志》45，443-480·Zbl 1252.68267号
[2] Abío，I.、Nieuwenhuis，R.、Oliveras，A.、Rodríguez-Carbonell，E.和Stuckey，P.J.2013。编码还是传播？SAT中每个约束的最佳选择。《2013年CP会议录》，C.Schulte，Ed.LNCS，第8124卷。施普林格，97-106。
[3] Alviano，M.、Dodaro，C.、Leone，N.和Ricca，F.2015。WASP进展。《LPNMR 2015会议录》，Calimeri，F.，Ianni，G.和Truszczynski，M.，LNCS编辑，第9345卷。施普林格，40-54岁。网址：https://doi.org/10.1093/logcom/exv061。 ·Zbl 1467.68021号
[4] Alviano，M.、Dodaro，C.、Marques-Silva，J.和Ricca，F.2015。最优稳定模型搜索：算法和实现。逻辑与计算杂志·Zbl 1487.68206号
[5] Andres，B.、Kaufmann，B.、Matheis，O.和Schaub，T.2012。基于不满意的卡环优化。参见Dovier和Santos Costa（2012），第212-221页·Zbl 1281.68204号
[6] Anger，C.、Gebser，M.、Janhunen，T.和Schaub，T.2006。没有身体的头是什么？在2006年ECAI会议记录中。IOS出版社，769-770。
[7] Apt，K.、Blair，H.和Walker，A.1987。走向陈述性知识的理论。《演绎数据库和逻辑编程基础》，Minker，J.编辑，Morgan Kaufmann出版社，第2章，89-148。
[8] Balduccini，M.和Janhunen，T.，2017年版。2017年LPNMR论文集。LNCS，第10377卷。斯普林格·Zbl 1367.68005号
[9] Banbara，M.、Soh，T.、Tamura，N.、Inoue，K.和Schaub，T.2013。答案集编程作为课程时间表的建模语言。逻辑程序设计的理论与实践13，4-5，783-798·Zbl 1286.68040号
[10] Batcher，K.E.1968。对网络及其应用进行分类。在AFIPS春季联合计算机会议上。汤姆森图书公司ACM，307-314。
[11] Bomanson，J.2017年。lp2normal—用于扩展逻辑程序的规范化工具。参见Balduccini和Janhunen（2017），222-228·Zbl 1491.68040号
[12] Bomanson，J.、Gebser，M.和Janhunen，T.2014。改进答案集程序中权重规则的规范化。2014年JELIA会议记录。LNCS，第8761卷。斯普林格，166-180·Zbl 1432.68056号
[13] Bomanson，J.、Gebser，M.和Janhunen，T.2016。重写应答程序中的优化语句。2016年ICLP技术交流。OASIcs，第52卷。Dagstuhl-Leibniz-Zentrum für Informatik修道院，5:1-5:15。第5条·Zbl 1428.68281号
[14] Bomanson，J.和Janhunen，T.2013。使用合并和排序结构规范基数规则。2013年LPNMR会议记录。LNCS，第8148卷。施普林格，187-199年·兹比尔1405.68044
[15] Bonutti，A.、De Cesco，F.、Di Gaspero，L.和Schaerf，A.2012。基于课程的基准课程时间表：公式、数据格式、实例、验证、可视化和结果。运筹学年鉴194，1，59-70·Zbl 1251.90117号
[16] Brewka，G.、Eiter，T.和Truszczynski，M.2011。答案集编程一目了然。ACM通信54、12、92-103。
[17] Calimeri，F.、Faber，W.、Gebser，M.、Ianni，G.、Kaminski，R.、Krennwallner，T.、Leone，N.、Ricca，F.和Schaub，T.2013。ASP-Core-2:第四届ASP竞赛官方输入语言格式。网址：http://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.01c.pdf。
[18] Calimeri，F.、Ianni，G.和Truszczynski，M.编辑，2015年。LPNMR 2015会议记录。LNCS，第9345卷。斯普林格·Zbl 1320.68014号
[19] 克拉克，K.1978。否定为失败。《逻辑和数据库》，Gallaire，H.和Minker，J.，编辑：Plenum出版社，293-322。
[20] Cussens，J.2011年。基于切面的贝叶斯网络学习。《2011年UAI会议录》，Cozman，F.和Pfeffer，A.编辑，AUAI出版社，153-160。
[21] Davies，J.和Bacchus，F.2011。通过求解一系列更简单的SAT实例来求解MAXSAT。《2011年CP会议录》，Lee，J.H.，Ed.LNCS，第6876卷。施普林格，225-239。
[22] Denecker，M.、Vennekens，J.、Bond，S.、Gebser，M.和Truszczynski，M.2009。第二个答案集编程竞赛。《LPNMR 2009年会议录》，Erdem，E.、Lin，F.和Schaub，T.，LNAI编辑，第5753卷。施普林格，637-654。
[23] Dovier，A.和Santos Costa，V.，2012年版。2012年ICLP技术通信，第17卷。莱布尼茨国际信息学会议录（LIPIcs）。
[24] Drescher，C.和Walsh，T.2012。用懒惰的一代回答集合问题。参见Dovier和Santos Costa（2012），188-200·Zbl 1281.68178号
[25] Eén，n.和Sörensson，n.2006。将伪布尔约束转化为SAT。可满足性、布尔建模和计算杂志2，1-4，1-26·Zbl 1116.68083号
[26] Gebser，M.、Kaminski，R.、Kaufmann，B.、Romero，J.和Schaub，T.2015。卡环系列3的进展。参见Calimeri等人（2015），368-383·Zbl 1467.68181号
[27] Gebser，M.、Kaminski，R.、Kaufmann，B.、Ostrowski，M.，Schaub，T.和Wanko，P.2016。使用clipeo 5（扩展版）可以轻松解决理论问题。网址：网址：http://www.cs.uni-potsdam.de/wv/publications/。
[28] Gebser，M.、Kaufmann，B.和Schaub，T.2012。冲突驱动的答案集解决：从理论到实践。人工智能187,52-89·Zbl 1251.68060号
[29] Gebser，M.、Maratea，M.和Ricca，F.2015。第六届答案集编程竞赛的设计。见Calimeri等人（2015），531-544·兹比尔1418.68028
[30] Gebser，M.、Maratea，M.和Ricca，F.2017。第七届答案集编程竞赛的设计。见Balduccini和Janhunen（2017），3-9·Zbl 1418.68029号
[31] Gebser，M.和Schaub，T.2013。答案集语义下逻辑程序的表计算。ACM计算逻辑汇刊14，2，15:1-15:40·Zbl 1353.68037号
[32] Jaakkola，T.、Sontag，D.、Globerson，A.和Meila，M.，2010年。使用LP松弛学习贝叶斯网络结构。AISTATS 2010年会议记录。JMLR诉讼，第9卷。JMLR，358-365。
[33] Janhunen，T.、Gebser，M.、Rintanen，J.、Nyman，H.、Pensar，J.和Corander，J.2017。通过约束优化学习离散可分解图形模型。统计与计算27，1，115-130·Zbl 1505.62200号
[34] Janhunen，T.和Niemelä，I.2016年。答案集编程范例。AI杂志37、3、13-24。
[35] Järvisalo，M.和Oikarinen，E.2008。常规逻辑程序中的扩展ASP表和规则冗余。逻辑程序设计理论与实践8，5-6，691-716·Zbl 1156.68011号
[36] Lierler，2011年。具有回跳和学习功能的抽象答案集求解器。逻辑程序设计理论与实践11，2-3，135-169·Zbl 1220.68038号
[37] Lierler，Y.和Truszczynski，M.2016。关于抽象模推理系统和求解器。人工智能236，65-89·Zbl 1357.68230号
[38] Lifschitz，V.和Razborov，A.A.2006。为什么有这么多循环公式？ACM计算逻辑汇刊7，2，261-268·兹伯利1367.68036
[39] Lifschitz，V.和Turner，H.1994。分割逻辑程序。在ICLP 1994年会议记录中。麻省理工学院出版社，23-37。
[40] Maratea，M.、Pulina，L.和Ricca，F.2015。ASP的多级算法选择。见Calimeri等人（2015），439-445·Zbl 1467.68027号
[41] . 2014. 第九次Max-SAT评估。网址：http://www.maxsat.udl.cat/14/。
[42] Moreno-Centeno，E.和Karp，R.M.2013。隐式命中集方法用于解决组合优化问题，并应用于多基因组比对。运筹学61，2453-468·Zbl 1267.90125号
[43] Morgado，A.、Dodaro，C.和Marques-Silva，J.2014。具有软基数约束的Core-guided maxsat。《2014年CP会议录》，B.O'Sullivan，Ed.LNCS，第8656卷。施普林格，564-573。
[44] Nieuwenhuis，R.、Oliveras，A.和Tinelli，C.2006。求解SAT和SAT模理论：从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL（T）。美国医学会杂志53，6，937-977·Zbl 1326.68164号
[45] Saikko，P.、Dodaro，C.、Alviano，M.和Järvisalo，M.2018。答案集编程中的混合优化方法。《2018年韩国研究院会议录》，Thielscher，M.、Toni，F.和Wolter，F.，AAAI出版社编辑，32-41。
[46] Waksman，A.1968。排列网络。ACM杂志15，1，159-163·Zbl 0157.23702号
[47] Zhou，N.和Kjellerstrand，H.2016。picat-sat编译器。在《2016年PADL会议录》中，Gavanelli，M.和Reppy，J.H.，Eds.LNCS，第9585卷。施普林格，48-62。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。