乔瓦尼·阿蒙多拉；多达罗，胭脂红；沃尔夫冈·费伯；弗朗西斯科·里卡 准相干答案集计算。 （英语） Zbl 1520.68180号 Artif公司。智力。 299，文章ID 103519，31 p.（2021）. 摘要：答案集编程（ASP）是一种公认的声明式编程和非单调推理范式。ASP允许使用规则进行灵活的建模。ASP规则归纳出一组预期模型，称为答案集。因此，答案集不存在的不连贯性是ASP的一个特点，表明规则不允许使用预期模型。然而，在某些情况下，此功能也可能存在问题：导致不一致的错误非常难调试，并且查询应答不会为不一致的程序提供任何有意义的答案。准连贯语义学被认为是一种补救方法。他们扩展了答案集的经典概念，从不连贯的程序中得出了有意义的结论。然而，由于缺乏有效的算法和实现，次相干语义在实践中基本上不适用。本文解决了这一不足，提出了几种不同的算法来计算半稳定和半平衡模型，并在答案集求解框架内实现了这些算法。该框架中的一个关键角色是语法程序转换，它允许根据转换程序的答案集来表征次相干语义。除了现有文献中的转换外，还提出了一种新的转换，它根据（扩展的）外部支持模型提供了亚相干语义的另一种表征。值得注意的是，新的转换比现有的转换更紧凑，并带来性能优势。此外，还对ASP竞赛中的基准测试算法和实际用例进行了广泛的实证性能比较。它不仅表明，本文所开发的方法可以产生实际有效的系统，而且还显示了依赖于（扩展的）外部支持模型的方法的明显优势。 引用于三文件 MSC公司： 68T27型 人工智能中的逻辑 03B53号 准一致逻辑 68N17号 逻辑编程 68立方英尺 知识表示 关键词：答案集编程；准相干推理；半平衡模型；半稳定模型 软件：萨特齐拉；克林戈；lp2正常；WASP公司；Potassco公司；扣环 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人，Artif。智力。299，文章ID 103519，31 p.（2021；Zbl 1520.68180） 全文： 内政部 参考文献： [1] Alcántara，J.F.L。；达马西奥，哥伦比亚特区。；Pereira，L.M.，《次协调逻辑程序的包容框架》，J.Appl。日志。，3, 1, 67-95 (2005) ·Zbl 1063.03015号 [2] 阿尔维亚诺·卡明（Alviano Carmine，M.）。；Marques-Silva，J。；Ricca，F.，《最优稳定模型搜索：算法和实现》，J.Log。计算。，30, 4, 863-897 (2020) ·Zbl 1487.68206号 [3] 阿尔维亚诺，M。；多达罗，C。；塞拉利昂，北卡罗来纳州。；Ricca，F.，《WASP进展》，（Calimeri，F.；Ianni，G.；Truszczynski，M.，《逻辑编程和非单调推理——第十三届国际会议》，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。逻辑编程和非单调推理——第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。《计算机科学论文集》，第9345卷（2015年），施普林格出版社，40-54页·Zbl 1467.68021号 [4] 阿尔维亚诺，M。；多达罗，C。；Ricca，F.，回答集编程中谨慎后果的任意时间计算，理论与实践。日志。程序。，14，4-5755-770（2014）·Zbl 1307.68012号 [5] 阿蒙多拉，G。；多达罗，C。；Faber，W。；塞拉利昂，北卡罗来纳州。；Ricca，F.，《关于准相干答案集的计算》，（Singh，S.P.；Markovitch，S.，《第三十一届美国人工智能大会论文集》。《第三十一届美国人工智能大会论文集》，2017年2月4日至9日（2017年），美国人工智能出版社：美国加州旧金山，美国人工智能出版社），1034-1040 [6] 阿蒙多拉，G。；多达罗，C。；Faber，W。；Ricca，F.，高效计算亚相干答案集的外部支持模型，（McIlraith，S.A.；Weinberger，K.Q.，《第三十二届AAAI人工智能会议论文集》，（AAAI-18），第三十届人工智能创新应用，以及第八届AAAI人工智能教育进展研讨会（EAAI-18）。《第三十二届AAAI人工智能会议论文集》（AAAI-18）、《第三十届人工智能创新应用》（IAAI-18 [7] 阿蒙多拉，G。；艾特，T。；芬克，M。；塞拉利昂，北卡罗来纳州。；Moura，J.，亚相干答案集程序的半均衡模型，Artif。智力。，234, 219-271 (2016) ·Zbl 1351.68259号 [8] 阿蒙多拉，G。；艾特，T。；Leone，N.，《模块准相干答案集》（Fermé，E.；Leite，J.，《人工智能中的逻辑——第14届欧洲会议》，JELIA 2014，Funchal，Madeira，葡萄牙，2014年9月24-26日。诉讼程序。人工智能中的逻辑——第14届欧洲会议，JELIA 2014，Funchal，Madeira，葡萄牙，2014年9月24-26日。计算机科学论文集，第8761卷（2014），Springer），457-471·Zbl 1432.68054号 [9] 阿蒙多拉，G。；格雷科，G。；塞拉利昂，北卡罗来纳州。；Veltri，P.，通过答案集编程对NTU游戏进行建模和推理，（Kambhampati，S.，《第二十五届国际人工智能联合会议论文集》，第二十五届人工智能国际联合会议论文，2016年7月9日至15日，IJCAI/AAAI出版社：IJCAI/AAAI出版社（美国纽约州纽约市），38-45 [10] 阿蒙多拉，G。；Ricca，F.，超连贯答案集语义符合论证框架，理论与实践。日志。程序。，19, 5-6, 688-704 (2019) ·Zbl 1434.68554号 [11] 安德烈斯，B。；考夫曼，B。；马塞斯，O。；Schaub，T.，卡环中基于不满意的优化，（Dovier，A.；Costa，V。第28届国际逻辑程序设计会议技术交流。第28届逻辑编程国际会议的技术交流I，CLP 2012，2012年9月4日至8日，匈牙利布达佩斯。第28届国际逻辑程序设计会议技术交流。第28届逻辑编程国际会议的技术交流I，CLP 2012年9月4日至8日，匈牙利布达佩斯，LIPIcs，第17卷（2012），Schloss Dagstuhl-Leibniz Zentrum für Informatik），211-221·Zbl 1281.68204号 [12] Angiulli，F。；Ben-Eliyahu-Zohary，R。；Fassetti，F。；Palopoli，L.，关于一些CNF理论的最小模型计算的可处理性，Artif。智力。，210, 56-77 (2014) ·Zbl 1334.68205号 [13] 阿雷纳斯，M。；贝托西，L.E。；Chomicki，J.，《不一致数据库中一致查询答案集》，理论与实践。日志。程序。，3, 4-5, 393-424 (2003) ·Zbl 1079.68026号 [14] 亚松森五世。；陈，Y。；Zhang，Y。；Zhou，Y.，带聚合的逻辑程序的有序完成，Artif。智力。，224, 72-102 (2015) ·Zbl 1343.68043号 [15] Balduccini，M。；Gelfond，M.，《具有一致性恢复规则的逻辑程序》，（常识推理逻辑形式化国际研讨会，AAAI 2003）。常识推理逻辑形式化国际研讨会，AAAI 2003，春季研讨会系列，第102卷（2003），9-18 [16] Balduccini，M。；Gelfond，M。；Watson，R。；Nogueira，M.，《美国顾问：答案集规划的案例研究》（Eiter，T.；Faber，W。；Truszczynski，M.，逻辑编程与非单调推理，第六届国际会议。逻辑编程与非单调推理，第六届国际会议，LPNMR 2001，奥地利维也纳，2001年9月17日至19日，会议记录。逻辑编程与非单调推理，第六届国际会议。逻辑编程和非单调推理，第六届国际会议，LPNMR 2001，维也纳，奥地利，2001年9月17-19日，计算机科学论文集，第2173卷（2001），Springer），439-442·Zbl 1010.68800号 [17] Baral，C.，《知识表示、推理和陈述式问题解决》（2003），剑桥大学出版社·Zbl 1056.68139号 [18] Baral，C。；Gelfond，M.，《逻辑编程和知识表示》，J.Log。程序。，19/20, 73-148 (1994) ·Zbl 0820.68028号 [19] Ben-Eliyahu，R。；Dechter，R.，选言逻辑程序的命题语义，《数学年鉴》。Artif公司。智力。，12, 1-2, 53-87 (1994) ·Zbl 0858.68012号 [20] Ben-Eliyahu-Zohary，R。；Palopoli，L.，《最小模型推理：高效算法和应用》，Artif。智力。，96, 2, 421-449 (1997) ·Zbl 0903.68178号 [21] Bomanson，J.，lp2normal-扩展逻辑程序的规范化工具（Balduccini，M。；Janhunen，T.，《逻辑编程与非单调推理——第14届国际会议》。逻辑编程和非单调推理——第14届国际会议，LPNMR 2017，芬兰埃斯波，2017年7月3-6日，会议记录。逻辑程序设计与非单调推理——第14届国际会议。逻辑编程和非单调推理——第14届国际会议，LPNMR 2017，芬兰埃斯波，2017年7月3-6日，计算机科学论文集，第10377卷（2017），施普林格），222-228·Zbl 1491.68040号 [22] Bomanson，J。；Gebser，M。；Janhunen，T.，《改进答题集程序中权重规则的规范化》，（Fermé，E.；Leite，J.，《人工智能中的逻辑——第14届欧洲会议》，JELIA 2014，Funchal，Madeira，葡萄牙，2014年9月24-26日。诉讼程序。人工智能中的逻辑——第14届欧洲会议，JELIA 2014，Funchal，Madeira，葡萄牙，2014年9月24-26日。计算机科学论文集，第8761卷（2014），Springer），166-180·Zbl 1432.68056号 [23] Brewka，G。；艾特，T。；Truszczynski，M.，回答集编程一览，Commun。ACM，54，12，92-103（2011） [24] 布莱，F。；Yahya，A.H.，正单位超分辨率表格及其在最小模型生成中的应用，J.Autom。原因。，25, 1, 35-82 (2000) ·Zbl 0960.03006号 [25] Buccafurri，F。；塞拉利昂，北卡罗来纳州。；Rullo，P.，通过约束增强析取数据日志，IEEE Trans。知识。数据工程，12，5，845-860（2000） [26] Calimeri，F。；Gebser，M。；马拉泰阿，M。；Ricca，F.，第五届答案集编程竞赛的设计和结果，Artif。智力。，231, 151-181 (2016) ·兹比尔1344.68042 [27] Campeotto，F。；Dovier，A。；Pontelli，E.，GPU上蛋白质结构预测的声明性并发系统，J.Exp.Theor。Artif公司。智力。，27, 5, 503-541 (2015) [28] Clark，K.L.，《否定是失败》（Gallaire，H.；Minker，J.，《逻辑和数据库》，逻辑和数据库研讨会，法国图卢兹研究中心，1977年，《数据库理论的进展》（1977年），阻燃出版社：纽约阻燃出版社），293-322·Zbl 0412.68089号 [29] 卡特里，B。；多达罗，C。；Ricca，F.，使用准相干推理调试答案集程序，（Casagrande，A.；Omodeo，E.G.，第34届意大利计算逻辑会议论文集。第34届意大利计算逻辑会议论文集，意大利的里雅斯特，2019年6月19-21日。第34届意大利计算逻辑会议论文集。第34届意大利计算逻辑会议论文集，意大利的里雅斯特，2019年6月19-21日，CEUR研讨会论文集，CEUR-WS.org，第2396卷（2019），289-299 [30] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，ACM计算。调查。，33, 3, 374-425 (2001) [31] 多达罗，C。；Gasteiger，P。；塞拉利昂，北卡罗来纳州。；穆西奇，B。；Ricca，F。；Schekotihin，K.，《结合答案集编程和领域启发法解决工业难题》（应用论文），理论与实践。日志。程序。，16, 5-6, 653-669 (2016) ·Zbl 1379.68281号 [32] 多达罗，C。；塞拉利昂，北卡罗来纳州。；Nardi，B。；Ricca，F.，旅游业中的分配问题：基于ASP的解决方案，（ten Cate，B。；Mileo，A.，《网络推理和规则系统——第九届国际会议》。Web推理和规则系统-第九届国际会议，RR 2015，德国柏林，2015年8月4-5日，会议记录。网络推理和规则系统-第九届国际会议。Web推理和规则系统-第九届国际会议，RR 2015，德国柏林，2015年8月4-5日，计算机科学论文集，第9209卷（2015），Springer），77-92·Zbl 1346.68006号 [33] 多达罗，C。；Ricca，F.，《WASP扩展的外部接口》，理论与实践。日志。程序。，20, 2, 225-248 (2020) ·Zbl 1472.68183号 [34] 艾特，T。；芬克，M。；Moura，J.，Paraconherent答案集编程，（Lin，F.；Sattler，U.；Truszczynski，M.，《知识表示和推理原则：第十二届国际会议论文集》，KR 2010年5月9日至13日），AAAI出版社：加拿大安大略省多伦多市AAAI新闻社）（2010年） [35] 艾特，T。；伊安尼，G。；Krennwallner，T.，《答案集编程：入门》，（Tessaris，S.；Franconi，E.；Eiter，T.；Gutiérrez，C.；Handschuh，S.，Rousset，M.；Schmidt，R。A.，推理网络。2009年8月30日至9月4日，意大利布里森-布列萨诺第五国际暑期学校信息系统语义技术教程。推理Web。信息系统语义技术，2009年第五届国际暑期学校，Brixen-Bressanne，意大利，2009年8月30日至9月4日，计算机科学教程，讲稿，第5689卷（2009），Springer），40-110·Zbl 1254.68248号 [36] 艾特，T。；塞拉利昂，北卡罗来纳州。；Saccá，D.，《析取演绎数据库的部分语义》，《数学年鉴》。Artif公司。智力。，19, 1-2, 59-96 (1997) ·Zbl 0880.68029号 [37] Erdem，E。；Gelfond，M。；Leone，N.，《答案集编程的应用》，AI Mag.，37，3，53-68（2016） [38] Erdem，E。；Lifschitz，V.，《紧密逻辑程序》，理论与实践。日志。程序。，3, 4-5, 499-518 (2003) ·Zbl 1079.68014号 [39] Faber，W。；瓦拉提，M。；塞鲁蒂，F。；Giacomin，M.，通过弱约束通过基数优化解决集合优化问题，并将其应用于论证，（第一届答案集编程趋势和应用研讨会。第一届答案集中编程趋势和运用研讨会，奥地利克拉根福（TAASP 2016），2016年9月26日（2016））·Zbl 1403.68236号 [40] Faber，W。；瓦拉提，M。；塞鲁蒂，F。；Giacomin，M.，通过基数优化解决集合优化问题，并将其应用于论证，（Kaminka，G.A.；Fox，M.；Bouquet，P.；Hüllermier，E.；Dignum，V.；Dignom，F。；van Harmelen，F.，ECAI 2016-第22届欧洲人工智能会议，2016年8月29日至9月2日，荷兰海牙-包括著名的人工智能应用（PAIS 2016）。ECAI 2016-第22届欧洲人工智能大会，2016年8月29日至9月2日，荷兰海牙-包括著名的人工智能应用（PAIS 2016），《人工智能与应用前沿》，第285卷（2016），IOS出版社），966-973·Zbl 1403.68236号 [41] 傅，Z。；Malik，S.，关于部分MAX-SAT问题的求解，（Biere，A.；Gomes，C。P.，可满足性测试的理论与应用-SAT 2006，第九届国际会议。满足性测试的理论与应用——2006年SAT，第九届国际会议，西雅图，华盛顿州，美国，2006年8月12-15日，会议记录。满意度测试理论与应用——2006年SAT第九届国际会议。可满足性测试理论与应用——SAT 2006，第九届国际会议，西雅图，华盛顿州，美国，2006年8月12-15日，计算机科学论文集，第4121卷（2006），Springer），252-265·Zbl 1187.68540号 [42] （Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.；Siekmann，J.H.，《人工智能和逻辑编程逻辑手册》，第2卷，演绎方法（1994），牛津大学出版社）·Zbl 0810.68005号 [43] Gaggl，S.A。；Manthey，N。；Ronca，A。；Wallner，J.P。；Woltran，S.，《改进抽象论证的答案集编程编码》，理论与实践。日志。程序。，15, 4-5, 434-448 (2015) ·Zbl 1379.68292号 [44] 加林多，M.J.O。；Ramírez，J.R.A。；Carbarlido，J.L.，亚一致逻辑的逻辑弱完备，J.Log。计算。，18, 6, 913-940 (2008) ·Zbl 1156.03025号 [45] Gebser，M。；卡明斯基，R。；考夫曼，B。；奥斯特罗斯基，M。；Schaub，T。；Wanko，P.，《用clipeo 5轻松解决理论》（Carro，M.；King，A.；Saeedloei，N.；Vos，M.D.，《第32届逻辑编程国际会议的技术通信》，2016年10月16日至21日，ICLP 2016 TC。2016年10月16日至21日在美国纽约举行的第32届逻辑编程国际会议的技术交流，2016年10月刊于ICLP 2016 TC。第32届逻辑程序设计国际会议的技术交流，2016年10月16日至21日，美国纽约市ICLP 2016 TC，OASICS，第52卷（2016），Schloss Dagstuhl-Leibniz Zentrum für Informatik），2:1-2:15 [46] Gebser，M。；卡明斯基，R。；考夫曼，B。；罗梅罗，J。；Schaub，T.，《卡环系列3的进展》，（Calimeri，F.；Ianni，G.；Truszczynski，M.，《逻辑编程和非单调推理——第13届国际会议》，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。逻辑编程和非单调推理——第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。计算机科学论文集，第9345卷（2015年），施普林格出版社，368-383·Zbl 1467.68181号 [47] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，《实践中的答案集求解》，《人工智能和机器学习综合讲座》（2012年），Morgan&Claypool出版社 [48] Gebser，M。；考夫曼，B。；卡明斯基，R。；奥斯特罗斯基，M。；Schaub，T。；Schneider，M.，Potassco:the Potsdam答案集求解集合，AI Commun。，24, 2, 107-124 (2011) ·Zbl 1215.68214号 [49] Gebser，M。；Lee，J。；Lierler，Y.，无头元逻辑程序，（逻辑编程和非单调推理，第九届国际会议，LPNMR 2007，美国亚利桑那州坦佩，2007年5月15日至17日，Proceedings.Logic Programming and Non-monotonic Reasoning，9th International Conference，LPNMR1007，美国亚利桑那州坦佩，2007，5月15-17日，会议记录，计算机科学讲稿，第4483卷（2007），Springer），149-161·Zbl 1149.68333号 [50] Gebser，M。；塞拉利昂，北卡罗来纳州。；马拉泰阿，M。；佩里，S。；Ricca，F。；Schaub，T.，《答案集编程的评估技术和系统：调查》（IJCAI，IJCAI.org（2018）），5450-5456 [51] Gebser，M。；马拉泰阿，M。；Ricca，F.，《第六届答案集编程竞赛的设计——报告》，（Calimeri，F.；Ianni，G.；Truszczynski，M.，《逻辑编程和非单调推理——第十三届国际会议》，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。逻辑编程和非单调推理——第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。计算机科学论文集，第9345卷（2015年），施普林格出版社，531-544·兹比尔1418.68028 [52] Gebser，M。；马拉泰阿，M。；Ricca，F.，第六届答案集编程竞赛，J.Artif。智力。决议，60，41-95（2017）·Zbl 1418.68030号 [53] Gebser，M。；马拉泰阿，M。；Ricca，F.，第七次答案集编程竞赛：设计与结果，理论与实践。日志。程序。，176-204年2月20日（2020年）·Zbl 1472.68026号 [54] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新世代。计算。，365-386年3月9日（1991年）·Zbl 0735.68012号 [55] 格拉索，G。；塞拉利昂，北卡罗来纳州。；曼纳，M。；Ricca，F.，ASP在工作：DLV系统的衍生和应用，（Balduccini，M.；Son，T。逻辑编程、知识表示和非单调推理——纪念迈克尔·盖尔丰德65岁生日的文章。逻辑编程、知识表示和非单调推理——在迈克尔·盖尔芬德65岁生日之际献给他的论文，计算机科学讲稿，第6565卷（2011年），斯普林格），432-451·Zbl 1213.68025号 [56] 长谷川，R。；Fujita，H。；Koshimura，M.，使用分支引理的有效最小模型生成，（McAllester，D。A.，自动扣除-CADE-17，第17届自动扣除国际会议，匹兹堡，宾夕法尼亚州，美国，2000年6月17-20日，会议记录。自动扣除-CADE-17，第17届自动扣除国际会议，匹兹堡，宾夕法尼亚州，美国，2000年6月17-20日，计算机科学论文集，第1831卷（2000），斯普林格），184-199·Zbl 0963.68180号 [57] Ignatiev，A。；北卡罗来纳州纳罗迪茨卡。；Marques-Silva，J.，机器学习模型的基于诱骗的解释，（AAAI（2019），AAAI出版社），1511-1519 [58] 伊斯兰教，M.B。；Governatori，G.，《规则：决策支持系统的基于规则的体系结构》，Artif。智力。法律，26，4，315-344（2018） [59] Janota，M。；林奇，I。；Marques-Silva，J.，命题公式主干计算算法，AI Commun。，28, 2, 161-177 (2015) ·兹比尔1373.68379 [60] Janota，M。；Marques-Silva，J.，关于为单调谓词选择最小集的查询复杂性，Artif。智力。，233, 73-83 (2016) ·Zbl 1351.68117号 [61] 小村，M。；Nabeshima，H。；Fujita，H。；Hasegawa，R.，关于原子集的最小模型生成，（Peltier，N.；Sofronie-Stokkermans，V.，《第七届一阶定理证明国际研讨会论文集》，第七届国际一阶定理验证研讨会论文集，FTP 2009，挪威奥斯陆，2009年7月6-7日。第七届一阶定理证明国际研讨会论文集。《第七届一阶定理证明国际研讨会论文集》，FTP 2009，挪威奥斯陆，2009年7月6-7日，CEUR研讨会论文集，CEUR-WS.org，第556卷（2009）），49-59 [62] Lierler，Y。；马拉泰阿，M。；Ricca，F.，《系统、工程环境和竞赛》，AI Mag.，37，3，45-52（2016） [63] Lifschitz，V.，答案集规划，（Schreye，D.D.，《逻辑编程：1999年国际会议》，美国新墨西哥州拉斯克鲁斯，1999年11月29日至12月4日（1999），麻省理工学院出版社），23-37 [64] 林道尔，M。；胡斯，H.H。；莱顿-布朗，K。；Schaub，T.，通过算法配置自动构建并行投资组合，Artif。智力。，244, 272-290 (2017) ·Zbl 1404.68144号 [65] 曼纳，M。；Ricca，F。；Terracina，G.，《通过ASP控制主键违规以查询大量不一致数据》，理论与实践。日志。程序。，15, 4-5, 696-710 (2015) ·Zbl 1379.68114号 [66] 马拉泰阿，M。；Pulina，L。；Ricca，F.，《答案集编程的多引擎方法》，理论与实践。日志。程序。，14, 6, 841-868 (2014) [67] 马雷克，V.W。；Subrahmanian，V.S.，逻辑程序语义和非单调推理之间的关系，（Levi，G.；Martelli，M.，《逻辑编程》，《第六届国际会议论文集》，《逻辑程序设计》，葡萄牙里斯本，1989年6月19日至23日（1989），麻省理工学院出版社），600-617 [68] 马尔克斯·席尔瓦，J。；Janota，M。；Belov，A.，布尔公式中单调谓词上的极小集，（Sharygina，N.；Veith，H.，计算机辅助验证-第25届国际会议，CAV 2013，俄罗斯圣彼得堡，2013年7月13-19日。诉讼程序。计算机辅助验证-2013年第25届国际会议，CAV，俄罗斯圣彼得堡，2013年7月13日至19日。计算机科学论文集，第8044卷（2013年），施普林格出版社，592-607 [69] Marques-Silva，J。；Mencía，C.，《关于不一致公式的推理》（IJCAI，IJCAI.org（2020）），4899-4906 [70] Miller，T.，《人工智能解释：来自社会科学的见解》，Artif。智力。，267, 1-38 (2019) ·Zbl 1478.68274号 [71] Narizzano，M。；Pulina，L。；塔切拉，A。；Vuotto，S.，《基于需求的黑盒反应系统自动测试》，（NFM.NFM，计算机科学讲义，第12229卷（2020年），Springer），153-169 [72] Niemelä，I.，最小模型推理的表格演算，（Miglioli，P.；Moscato，U.；Mundici，D。；Ornaghi，M.，《用解析表和相关方法证明定理》，第五届国际研讨会，Tableaux’96，意大利巴勒莫Terrasini，1996年5月15日至17日，论文集。《用解析表和相关方法证明定理》，第五届国际研讨会，Tableaux’96，意大利巴勒莫Terrasini，1996年5月15日至17日，计算机科学论文集，第1071卷（1996），Springer），278-294·Zbl 1412.68247号 [73] 皮尔斯，D.，《平衡逻辑》，《数学年鉴》。Artif公司。智力。，47, 1-2, 3-41 (2006) ·Zbl 1117.03039号 [74] 佩雷拉，L.M。；Pinto，A.M.，《修订的稳定模型——逻辑程序的语义》（Bento，C.；Cardoso，A。；Dias，G.，《人工智能进展》，第十二届葡萄牙人工智能会议，EPIA 2005，葡萄牙科维尔昂，2005年12月5日至8日，会议记录。《人工智能的进展》，第十二届葡萄牙人工智能会议，2005年EPIA，2005年12月5日至8日，葡萄牙科维尔昂，计算机科学论文集，第3808卷（2005），斯普林格），29-42 [75] 佩雷拉，L.M。；Pinto，A.M.，正常逻辑程序的批准模型，（Dershowitz，N。；Voronkov，A.，《程序设计、人工智能和推理逻辑》，第14届国际会议，LPAR 2007，亚美尼亚埃里温，2007年10月15-19日，会议记录。《程序设计、人工智能和推理的逻辑》，第14届国际会议，LPAR 2007，埃里温，亚美尼亚，2007年10月15-19日，计算机科学论文集，第4790卷（2007），Springer），454-468·Zbl 1137.68340号 [76] Przymusinski，T.C.，选言程序的稳定语义，新一代。计算。，9, 3/4, 401-424 (1991) ·Zbl 0796.68053号 [77] Pulina，L。；Taccella，A.，《人工神经网络验证的抽象再定义方法》，（CAV.CAV，《计算机科学讲义》，第6174卷（2010），Springer），243-257 [78] Rosa，E.D。；Giunchiglia，E。；Maratea，M.，用偏好解决可满足性问题，约束，15，4，485-515（2010）·Zbl 1208.68199号 [79] 萨克，D。；Zaniolo，C.，《带否定的逻辑程序中的部分模型和三值模型》，（Nerode，A.；Marek，V.W.；Subrahmanian，V。《逻辑程序设计与非单调推理》，第一届国际研讨会论文集。《逻辑编程与非单调推理》，《第一届国际研讨会论文集》，美国华盛顿特区，1991年7月（1991），麻省理工学院出版社，87-101 [80] Sakama，C。；Inoue，K.，《扩展析取程序的准一致稳定语义》，J.Log。计算。，5, 3, 265-285 (1995) ·Zbl 0827.68070号 [81] Seipel，D.，析取演绎数据库的部分证据稳定模型，（Dix，J.；Pereira，L.M.；Przymusinski，T。C.，逻辑编程和知识表示，第三届国际研讨会，LPKR’97，杰斐逊港，美国纽约，1997年10月17日，论文集。逻辑编程和知识表示，第三届国际研讨会，LPKR’97，杰斐逊港，美国纽约，1997年10月17日，计算机科学选文，第1471卷（1997），Springer），66-84·兹比尔0896.00030 [82] 塞纳，L.H。；de Bessa，I.V.公司。；加德哈，M.Y.R。；科罗拉多州。；Mota，E.，CUDA中人工神经网络的增量有界模型检验，（SBESC（2019），IEEE），1-8 [83] 西蒙斯，P。；尼美拉，I。；Soininen，T.，《扩展和实现稳定模型语义》，Artif。智力。，138, 1-2, 181-234 (2002) ·Zbl 0995.68021号 [84] Van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-650（1991）·兹比尔0799.68045 [85] （van Harmelen，F.；Lifschitz，V.；Porter，B.W.，《人工智能基础》，《知识表示手册》，第3卷（2008年），爱思唯尔出版社）·兹比尔1183.68611 [86] 徐，L。；Hutter，F。；胡斯，H.H。；Leyton-Brown，K.，Satzilla:SAT基于组合的算法选择，J.Artif。智力。决议，32，565-606（2008）·兹比尔1182.68272 [87] 你，J。；Yuan，L.，演绎数据库和逻辑程序的三值语义，J.Compute。系统。科学。，49, 2, 334-361 (1994) ·Zbl 0821.68080号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。