×
约翰·费希特。;马丁·克罗内格;斯特凡·沃尔特兰

答案集编程的多参数视图。 （英语） Zbl 1420.68030号

安。数学。Artif公司。智力。 86，编号1-3，121-147（2019）.
摘要：析取答案集编程（ASP）是一个重要的声明建模和问题解决框架，其中一致性（决定程序是否有答案集）等基本决策问题的计算复杂性位于多项式层次的第二层。在过去的几十年中，人们采用了不同的方法来寻找程序的可处理片段，尤其是使用参数化复杂度。然而，由于一次只考虑了一个或很少的参数，因此参数化复杂性的全部潜力尚未被释放。本文考虑了析取ASP一致性问题的几个自然参数。此外，我们还考虑了答案集的大小；对于需要小解决方案的应用程序来说，一个特别有趣的限制是在ASP中编码子集最小化问题，由于其语义中固有的最小化，可以直接实现。以前通过答案集的大小将一致性问题参数化的工作大多产生了负面结果。相比之下，我们从WMMSAT问题的最新发现开始，并基于参数组合显示了几个新的固定参数可处理性（fpt）结果。此外，我们还建立了各种硬度结果（paraNP、W[2]和W[1]-硬度）来评估参数组合的紧密性。

引用于2文件

MSC公司：

68N17号 逻辑编程
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析

关键词：

答案集编程;参数化复杂性理论;多参数复杂性;固定参数牵引性;多参数化

软件：

动态ASP;Lparse（Lparse）;超小卫星
PDF格式BibTeX公司 XML格式引用
\textit{J.K.Fichte}等人，《数学年鉴》。Artif公司。智力。86，编号1--3，121-147（2019；Zbl 1420.68030）
全文： 内政部

参考文献：

[1] Arora，S.，Barak，B.：《计算复杂性：现代方法》。剑桥大学出版社，剑桥（2009）·Zbl 1193.68112号
[2] Bliem，B.、Moldovan，M.、Morak，M.和Woltran，S.：树宽对ASP基础和解决的影响。参见：Sierra，C.（编辑）《第26届国际人工智能联合会议论文集》（IJCAI’17）。第852-858页。AAAI出版社（2017）·Zbl 1494.68040号
[3] Bliem，B.，Ordyniak，S.，Woltran，S.:答案集编程的Clique-width和定向宽度度量。摘自：Fox，M.，Kaminka，G.（编辑）《第22届欧洲人工智能会议论文集》（ECAI’16）。《人工智能与应用前沿》，第285卷，第1105-1113页。IOS出版社，海牙（2016）。扩展版本arXiv:1606.09449·Zbl 1403.68029号
[4] Bodlaender，H.L.，Downey，R.G.，Fellows，M.R.，Hallett，M.T.，Wareham，H.T.：计算生物学中的参数化复杂性分析。生物信息学11（1），49-57（1995）
[5] Bodlaender，H.L.，Downey，R.G.，Fellows，M.R.，Wareham，H.T.：序列比对和一致性的参数化复杂性。西奥。计算。科学。147(1&2), 31-54 (1995) ·Zbl 0888.68060号
[6] Bomanson，J.、Gebser，M.、Janhunen，T.：改进答案集程序中权重规则的规范化。收录：Fermé，E.，Leite，J.（编辑）《第十四届欧洲人工智能逻辑会议论文集》（JELIA'14），《计算机科学讲义》，第8761卷，第166-180页。施普林格（2014）·Zbl 1432.68056号
[7] Bomanson，J.，Janhunen，T.：使用合并和排序结构规范基数规则。收录：Cabalar，P.，Son，T.（编辑）《第十二届逻辑程序设计和非单调推理国际会议论文集》（LPNMR’13）。计算机科学讲义，第8148卷，第187-199页。科伦娜·施普林格（2013）·Zbl 1405.68044号
[8] Courcelle，B.：图形重写：代数和逻辑方法。收录：van Leeuwen，J（编辑）《理论计算机科学手册》，第B卷，第形式模型和语义，第193-242页。爱思唯尔科学出版社，北荷兰（1990年）·Zbl 0900.68282号
[9] Creignou，N.、Meier，A.、Müller，J.S.、Schmidt，J.、Vollmer，H.：参数化枚举的范例。西奥。计算。科学。60（4），737-758（2017）·Zbl 1368.68221号
[10] Cygan，M.，Fomin，F.V.，Kowalik，L.，Lokshtanov，D.，Dániel Marx，M.P.，Pilipczuk，M..，Saurabh，S.：参数化算法。柏林施普林格出版社（2015）·Zbl 1334.90001号
[11] Dowling，W.F.，Gallier，J.H.：测试命题Horn公式可满足性的线性时间算法。J.日志。程序。1(3), 267-284 (1984) ·Zbl 0593.68062号
[12] Downey，R.G.，Fellows，M.R.：参数化复杂性。计算机科学专著。纽约施普林格出版社（1999年）
[13] Downey，R.G.，Fellows，M.R.：参数化复杂性的基础。计算机科学课文。施普林格，伦敦（2013）·Zbl 1358.68006号
[14] Eén，n.，Sörensson，n.：将伪布尔约束转化为SAT.J.关于可满足布尔建模和计算2（1-4），1-26（2006）·Zbl 1116.68083号
[15] Eiter，T.，Gottlob，G.：关于析取逻辑编程的计算成本：命题情况。安。数学。Artif公司。智力。15(3-4), 289-323 (1995) ·Zbl 0858.68016号
[16] Eiter，T.，Polleres，A.：答案集编程中猜测和检查程序的自动集成：元解释器和应用程序。理论与实践。逻辑程序。6(1-2), 23-60 (2006) ·Zbl 1109.68028号
[17] 费希特，J.K.：好的、坏的和奇怪的：应答程序中的循环。收录：Lassiter，D.，Slavkovik，M.（编辑）《第23届欧洲逻辑、语言和信息暑期学校（ESSLLI'11）和逻辑、语言与计算新方向会议记录》（ESSLILI'10和ESSLLI'11学生会，论文选集系列），计算机科学讲义，第7415卷，第78-90页。柏林施普林格出版社（2012）·Zbl 1372.68052号
[18] Fichte，J.K.，Hecher，M.：利用树宽计算投影答案集。收录：Lierler，Y.，Woltran，S.（eds.）《第15届逻辑编程与非单调推理国际会议论文集》（LPNMR’19）。费城。出现（2019年）·Zbl 1511.68195号
[19] Fichte，J.K.，Hecher，M.，Meier，A.：计算抽象论证中推理的复杂性。摘自：Hentenryck，P.V.，Zhou，Z.（编辑）《第33届AAAI人工智能会议论文集》（AAAI’19）。AAAI出版社，火奴鲁鲁（2019）
[20] Fichte，J.K.、Hecher，M.、Morak，M.和Woltran，S.：重温有界树宽的答案集求解。收录：Balduccini，M.，Janhunen，T（eds.）《第14届逻辑编程和非单调推理国际会议论文集》（LPNMR’17）。计算机科学讲义，第10377卷，第132-145页。埃斯波·斯普林格（2017）·Zbl 1491.68042号
[21] Fichte，J.K.、Hecher，M.、Morak，M.和Woltran，S.：dynASP2.5：树分解的动态编程。摘自：Lokshtanov，D.，Nishimura，N（eds.）《第十二届参数化和精确计算国际研讨会论文集》（IPEC’17）。第17:1-17:12页。莱布尼茨国际信息学论文集（LIPIcs），达格斯图尔出版社（2017）·Zbl 1443.68164号
[22] Fichte，J.K.、Hecher，M.、Morak，M.和Woltran，S.：利用树宽进行预测模型计数及其限制。收录：Beyersdorff，O.，Wintersteiger，C.（编辑）《第21届可满足性测试理论与应用国际会议论文集》（SAT’18）。计算机科学讲义，第10929卷，第165-184页。施普林格，牛津（2018）·Zbl 1511.68195号
[23] Fichte，J.K.，Hecher，M.，Schindler，I.：默认逻辑和有界树宽度。收录：Klein，S.T.、Martín-Vide，C.、Shapira，D.（编辑）《第十二届语言与自动机理论与应用国际会议论文集》（LATA’18）。计算机科学讲义，第10792卷，第130-142页。拉马特·甘·施普林格（2018）·Zbl 1504.68209号
[24] Fichte，J.K.，Meier，A.，Schindler，I.：默认逻辑的强大后门。收录于：Creignou，N.，Le Berre，D（eds.）《第19届国际会议论文集满意测试理论与应用》（SAT’16），第45-59页。斯普林格，波尔多（2016年7月）·Zbl 1475.68366号
[25] Fichte，J.K.，Szeider，S.：析取逻辑程序的归一化后门。ACM事务处理。计算。日志。17（1），7（2015）·Zbl 1367.68032号
[26] Fichte，J.K.，Szeider，S.：易于处理的答案集编程的后门。Artif公司。智力。220(0), 64-103 (2015) ·Zbl 1328.68040号
[27] Fichte，J.K.，Szeider，S.：答案集编程的后门树。In:Bogaerts，B.，Harrison，A.（eds.）第十届答案集编程和其他计算范式研讨会论文集，与第十四届逻辑编程和非单调推理国际会议同期举行(ASPOCP@LPNMR17年），第1868卷，第9:1-14页。CEUR研讨会记录（CEUR-WS.org），埃斯波（2017年7月）
[28] Fichte，J.K.，Truszczynski，M.，Woltran，S.：双正规程序——被遗忘的类。逻辑程序设计理论与实践。在：第31届逻辑编程国际会议记录（ICLP’15），第495-510页（2015）·Zbl 1379.68061号
[29] Flum，J.，Grohe，M.：描述参数化复杂性类。Inf.计算。187(2), 291-319 (2003) ·Zbl 1076.68031号
[30] Flum，J.，Grohe，M.：参数化复杂性理论理论计算机科学，第十四卷。柏林施普林格出版社（2006）·Zbl 1143.68016号
[31] Gebser，M.，Kaminski，R.，Kaufmann，B.，Schaub，T.：实践中的答案集求解。摩根克莱普尔（2012）·Zbl 1251.68060号
[32] Gebser，M.，Schaub，T.：答案集语义下逻辑程序的表计算。ACM事务处理。计算。日志。14(2), 15 (2013) ·Zbl 1353.68037号
[33] Gebser，M.、Schaub，T.、Thiele，S.、Veber，P.：使用答案集编程检测大型生物网络中的不一致性。理论与实践。逻辑程序。11(2-3), 323—360 (2011) ·Zbl 1220.68036号
[34] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。收录于：Kowalski，R.A.，Bowen，K.（编辑）《第五届逻辑编程国际会议和研讨会论文集》（ICLP/SLP'88），第2卷，第1070-1080页。麻省理工学院出版社，西雅图（1988）
[35] Gelfond，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。N.通用。计算。9(3/4), 365-386 (1991) ·Zbl 0735.68012号
[36] Gottlob，G.，Pichler，R.，Wei，F.：有界树宽度是知识表示和推理可处理性的关键。Artif公司。智力。174(1), 105-132 (2010) ·Zbl 1185.68690号
[37] Gottlob，G.、Scarcello，F.、Sideri，M.：人工智能和非单调推理中的固定参数复杂性。Artif公司。智力。138(1-2), 55-86 (2002) ·Zbl 0995.68118号
[38] Gottlob，G.，Szeider，S.：人工智能、约束满足和数据库问题的固定参数算法。计算。J.51（3），303-325（2008）
[39] Jakl，M.，Pichler，R.，Woltran，S.：具有有界树宽度的回答集编程。摘自：Boutiler，C（ed.）《第21届国际人工智能联合会议论文集》（IJCAI'09），第2卷，第816-822页。AAAI出版社，帕萨迪纳（2009）
[40] Janhunen，T.：关于缺省否定对选言规则表达的影响。摘自：Eiter，T.，Faber，W.，Truszczynski，M（eds.）《第六届逻辑编程和非动力推理国际会议论文集》（LPNMR’01）。计算机科学讲义，第2173卷，第93-106页。施普林格，维也纳（2001）·Zbl 1007.68170号
[41] Janhunen，T.，Niemelä，I.：非析取答案集程序到命题子句的紧凑翻译。收录：Balduccini，M.，Son，T.（编辑）《逻辑编程、知识表示和非单调推理——纪念迈克尔·盖尔丰德65岁生日的文章》，《人工智能讲义》，第6565卷，第111-130页。柏林施普林格出版社（2011）·Zbl 1326.68058号
[42] Janota，M.，Marques-Silva，J.：关于决定mus与QBF的成员资格。在：Lee，J（编辑）《第17届约束编程原理与实践国际会议论文集》（CP'11）。计算机科学课堂讲稿，第6876卷，第414-428页。施普林格，佩鲁贾（2011）
[43] Kroneger，M.，Ordyniak，S.，Pfandler，A.：规划的后门。摘自：Brodley，C.E.，Stone，P（eds.）《第28届AAAI人工智能会议论文集》（AAAI’14），第2300-2307页。魁北克市AAAI出版社（2014）·Zbl 1478.68323号
[44] Kroneger，M.，Ordyniak，S.，Pfandler，A.：规划的可变删除后门。收录于：Bonet，B.，Koenig，S（eds.）《第29届AAAI人工智能会议论文集》（AAAI'15），第3305-3312页。AAAI出版社，奥斯汀（2015）·Zbl 1478.68323号
[45] Kroneger，M.，Pfandler，A.，Pichler，R.：优化规划的参数化复杂性：详细地图。收录：Rossi，F.，Thrun，S（编辑）《第23届国际人工智能联合会议论文集》（IJCAI'13），第954-961页。AAAI出版社，北京（2013）
[46] Lackner，M.，Pfandler，A.：寻找最小模型的固定参数算法。摘自：Eiter，T.，McIlraith，S（eds.）《第13届知识表示和推理原则国际会议论文集》（KR’12），第85-95页。AAAI出版社，罗马（2012）·Zbl 1327.68276号
[47] Lanctot，J.K.，Li，M.，Ma，B.，Wang，S.，Zhang，L.：区分字符串选择问题。Inf.计算。185（1），41-55（2003）·Zbl 1069.68116号
[48] Lifschitz，V.：稳定模型的十三种定义。收录于：Blass，A.，Dershowitz，N.，Reisig，W.（编辑）《逻辑和计算领域》，《计算机科学讲义》，第6300卷，第488-503页。柏林施普林格出版社（2010年）·Zbl 1287.68021号
[49] Lonc，Z.，Truszczynski，M.：逻辑程序语义的固定参数复杂性。ACM事务处理。计算。日志。4(1), 91-119 (2003) ·Zbl 1365.68150号
[50] Marek，V.W.，Truszczynski，M.：稳定模型和替代逻辑编程范式。摘自：Apt，K.R.，Marek，V.W.，Truszczynski，M.，Warren，D.（编辑）《逻辑编程范式：25年展望》，第375-398页。人工智能，施普林格，柏林（1999）·Zbl 0979.68524号
[51] Marx，D.，Pilipczuk，M.：关于子图同构的参数化复杂性，你一直想知道的一切（但不敢问）。收录：Mayr，E.W.，Portier，N（eds.）第31届计算机科学理论方面国际研讨会论文集（STACS’14）。莱布尼茨国际信息学会议录（LIPIcs），第25卷，第542-553页。达格斯图尔出版社，里昂（2014）·Zbl 1359.68139号
[52] Meier，A.，Schindler，I.，Schmidt，J.，Thomas，M.，Vollmer，H.：关于非单调逻辑的参数化复杂性。架构（architecture）。数学。日志。54(5-6), 685-710 (2015) ·Zbl 1361.03036号
[53] Papadimitriou，C.H.：计算复杂性。Addison-Wesley（1994）·兹比尔083368049
[54] 皮尔斯，D.：稳定模型和答案集的一种新的逻辑表征。收录：Dix，J.，Pereira，L.M.，Przymusinski，T.C.（编辑）《逻辑编程的非单调扩展》，第57-70页。柏林施普林格（1997）
[55] Peschiera，C.、Pulina，L.、Taccella，A.、Bubeck，U.、Kullmann，O.、Lync，I.：第七次QBF解算器评估（QBFEVAL'10）。收录：Strichman，O.，Szeider，S（eds.）《第13届国际可满足性测试理论与应用会议论文集》（SAT’10）。计算机科学讲义，第6175卷，第237-250页。斯普林格，爱丁堡（2010）·Zbl 1306.68173号
[56] Pichler，R.、Rümmele，S.、Szeider，S.和Woltran，S.:带权重约束的可追踪答案集编程：有界树宽是不够的。理论与实践。逻辑程序。14(2), 141-164 (2014) ·Zbl 1310.68053号
[57] Schaefer，T.J.：可满足性问题的复杂性。收录人：Lipton，R.J.、Burkhard，W.A.、Savitch，W.J.、Friedman，E.P.、Aho，A.（编辑）《第十届ACM计算理论研讨会论文集》（STOC'78），第216-226页。纽约，Assoc.Compute。机器。(1978) ·Zbl 1282.68143号
[58] Simons，P.，Niemelä，I.，Soininen，T.：扩展和实现稳定模型语义。Artif公司。智力。138(1-2), 181-234 (2002) ·Zbl 0995.68021号
[59] Syrjänen，T.：Lparse 1.0用户手册。http://www.tcs.hut.fi/Software/smodels/lparse.ps/ (2002)
[60] Truszczynski，M.：三分法和二分法是用析取逻辑程序进行推理的复杂性的结果。理论与实践。逻辑程序。11, 881-904 (2011) ·Zbl 1242.68052号
[61] Tu，P.H.，Son，T.C.，Gelfond，M.，Morales，A.R.：行动理论的近似及其在一致性规划中的应用。Artif公司。智力。175(1), 79-119 (2011). 约翰·麦卡锡的遗产·Zbl 1230.68185号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。