×
安东尼乌斯·温齐尔;理查德·塔普;格哈德·弗里德里希

先进的惰性基础ASP解决技术–重启、阶段节省、启发式等。 （英语） Zbl 1468.68228号

理论实践。日志。程序。 20，第5期，609-624（2020年）.
摘要：答案集编程（ASP）是一种功能强大且富有表现力的知识表示范式，在基于逻辑的人工智能中有大量应用。然而，传统的基础与解决方法，需要提前接地ASP程序，因此会遇到所谓的接地瓶颈（即ASP程序很容易耗尽所有可用内存，从而无法解决）。作为一种补救措施，已经开发出了懒散的ASP解析器，但许多先进的基于ASP的解析器技术尚不可用。在这项工作中，我们首次提出了对许多重要技术的惰性基础设置的适应，如重新启动、阶段保存、域独立启发式和习得子句删除。此外，我们调查了它们的影响，通常观察到解决能力有了很大提高，并且在某些情况下也发现了负面影响，这表明需要像其他解决者一样进行组合解决。

MSC公司：

68立方英尺 知识表示
第68页第17页 逻辑编程
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

答案集编程;惰性接地;解决方法;知识表示

软件：

WASP公司;OMiGA公司;DLV2型;超小卫星;格林戈;GASP公司;Berk最小值;克林戈;糠
PDF格式BibTeX公司 XML格式引用
\textit｛A.Weinzierl｝等人，《理论与实践》。日志。程序。20，第5号，609--624（2020；Zbl 1468.68228）
全文： DOI程序 arXiv公司

参考文献：

[1] Abels，D.、Jordi，J.、Ostrowski，M.、Schaub，T.、Toletti，A.和Wanko，P.2019。混合ASP的列车调度。在LPNMR中。计算机科学课堂讲稿，第11481卷。施普林格，3-17·Zbl 1522.68094号
[2] Alviano，M.，Calimeri，F.，Charwat，G.，Dao-Tran，M.、Dodaro，C.、Ianni，G.、Krennwallner，T.、Kroneger，M.和Oetsch，J.、Pfandler，A.、Pührer，J.，Redl，C.、Ricca，F.、Schneider，P.、Schwengerer，M。第四场答案集节目竞赛：初步报告。在LPNMR中。LNCS，第8148卷。施普林格，42-53。
[3] Alviano，M.、Calimeri，F.、Dodaro，C.、Fuscá，D.、Leone，N.、Perri，S.、Ricca，F.，Veltri，P.和Zangari，J.2017。ASP系统DLV2。在LPNMR中。计算机科学讲义，第10377卷。施普林格，215-221·Zbl 1472.68178号
[4] Alviano，M.、Dodaro，C.、Faber，W.、Leone，N.和Ricca，F.2013。WASP：基于约束学习的本地ASP解算器。在LPNMR中。LNCS，第8148卷。施普林格，54-66。
[5] Anger，C.、Gebser，M.、Janhunen，T.和Schaub，T.，2006年。没有身体的头是什么？在ECAI中。人工智能与应用前沿，第141卷。IOS出版社，769-770。
[6] Aschinger，M.、Drescher，C.、Friedrich，G.、Gottlob，G.，Jeavons，P.、Ryabokon，A.和Thorstensen，E.2011。伙伴单位问题的优化方法。在CPAIOR中。计算机科学讲义，第6697卷。施普林格，4-19·Zbl 1302.90164号
[7] Audemard，G.和Simon，L.2009。预测现代SAT解算器中习得从句的质量。在IJCAI.399-404中。
[8] Audemard，G.和Simon，L.2012。改进SAT和UNSAT的重启策略。在CP.计算机科学讲义，第7514卷。斯普林格，118-126。
[9] Biere，A.和Fröhlich，A.2018。评估CDCL重启方案。在位置@SAT。EPiC计算机系列，第59卷。EasyChair，1-17。
[10] Bogaerts，B.和Weinzierl，A.2018。利用答案集程序的惰性基础的理由。在IJCAI。ijcai.org，1737-1745年。
[11] Bomanson，J.、Janhunen，T.和Weinzierl，A.2019。在回答集编程中使用懒惰规范化来增强懒惰基础。在AAAI。AAAI出版社，2694-2702。
[12] Cabalar，P.、Kaminski，R.、Morkisch，P.和Schaub，T.2019。telingo=ASP+时间。在LPNMR中。计算机科学讲义，第11481卷。施普林格，256-269·Zbl 1522.68105号
[13] Calimeri，F.、Fuscá，D.、Perri，S.和Zangari，J.2017。I-DLV：DLV的新型智能接地器。Intelligenza人工矿11，1，5-20。
[14] Calimeri，F.、Gebser，M.、Maratea，M.和Ricca，F.2016。第五届答案集编程竞赛的设计和结果。工件。智力。231, 151-181. ·Zbl 1344.68042号
[15] Calimeri，F.、Ianni，G.和Ricca，F.2014。第三届公开答案集编程竞赛。理论实践。日志。程序。14,1, 117-135.
[16] 克拉克，K.L.1977。否定为失败。在逻辑和数据库中。数据库理论的进展。Plemum Press，纽约，293-322。
[17] Cuteri，B.、Dodaro，C.、Ricca，F.和Schüller，P.2019。ASP程序的部分编译。理论实践。日志。程序。19,5-6, 857-873. ·Zbl 1434.68072号
[18] Dao-Tran，M.、Eiter，T.、Fink，M.，Weidinger，G.和Weinzierl，A.2012。Omiga：一个开放的基础即时答案集求解器。在JELIA。LNCS，第7519卷。施普林格，480-483。
[19] De Cat，B.、Denecker，M.、Bruynooghe，M.和Stuckey，P.J.，2015年。懒散的模型扩展：将基础与搜索交织在一起。J.阿蒂夫。智力。第52、235-286号决议·Zbl 1323.68464号
[20] Eén，n.和Sörensson，n.2003。一个可扩展的sat解算器。在SAT.计算机科学讲义，第2919卷。施普林格，502-518·Zbl 1204.68191号
[21] Eiter，T.、Kaminski，T.，Redl，C.和Weinzierl，A.2018。利用部分赋值对具有外部源访问的答案集程序进行有效评估。J.阿蒂夫。智力。第62、665-727号决议·Zbl 1448.68398号
[22] Elffers，J.、Giráldez-Cru，J.，Gocht，S.、Nordström，J.和Simon，L.2018。从理论SAT基准中寻求CDCL的实际见解。在IJCAI。ijcai.org，1300-1308。
[23] Faber，W.、Pfeifer，G.和Leone，N.2011。答案集编程中递归聚合的语义和复杂性。工件。智力。175, 1, 278-298. ·Zbl 1216.68263号
[24] Falkner，A.A.、Friedrich，G.、Schekotihin，K.、Taupe，R.和Teppan，E.C.2018。答案集编程的工业应用。KI 32，2-3，165-176。
[25] Friedrich，G.、Ryabokon，A.、Falkner，A.、Haselböck，A.、Schenner，G.和Schreiner，H.2011。（重新）使用应答集编程进行配置。在配置研讨会中。CEUR研讨会记录，第755卷。CEUR-WS.org网站。
[26] Gebser，M.、Kaminski，R.、Kaufmann，B.、Ostrowski，M.，Schaub，T.和Wanko，P.2016。使用clipeo 5可以轻松解决理论问题。在ICLP（技术通信）中。OASICS，第52卷。达格斯图尔-莱布尼兹·泽特鲁姆·福尔·Informatik宫，2:1-2:15。
[27] Gebser，M.、Kaminski，R.、König，A.和Schaub，T.2011。外国佬系列3的进展。在LPNMR中。LNCS，第6645卷。施普林格，345-351。
[28] Gebser，M.、Kaufmann，B.、Romero，J.、Otero，R.、Schaub，T.和Wanko，P.2013。答案集编程中的特定领域启发式。在AAAI。AAAI出版社。
[29] Gebser，M.、Kaufmann，B.和Schaub，T.2012。冲突驱动的答案集解决：从理论到实践。工件。智力。第187页，第52-89页·Zbl 1251.68060号
[30] Gebser，M.、Sabuncu，O.和Schaub，T.2011。基于增量答案集编程的有限模型计算系统。AI通讯。24, 2, 195-212. ·Zbl 1215.68209号
[31] Goldberg，E.和Novikov，Y.2002。Berkmin：一款快速而强大的SAT解决方案。2002年欧洲设计、自动化和测试会议和展览。IEEE，142-149·Zbl 1121.68106号
[32] Gomes，C.P.、Selman，B.、Crato，N.和Kautz，H.A.2000。可满足性和约束满足问题中的重尾现象。J.汽车。推理24，1/2，67-100·Zbl 0967.68145号
[33] Lefèvre，C.、Béatrix，C.、Stéphan，I.和Garcia，2017年2月。ASPeRiX，一种用于答案集计算的一阶前向链接方法。TPLP第17、3、266-310页·Zbl 1379.68075号
[34] Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.，Perri，S.和Scarcello，F.2006。用于知识表示和推理的DLV系统。ACM事务处理。计算。日志。7, 3, 499-562. ·Zbl 1367.68308号
[35] Leutgeb，L.和Weinzierl，A.2017。高效惰性ASP解决技术。在宣言中。计算机科学讲义，第10997卷。施普林格，132-148。
[36] Luby，M.、Sinclair，A.和Zuckerman，D.1993。拉斯维加斯算法的最佳加速。信息处理。莱特。47,4, 173-180. ·Zbl 0797.68139号
[37] Marple，K.、Bansal，A.、Min，R.和Gupta，G.2012。答案集程序的目标定向执行。在PPDP中。ACM，35-44岁。
[38] Marple，K.、Salazar，E.和Gupta，G.2017。计算正常逻辑程序的稳定模型，无需接地。CoRR abs/1709.00501。
[39] Moskewicz，M.W.、Madigan，C.F.、Zhao，Y.、Zhang，L.和Malik，S.2001。Chaff：设计一个高效的SAT求解器。在DAC中。美国医学会，530-535。
[40] Palö，A.D.、Dovier，A.、Pontelli，E.和Rossi，G.2009年。GASP：带有惰性接地的答案集编程。芬丹。通知。96, 3, 297-322. ·Zbl 1207.68118号
[41] Pipatsrisawat，K.和Darwiche，A.2007。一种用于可满足性求解器的轻量级组件缓存方案。SAT.计算机科学讲义，第4501卷。施普林格，294-299。
[42] 普雷托拉尼，1993年版。超图SAT算法的效率和稳定性。在团、着色和可满足性中。第26卷。DIMACS/AMS，479-498·Zbl 0864.90091号
[43] Redl，2016年2月。KR系统的自动化基准测试。在人工智能下的RCRA*IA公司。CEUR研讨会记录，第1745卷。CEUR-WS.org，45-56。
[44] Taupe，R.、Schekotihin，K.、Schüller，P.、Weinzirel，A.和Friedrich，G.2019。在ASP的声明性领域特定启发式中利用部分知识。在ICLP技术通信中。EPTCS，第306卷。22-35. ·Zbl 07453100号
[45] Taupe，R.、Weinzierl，A.和Friedrich，G.2019。基础学习中的懒惰程度——懒惰基础学习策略对ASP解决的影响。在LPNMR中。计算机科学讲义，第11481卷。施普林格，298-311·Zbl 1522.68115号
[46] Taupe，R.、Weinzierl，A.和Schenner，G.2017。为懒散的ASP解决引入启发式。在第一届答案集编程实践方面国际研讨会上。
[47] 特潘，E.C.2017。关于伙伴单位决策问题的复杂性。工件。智力。248, 112-122. ·Zbl 1420.68101号
[48] 魏泽尔，A.2013。学习解决问题的非基本规则。第二次研讨会，关于变量理论的基础和转换。25-37.
[49] Weinzierl，A.2017年。融合懒散基础和CDNL搜索以解决问题。在LPNMR中。LNCS，第10377卷。斯普林格，191-204年·Zbl 1491.68262号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。