马里奥·阿尔维亚诺;卡明·多达罗;马蒂·Järvisalo;马可·马拉提亚;亚历山德罗·普雷维蒂 ASP中通过最小模型和不可满足的核心进行谨慎推理。 （英文） Zbl 1451.68267号 理论与实践。日志。程序。 18，编号3-4，319-336（2018）. 摘要：答案集编程（ASP）是一个基于逻辑的知识表示框架，除其他推理模式外，它支持问答的中心任务。在命题情况下，问答相当于计算输入程序在给定候选集合中的原子之间的谨慎结果，其中一个谨慎的结果是原子属于所有稳定模型。目前，最有效的算法要么迭代验证用一个候选者的补码扩展的输入程序的稳定模型的存在性，其中候选者是启发式选择的，要么引入一个子句强制至少一个候补者的虚假性，这样，在计算稳定模型的过程中，求解器可以随时自由选择要伪造的候选对象。本文介绍了计算谨慎后果的新算法，旨在驱动求解器搜索放弃更多候选的稳定模型。具体来说，其中一个算法对真候选集强制执行最小性，其中可以使用不同的最小性概念，另一个算法利用了不可满足核计算。这些算法是在wasp中实现的，在最新ASP比赛的基准测试上进行的实验表明，新算法的性能优于目前的技术水平。 引用于5文件 MSC公司： 68立方英尺 知识表示 68N17号 逻辑编程 关键词：答案集编程;谨慎的推理;问答 软件：黄蜂;数据日志;DLV公司;格林戈;马西诺牌手表;DLV2型;皮格拉夫 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，《理论与实践》。日志。程序。18、编号3--4、319--336（2018；Zbl 1451.68267） 全文： 内政部 arXiv公司 参考文献： [1] Alviano，M.，通过不令人满意的核心分析进行命题限制中的模型枚举，逻辑编程理论与实践，17，5-6，708-725，（2017）·兹比尔1422.68217 ·doi:10.1017/S1471068417000278 [2] Alviano，M.，《逻辑编程国际会议的技术交流》，《pyglaf论证推理器》，2:1-2:3，（2017），Schloss Dagstuhl-Leibniz Zentrum fuer Informatik [3] 阿尔维亚诺，M。；Calimeri，F。；多达罗，C。；Fuscá，D。；塞拉利昂，北卡罗来纳州。；佩里，S。；Ricca，F。；维尔特里，P。；Zangari，J.，逻辑编程和非单调推理国际会议，ASP系统DLV2，215-221，（2017），Springer·Zbl 1472.68178号 [4] 阿尔维亚诺，M。；Dodaro，C.，《通过不可满足核收缩实现任意时间答案集优化》，逻辑编程理论与实践，16，5-6，533-551，（2016）·Zbl 1379.68033号 ·文件编号：10.1017/S147106841600020X [5] 阿尔维亚诺，M。；Dodaro，C.（2017） [6] 阿尔维亚诺，M。；多达罗，C。；Faber，W。；塞拉利昂，北卡罗来纳州。；Ricca，F.，逻辑编程和非单调推理国际会议，WASP：基于约束学习的本地ASP求解器，54-66，（2013），Springer [7] 阿尔维亚诺，M。；多达罗，C。；塞拉利昂，北卡罗来纳州。；Ricca，F.，逻辑编程和非单调推理国际会议，WASP进展，40-54，（2015），Springer·Zbl 1467.68021号 [8] 阿尔维亚诺，M。；多达罗，C。；马尔克斯·席尔瓦，J。；Ricca，F.，《最优稳定模型搜索：算法与实现》，《逻辑与计算杂志》（2015） [9] 阿尔维亚诺，M。；多达罗，C。；Ricca，F.，《答案集编程中谨慎后果的任何时候计算》，逻辑编程理论与实践，14，4-5，755-770，（2014）·Zbl 1307.68012号 ·doi:10.1017/S1471068414000325 [10] 阿尔维亚诺，M。；多达罗，C。；Ricca，F.，国际人工智能联合会议，使用有限大小基数约束的MaxSAT算法，2677-2683，（2015），AAAI出版社 [11] 阿尔维亚诺，M。；Faber，W.，《动态魔法集和超相干答案集程序》，AI Communications，24，2，125-145，（2011）·兹比尔1215.68211 [12] 阿尔维亚诺，M。；Faber，W。；格雷科·G。；Leone，N.，《分离数据日志程序的魔法集》，《人工智能》，187156-192，（2012）·Zbl 1251.68051号 [13] 阿尔维亚诺，M。；Faber，W。；Leone，N.，《带函数的析取ASP:可决定查询和有效计算》，逻辑编程理论与实践，10，4-6，497-512，（2010）·Zbl 1209.68086号 ·网址：10.1017/S1471068410000244 [14] 阿尔维亚诺，M。；Faber，W。；塞拉利昂，北卡罗来纳州。；佩里，S。；Pfeifer，G。；Terracina，G.，数据日志重新加载，分离数据日志系统DLV，282-301，（2010），施普林格 [15] 阿蒙多拉，G。；多达罗，C。；Faber，W。；塞拉利昂，北卡罗来纳州。；Ricca，F.，《AAAI人工智能会议，关于亚相干答案集的计算》，1034-1040，（2017），AAAI出版社 [16] 阿雷纳斯，M。；贝托西，L.E。；Chomicki，J.，《不一致数据库中一致查询应答的答案集》，逻辑编程理论与实践，3，4-5，393-424，（2003）·Zbl 1079.68026号 ·文件编号：10.1017/S1471068403001832 [17] Baral，C.，《知识表示、推理和陈述式问题解决》，（2010），剑桥大学出版社·Zbl 1192.68666号 [18] Brewka，G。；Eiter，T.，《AAAI人工智能会议，异构非单调多上下文系统的平衡》，385-390，（2007），AAAI出版社 [19] Brewka，G。；艾特，T。；Truszczynski，M.，《答案集编程一览》，《ACM的通信》，第54、12、92-103页，（2011年） [20] Brewka，G。；罗洛夫森，F。；Serafini，L.（2007） [21] 布罗赫宁，R。；Maratea，M.（2015） [22] 布莱，F。；Yahya，A.H.，正单位超分辨率表及其在最小模型生成中的应用，自动推理杂志，25，1，35-82，（2000）·Zbl 0960.03006号 ·doi:10.1023/A:1006291616338 [23] Calimeri，F。；Gebser，M。；Maratea，M。；Ricca，F.，第五届答案集编程竞赛的设计和结果，人工智能，231151-181，（2016）·Zbl 1344.68042号 ·doi:10.1016/j.artint.2015.09.008 [24] Calimeri，F。；伊安尼，G。；Ricca，F.，第三届开放答案集编程竞赛，逻辑编程理论与实践，14，1，117-135，（2014）·doi:10.1017/S147106841200005 [25] Di Rosa，E。；Giunchiglia，E。；Maratea，M.，用偏好解决可满足性问题，约束，15，4，485-515，（2010）·Zbl 1208.68199号 ·doi:10.1007/s10601-010-9095-年 [26] 多达罗，C。；阿尔维亚诺，M。；Faber，W。；塞拉利昂，北卡罗来纳州。；Ricca，F。；Sirianni，M。；Fioravanti，F.，意大利计算逻辑会议，WASP的诞生：新ASP求解器的初步报告，99-113，（2011） [27] 多达罗，C。；Gasteiger，P。；塞拉利昂，北卡罗来纳州。；穆西奇，B。；Ricca，F。；Schekotihin，K.，结合答案集编程和领域启发法解决工业难题（应用论文），逻辑编程理论与实践，16，5-6，653-669，（2016）·Zbl 1379.68281号 ·网址：10.1017/S1471068416000284 [28] Eiter，T.，逻辑编程和非单调推理国际会议，数据集成和答案集编程，13-25，（2005），Springer·Zbl 1152.68639号 [29] 艾特，T。；Gottlob，G。；Mannila，H.，虚拟数据日志，美国计算机学会数据库系统汇刊，22，3364-418，（1997）·doi:10.145/261124.261126 [30] 艾特，T。；伊安尼，G。；Lukasiewicz，T。；辛德劳，R。；Tompits，H.，《将答案集编程与语义网络描述逻辑相结合》，《人工智能》，172，12-13，1495-1539，（2008）·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002 [31] Gebser，M。；卡明斯基，R。；科尼格，A。；Schaub，T.，逻辑程序设计和非单调推理国际会议，进展外国佬系列3，345-351，（2011），Springer [32] Gebser，M。；考夫曼，B。；罗梅罗，J。；奥特罗，R。；Schaub，T。；Wanko，P。；Desjardins，M。；Littman，M.L.，《AAAI人工智能会议，答案集编程中的领域特定启发法》，（2013），AAAI出版社 [33] Gebser，M。；考夫曼，B。；Schaub，T.，《冲突驱动的答案集解决：从理论到实践》，《人工智能》，187，52-89，（2012）·兹比尔1251.68060 [34] Gebser，M。；Maratea，M。；Ricca，F.，《第六届答案集编程竞赛》，《人工智能研究杂志》，60，41-95，（2017）·Zbl 1418.68030号 ·数字对象标识代码：10.1613/jair.5373 [35] 盖尔方德，M。；Lifschitz，V.，逻辑编程国际会议和研讨会，逻辑编程的稳定模型语义，1070-1080，（1988），麻省理工出版社 [36] 盖尔方德，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算，9，3-4，365-386，（1991）·Zbl 0735.68012号 ·doi:10.1007/BF03037169 [37] Giunchiglia，E。；塞拉利昂，北卡罗来纳州。；Maratea，M.，《关于答案集求解者之间的关系》，《数学和人工智能年鉴》，53，1-4，169-204，（2008）·Zbl 1165.68333号 ·doi:10.1007/s10472-009-9113-1 [38] 长谷川，R。；Fujita，H。；Koshimura，M.，自动演绎国际会议，使用分支引理高效生成最小模型，184-199，（2000），Springer·Zbl 0963.68180号 [39] Janhunen，T。；Niemelä，I.，答案集编程范式，AI杂志，37，3，13-24，（2016） [40] Janota，M。；林奇，I。；Marques-Silva，J.，命题公式主干计算算法，AI通信，28，2，161-177，（2015）·Zbl 1373.68379号 [41] Janota，M。；Marques-Silva，J.，关于为单调谓词选择最小集的查询复杂性，人工智能，23373-83，（2016）·Zbl 1351.68117号 ·doi:10.1016/j.artint.2016.01.002 [42] 考夫曼，B。；塞拉利昂，北卡罗来纳州。；佩里，S。；Schaub，T.，《答案集编程中的基础与解决》，AI杂志，37，3，25-32，（2016）·doi:10.1609/aimag.v37i3.2672 [43] 小村，M。；Nabeshima，H。；Fujita，H。；长谷川，R.（2009） [44] 塞拉利昂，北卡罗来纳州。；Pfeifer，G。；Faber，W。；艾特，T。；Gottlob，G。；佩里，S。；Scarcello，F.，《用于知识表示和推理的DLV系统》，ACM计算逻辑事务，第7、3、499-562页，（2006）·Zbl 1367.68308号 ·doi:10.145/1149114.1149117 [45] Lifschitz，V.，《答案集和答案集编程语言》，AI杂志，37，3，7-12，（2016） [46] 曼纳，M。；Ricca，F。；Terracina，G.，《从不同角度通过ASP实现一致的查询应答：理论与实践》，《逻辑编程的理论和实践》，13，2，227-252，（2013）·Zbl 1267.68082号 ·doi:10.1017/S1471068411000640 [47] 曼纳，M。；Ricca，F。；Terracina，G.，《通过ASP控制主键违规以查询大量不一致数据》，《逻辑编程理论与实践》，第15、4-5、696-710页，（2015）·Zbl 1379.68114号 ·doi:10.1017/S1471068415000320 [48] 马雷克，V。；Truszczynski，M.，《逻辑编程范式：一个25年的视角，稳定模型和替代逻辑编程范式》，375-398，（1999），施普林格出版社·Zbl 0979.68524号 ·doi:10.1007/978-3-642-60008-2_17 [49] Niemelä，I.，用分析表和相关方法证明定理国际研讨会，最小模型推理的表演算，278-294，（1996），Springer·兹比尔1412.68247 [50] Niemelä，I.，将稳定模型语义作为约束编程范式的逻辑程序，《数学与人工智能年鉴》，25，3-4241-273，（1999）·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475 [51] Previti，A。；Järvisalo，M.（2018） [52] 席尔瓦，J.P.M。；Sakallah，K.A.，GRASP:命题可满足性的搜索算法，IEEE计算机事务，48，5，506-521，（1999）·Zbl 1392.68388号 ·数字对象标识代码：10.1109/12.769433 [53] 朱长生。；魏森巴赫，G。；Sethi，D。；Malik，S.，IEEE国际高级设计验证和测试研讨会，基于SAT的技术，用于确定硅后故障定位的主干，84-91，（2011），IEEE计算机学会 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。