×
乔瓦尼·阿蒙多拉;卡明·多达罗;弗朗西斯科·里卡

用更少的资源获得更好的准相干答案集。 （英语） Zbl 1434.68067号

理论与实践。日志。程序。 19，编号5-6，757-772（2019）.
摘要：答案集编程（ASP）是逻辑编程的一种成熟形式。ASP中的问题解决需要编写一个ASP程序，其答案集与解决方案相对应。尽管一些ASP程序的答案集不存在可以被视为一种建模特征，但在许多其他情况下，这是一个弱点，特别是在查询应答中。准相干答案集语义扩展了ASP的经典语义，也从非相干程序中得出了有意义的结论，从而扩大了ASP的应用范围。准相干ASP的最新实现采用了半平衡语义，但不能直接提升，以高效计算（更好的）分割半平衡语义来丢弃不需要的半平衡模型。本文提出了一种计算分裂半平衡模型的有效评估技术。硬基准测试的实验表明，与现有方法相比，可以使用更少的计算资源计算出更好的准相干答案集。

MSC公司：

68N17号 逻辑编程
68问题55 计算理论中的语义学

关键词：

答案集编程;准相干推理;半平衡模型

软件：

WASP公司;DLV2型;克林戈;扣环
PDF格式BibTeX公司 XML格式引用
\textit{G.Amendola}等人，《理论与实践》。日志。程序。19，编号5--6，757--772（2019；Zbl 1434.68067）
全文： 内政部 arXiv公司

参考文献：

[1] Alcántara，J.、Damásio，C.V.和Pereira，L.M.2005。亚一致逻辑程序的一个包含框架。应用逻辑杂志3，1，67-95·Zbl 1063.03015号
[2] 阿尔维亚诺，M.2018。命题限定中的问答。国际人工智能会议（IJCAI）论文集。ijcai.org，1669-1675年。
[3] Alviano，M.、Amendola，G.、Dodaro，C.、Leone，N.、Maratea，M.和Ricca，F.2019。WASP中析取程序的评估。《逻辑程序设计和非单调推理国际会议论文集》。《计算机科学讲义》，第11481卷。施普林格，241-255·Zbl 1522.68096号
[4] Alviano，M.、Calimeri，F.、Dodaro，C.、Fuscá，D.、Leone，N.、Perri，S.、Ricca，F.，Veltri，P.和Zangari，J.2017。ASP系统DLV2。《逻辑程序设计和非单调推理国际会议论文集》。计算机科学讲义，第10377卷。施普林格，215-221·兹比尔1472.68178
[5] Alviano，M.和Dodaro，C.2016。通过不可满足的核收缩实现任意时间的答案集优化。逻辑程序设计的理论与实践16，5-6，533-551·兹比尔1379.68033
[6] Alviano，M.、Dodaro，C.、Leone，N.和Ricca，F.2015。WASP进展。《逻辑程序设计和非单调推理国际会议论文集》。计算机科学课堂讲稿。40-54. ·Zbl 1467.68021号
[7] Amendola，G.、Dodaro，C.、Faber，W.、Leone，N.和Ricca，F.2017。关于亚相干答案集的计算。在AAAI人工智能会议记录中。1034-1040.
[8] Amendola，G.、Dodaro，C.、Faber，W.和Ricca，F.2018。有效计算次相干答案集的外部支持模型。在人工智能会议（AAAI）的会议记录中。AAAI出版社，1720-1727年。
[9] Amendola，G.、Eiter，T.、Fink，M.、Leone，N.和Moura，J.2016。亚相干答案集程序的半平衡模型。人工智能234，219-271·Zbl 1351.68259号
[10] Angiulli，F.、Ben-Eliyahu，R.、Fassetti，F.和Palopoli，2014年2月。关于一些CNF理论的最小模型计算的可处理性。人工智能210，56-77·Zbl 1334.68205号
[11] Arenas，M.、Bertossi，L.E.和Chomicki，J.2003。不一致数据库中一致查询应答的答案集。逻辑程序设计理论与实践3，4-5，393-424·Zbl 1079.68026号
[12] Balduccini，M.和Gelfond，M.2003。具有一致性恢复规则的逻辑程序。在常识推理逻辑形式化国际研讨会论文集，AAAI春季研讨会系列。第102卷。9-18.
[13] Balduccini，M.，Gelfond，M.、Watson，R.和Nogueira，M.2001。美国咨询师：答案集规划案例研究。《逻辑程序设计和非单调推理国际会议论文集》。计算机科学讲义，第2173卷。施普林格，439-442·Zbl 1010.68800号
[14] 巴拉尔，C.2003。知识表示、推理和陈述式问题解决。剑桥大学出版社，美国纽约州纽约市·Zbl 1056.68139号
[15] Brewka，G.、Eiter，T.和Truszczynski，M.2011。答案集编程一目了然。ACM通信54、12、92-103。
[16] Bry，F.和Yahya，A.H.2000。正单位超分辨率表及其在最小模型生成中的应用。《自动推理杂志》25，1，35-82·Zbl 0960.03006号
[17] Buccafurri，F.，Leone，N.和Rullo，P.2000。通过约束增强析取数据日志。IEEE知识与数据工程学报12，5，845-860。
[18] Calimeri，F.、Gebser，M.、Maratea，M.和Ricca，F.2016。第五届答案集编程竞赛的设计和结果。人工智能23151-181·Zbl 1344.68042号
[19] Campeotto，F.、Dovier，A.和Pontelli，E.2015。一种用于GPU上蛋白质结构预测的声明性并发系统。《实验与理论人工智能杂志》27，5，503-541。
[20] Costantini，S.和Formisano，A.2016年。基于资源的答案集语义中的查询回答。逻辑程序设计的理论与实践16，5-6，619-635·Zbl 1379.68052号
[21] Cuteri，B.、Dodaro，C.和Ricca，F.2019。使用准相干推理调试答案集程序。意大利计算逻辑会议（CILC）论文集。CEUR研讨会记录，第2396卷。CEUR-WS.org，289-299。
[22] Dodaro，C.、Gasteiger，P.、Leone，N.、Musitch，B.、Ricca，F.和Shchekotykhin，K.2016。结合答案集编程和领域启发法解决工业难题（应用论文）。逻辑程序设计理论与实践16，5-6，653-669·Zbl 1379.68281号
[23] Dodaro，C.、Leone，N.、Nardi，B.和Ricca，F.2015。旅游业中的分配问题：基于ASP的解决方案。《网络推理和规则系统国际会议论文集》（RR）。计算机科学讲义，第9209卷。施普林格，77-92。
[24] Eiter，T.、Fink，M.和Moura，J.，2010年。准相干答案集编程。《知识表示与推理原则国际会议论文集》（KR）·Zbl 1351.68259号
[25] Eiter，T.、Ianni，G.和Krennwallner，T.2009。答案集编程：初级。《推理网络国际暑期学校学报》。计算机科学讲义，第5689卷。施普林格，40-110·Zbl 1254.68248号
[26] Eiter，T.、Leone，N.和Saccá，D.1997。析取演绎数据库的部分语义。数学和人工智能年鉴19，1-2，59-96·Zbl 0880.68029号
[27] Erdem，E.、Gelfond，M.和Leone，N.2016。答案集编程的应用。AI杂志37，3，53-68。
[28] Gaggl，S.A.、Manthey，N.、Ronca，A.、Wallner，J.P.和Woltran，S.2015。用于抽象论证的改进的答案集编程编码。逻辑程序设计理论与实践15，4-5，434-448·Zbl 1379.68292号
[29] Galindo，M.J.O.、Ramírez，J.R.A.和Carbarlido，J.L.2008。次一致逻辑的逻辑弱完备。《逻辑与计算杂志》18，61913-940·Zbl 1156.03025号
[30] Gebser，M.、Kaminski，R.、Kaufmann，B.、Romero，J.和Schaub，T.2015。卡环系列3的进展。《逻辑程序设计和非单调推理国际会议论文集》。计算机科学讲义，第9345卷。施普林格，368-383·Zbl 1467.68181号
[31] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2012。实践中的答案集求解。Morgan&Claypool出版社·Zbl 1251.68060号
[32] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2019。使用clipeo进行多快照ASP求解。逻辑程序设计理论与实践19，1，27-82·Zbl 1486.68027号
[33] Gebser，M.、Maratea，M.和Ricca，F.2016。答案集编程竞赛中最热门的是什么。在人工智能会议（AAAI）的会议记录中。AAAI出版社，4327-4329。
[34] Gebser，M.、Maratea，M.和Ricca，F.2017。第六届答案集编程竞赛。《人工智能研究杂志》60，41-95·Zbl 1418.68030号
[35] Gelfond，M.和Lifschitz，V.1991。逻辑程序和析取数据库中的经典否定。新一代计算9，3/4，365-386·Zbl 0735.68012号
[36] Janota，M.和Marques-Silva，J.2016。单调谓词选择最小集的查询复杂性。人工智能23373-83·Zbl 1351.68117号
[37] Kleinberg，J.M.和Tardos，2006年。算法设计。艾迪森·韦斯利。
[38] Koshimura，M.、Nabeshima，H.、Fujita，H.和Hasegawa，R.2009。关于原子集的最小模型生成。《一阶定理证明国际研讨会论文集》。欧洲委员会研讨会论文集，第556卷。CEUR-WS.org，49-59。
[39] Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.，Perri，S.和Scarcello，F.2006。用于知识表示和推理的DLV系统。ACM计算逻辑学报7，3，499-562·兹比尔1367.68308
[40] Lierler，Y.、Maratea，M.和Ricca，F.2016。系统、工程环境和竞争。AI杂志37，3，45-52。
[41] Lifschitz，V.1999。答案集规划。《逻辑程序设计国际会议论文集》。麻省理工学院出版社，23-37。
[42] Lifschitz，V.和Turner，H.1994。分割逻辑程序。《逻辑程序设计国际会议论文集》。麻省理工学院出版社，23-37。
[43] 尼梅尔，I.1996。用于最小模型推理的表格演算。在用解析表和相关方法证明定理国际研讨会论文集（Tableaux）上。278-294. ·兹比尔1412.68247
[44] 皮尔斯，D.2006。均衡逻辑。数学与人工智能年鉴47，1-2，3-41·Zbl 1117.03039号
[45] Pereira，L.M.和Pinto，A.M.，2007年。正常逻辑程序的批准模型。在《编程人工智能和推理逻辑国际会议论文集》（LPAR）上。计算机科学讲义，第4790卷。454-468. ·Zbl 1137.68340号
[46] Przymusinski，T.C.1991年。析取程序的稳定语义。新一代计算9，3/4，401-424·Zbl 0796.68053号
[47] Sakama，C.和Inoue，K.1995。扩展析取程序的准一致稳定语义。逻辑与计算杂志5，3，265-285·Zbl 0827.68070号
[48] 塞佩尔，D.1997。析取演绎数据库的部分证据稳定模型。在逻辑编程和知识表示（LPKR）国际研讨会论文集中。《计算机科学讲义》，第1471卷。施普林格，66岁至84岁。
[49] van Gelder，A.、Ross，K.A.和Schlipf，J.S.1991年。通用逻辑程序的基础良好的语义。美国医学会杂志38，3，620-650·兹比尔0799.68045
[50] van Harmelen，F.、Lifschitz，V.和Porter，B.W.，2008年版。知识表示手册。《人工智能基础》，第3卷。爱思唯尔·Zbl 1183.68611号
[51] 你、J.和袁，L.1994。演绎数据库和逻辑程序的三值语义。《计算机与系统科学杂志》49，2，334-361·Zbl 0821.68080号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。