乔瓦尼·阿蒙多拉；托马斯·艾特；迈克尔·芬克；尼古拉·利昂；乔昂·莫拉 准一致答案集程序的半平衡模型。 （英语） Zbl 1351.68259号 Artif公司。智力。 234, 219-271 (2016). 摘要：答案集语义可能会将逻辑程序分配给模型，因为逻辑矛盾或不稳定的否定，这是由原子对其否定的循环依赖性引起的。虽然逻辑矛盾可以用次协调推理的传统技术来处理，但不稳定性需要其他方法。我们考虑求助于准相干语义，其中使用三值解释，其中除了真值和假值之外的第三个真值表示原子被认为是真的。这是在使用程序转换定义的半稳定模型语义的基础上进行的。在本文中，我们给出了半稳定模型的模型理论表征，这使得语义更容易访问。基于半稳定模型语义在基本认知属性方面的一些异常，我们提出了一个满足这些属性的修正。后者既有转换特征，又有模型理论特征，揭示了它是平衡逻辑的放松，是答案集语义的逻辑重建，因此被称为半平衡模型语义。我们考虑对这种语义进行细化，以尊重规则中的模块性，基于分裂集，这是建模和评估答案集程序的模块化的主要工具。在这一点上，我们挑选出了适合对答案集程序进行自下而上的常规评估的规范模型类，当检测到缺少答案集时，可以选择切换到准相干模式。对主要推理任务的复杂性分析表明，半平衡模型比答案集（即平衡模型）更难，因为要使真实原子和可信原子之间的差距尽可能小，需要采取全局最小化步骤。我们的结果为亚相干答案集编程提供了逻辑基础，在不一致性管理中变得越来越重要，同时也为算法开发和集成到答案集求解器中提供了基础。 引用于13文件 MSC公司： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 68立方英尺 知识表示 关键词：答案集编程；平衡逻辑；准相干推理；分裂序列；不一致性管理 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人，Artif。智力。234219--271（2016年；Zbl 1351.68259） 全文： DOI程序 链接 参考文献： [1] J.阿尔坎塔拉。；达马西奥，哥伦比亚特区。；Pereira，L.M.，《析取次一致答案集的声明性特征》，（de Mántaras，R.L.；Saitta，L.，Proc.16th European Conf.Artificial Intelligence（ECAI 2004）（2004），IOS Press），951-952 [2] 阿蒙多拉，G。；艾特，T。；Leone，N.，《模块准相干答案集》（Fermé，E.；Leite，J.，Proc.14th European Conf.Logics in Artificial Intelligence）（JELIA 2014）。程序。第14届欧洲人工智能逻辑大会（JELIA 2014），LNCS/LNAI，第8761卷（2014），施普林格出版社，457-471·Zbl 1432.68054号 [4] Balduccini，M。；Gelfond，M.，《具有一致性恢复规则的逻辑程序》，（McCarthy，J.；Williams，M.A.，《国际交响乐团.常识推理的逻辑形式化》，国际交响曲.常识推理逻辑形式化，AAAI 2003春季研讨会系列（2003），9-18 [5] Baral，C。；Subrahmanian，V.S.，逻辑编程的替代语义和非单调推理之间的二重性，J.Autom。原因。，10, 3, 399-420 (1993) ·Zbl 0782.68074号 [6] Baral，C.，《知识表示、推理和陈述式问题解决》（2003），剑桥大学出版社·Zbl 1056.68139号 [7] （Baral，C.；Greco，G.；Leone，N.；Terracina，G.，Proc.8th International Conf.Logic Programming and Non-单调推理（LPNMR 2005）。程序。第八届国际Conf.逻辑编程与非单调推理（LPNMR 2005），意大利迪亚曼特，2005年9月5-8日。程序。第八届国际Conf.逻辑编程与非单调推理（LPNMR 2005）。程序。第八届国际Conf.逻辑程序设计与非单调推理（LPNMR 2005），意大利迪亚曼特，2005年9月5-8日，Lect。注释计算。科学。，第3662卷（2005），施普林格）·Zbl 1086.68002号 [8] Ben-Eliyahu，R。；Dechter，R.，选言逻辑程序的命题语义，《数学年鉴》。Artif公司。智力。，12, 53-87 (1994) ·Zbl 0858.68012号 [9] 布莱尔，H.A。；Subrahmanian，V.S.，超一致逻辑编程，Theor。计算。科学。，68, 2, 135-154 (1989) ·Zbl 0686.68009号 [10] Brewka，G。；Eiter，T.，《异质非单调多上下文系统中的平衡》（Proc.22nd Conf.Artificial Intelligence（AAAI’07）。程序。第22届人工智能大会（AAAI'07），温哥华，2007年7月22-26日（2007），AAAI出版社），385-390 [11] Brewka，G。；艾特，T。；Truszczynski，M.，回答集编程一览，Commun。ACM，54，12，92-103（2011） [12] de Bruijn，J。；皮尔斯，D。；波勒斯，A。；Valverde，A.，混合知识库的语义框架，Knowl。信息系统。，25, 1, 81-104 (2010) [13] Cabalar，P。；Odintsov，S.P。；Pearce，D.，《基础扎实的语义学的逻辑基础》，（Doherty，P.；Mylopoulos，J.；Welty，C.A.，《第十届国际知识表示和推理原则大会》（KR 2006）（2006），AAAI出版社），25-35 [14] Cabalar，P。；奥廷索夫，S.P。；皮尔斯，D。；Valverde，A.，《部分平衡逻辑》，《数学年鉴》。Artif公司。智力。，50, 3-4, 305-331 (2007) ·Zbl 1125.68113号 [15] 道特兰，M。；艾特，T。；芬克，M。；Krennwallner，T.，模块化非单调逻辑编程重新审视，（Hill，P.；Warren，D.，Proc.25th International Conf.logic programming（ICLP 2009）。程序。第25届国际逻辑编程会议（ICLP 2009），Lect。注释计算。科学。，第5649卷（2009），施普林格），145-159·Zbl 1251.68056号 [16] 艾特，T。；Gottlob，G.，《析取逻辑编程的计算成本：命题案例》，《数学年鉴》。Artif公司。智力。，15, 3/4, 289-323 (1995) ·Zbl 0858.68016号 [17] 艾特，T。；芬克，M。；Moura，J.，Paraconherent答案集编程，（第12届国际知识表示和推理原则大会（KR 2010）（2010），AAAI出版社），486-496 [18] 艾特，T。；伊安尼，G。；辛德劳，R。；Tompits，H.，《答案集编程中高阶推理和外部评估的统一集成》（Kaelbling，L.P.；Saffiotti，A.，Proc.19th International Joint Conf.Artificial Intelligence（IJCAI-05）（2005），Professional Book:Professional Book Center），第90-96页 [19] 艾特，T。；塞拉利昂，北卡罗来纳州。；Saccá，D.，《析取演绎数据库的部分语义》，《数学年鉴》。Artif公司。智力。，19, 1/2, 59-96 (1997) ·Zbl 0880.68029号 [20] Faber，W。；格雷科·G。；Leone，N.，Magic sets及其在数据集成中的应用，J.Compute。系统。科学。，73, 4, 584-609 (2007) ·Zbl 1115.68047号 [22] 费拉里斯，P。；Lifschitz，V.，作为嵌套表达式的权重约束，理论与实践。日志。程序。，5, 1-2, 45-74 (2005) ·Zbl 1093.68017号 [23] Fink，M.，超相容混合理论（Brewka，G.；Eiter，T.；McIlraith，S.A.，KR（2012），AAAI出版社），391-401 [24] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，《在实践中解决答案集》。《人工智能和机器学习综合讲座》（2012年），Morgan&Claypool出版社 [25] Gebser，M。；Pührer，J。；Schaub，T。；Tompits，H.，《调试应答程序的元编程技术》（Proc.23 Conf.Artificial Intelligence，AAAI 2008）。程序。第23届人工智能大会（AAAI 2008），美国伊利诺伊州芝加哥（2008），AAAI出版社，448-453 [26] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新世代。计算。，9, 365-385 (1991) ·Zbl 0735.68012号 [27] Heyting，A.，Die formalen Regeln der直觉主义逻辑，Sitz.ber。普劳斯。阿卡德。威斯。，16, 1, 42-56 (1930) ·JFM 56.0823.01号机组 [28] 黄，S。；李，Q。；Hitzler，P.，《混合MKNF知识库中不一致性的推理》，Log。J.IGPL，21，2，263-290（2013）·Zbl 1264.68161号 [29] 詹胡宁，T。；Oikarinen，E。；托姆皮茨，H。；Woltran，S.，《析取稳定模型的模块性方面》，J.Artif。智力。研究，35，813-857（2009）·兹比尔1192.68129 [30] 卡卡斯，A.C。；Mancarella，P.，《广义稳定模型：诱拐的语义》（Proc.9th Eureopean Conf.Artificial Intelligence（ECAI 1990）（1990），IOS Press），385-391 [31] Lifschitz，V。；Turner，H.，《逻辑程序的分割》（Proc.International Conf.logic Programming，ICLP-94）（1994），麻省理工学院出版社，23-38 [32] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 4, 526-541 (2001) ·Zbl 1365.68149号 [33] Lifschitz，V。；Tang，L.R。；特纳，H.，《逻辑程序中的嵌套表达式》，《数学年鉴》。Artif公司。智力。，25, 3-4, 369-389 (1999) ·Zbl 0940.68075号 [34] Lifschitz，V。；Woo，T.Y.C.，《一般非单调推理中的答案集》（初步报告），（Nebel，B.；Rich，C.；Swartout，W.R.，《第三届国际知识表示与推理原则大会》（KR’92）。程序。第三届国际知识表示与推理原理会议（KR'92），马萨诸塞州剑桥，1992年10月25-29日（1992年），Morgan Kaufmann，603-614 [35] 马雷克，V.W。；Nerode，A。；Remmel，J.B.，《逻辑程序、有序和前向链》，Ann.Pure Appl。日志。，96, 1-3, 231-276 (1999) ·Zbl 0927.68021号 [36] （Minker，J.，演绎数据库和逻辑编程基础（1988年），摩根·考夫曼：摩根·考夫曼华盛顿特区）·Zbl 0699.68009号 [38] Oetsch，J。；Pührer，J。；Tompits，H.，描述逻辑程序的逐步调试，（正确推理-以弗拉基米尔·利夫希茨为荣的基于逻辑的人工智能论文。正确推理-尊重弗拉基米尔·利夫希兹的基于逻辑人工智能论文，Lect.Notes计算科学，第7265卷（2012），Springer），492-508·Zbl 1357.68039号 [39] 奥索里奥，M。；Ramírez，J.R.A。；Carbarlido，J.L.，亚一致逻辑的逻辑弱完备，J.Log。计算。，18, 6, 913-940 (2008) ·Zbl 1156.03025号 [40] 皮尔斯，D.，《平衡逻辑》，《数学年鉴》。Artif公司。智力。，47, 1-2, 3-41 (2006) ·Zbl 1117.03039号 [41] 皮尔斯，D。；Valverde，A.，《定量平衡逻辑和答案集程序的基础》（de la Banda，M.G.；Pontelli，E.，Proc.24th International Conf.logic Programming）（ICLP 2008）。程序。第24届国际逻辑编程大会（ICLP 2008），Lect。注释计算。科学。，第5366卷（2008），施普林格），546-560·Zbl 1185.68175号 [42] 佩雷拉，L.M。；Alferes，J.J。；Aparício，J.N.，《带明确否定的矛盾消除语义学》，（Masuch，M.；Pólos，L.，《工作中的国际Conf.逻辑：不确定性下的知识表示和推理》，Lect.Notes Compute.Sci.，第808卷（1992），Springer），91-105 [43] 佩雷拉，L.M。；Pinto，A.M.，《修订的稳定模型——逻辑程序的语义》（Bento，C.；Cardoso，A.；Dias，G.，Proc.第12届葡萄牙人工智能会议（EPIA 2005）。程序。第十二届葡萄牙人工智能大会（EPIA 2005），Lect。注释计算。科学。，第3808卷（2005），施普林格），29-42 [44] 佩雷拉，L.M。；Pinto，A.M.，《常规逻辑程序的批准模型》（Dershowitz，N.；Voronkov，A.，Proc.14th International Conf.logic for Programming，Artificial Intelligence，and Reasoning）（LPAR 2007）。程序。第14届国际编程、人工智能和推理逻辑会议（LPAR 2007），Lect。注释计算。科学。，第4790卷（2007），施普林格），454-468·Zbl 1137.68340号 [45] 佩雷拉，L.M。；Pinto，A.M.，普通逻辑程序的分层模型自上而下查询，（Gill，A.；Swift，T.，Proc.第11届声明语言实践方面国际研讨会（PADL 2009）。程序。第十一届声明性语言实践方面国际研讨会（2009年PADL），Lect。注释计算。科学。，第5418卷（2009），施普林格），254-268 [47] Przymusinski，T.C.，选言程序的稳定语义，新一代。计算。，9, 401-424 (1991) ·兹比尔0796.68053 [48] 萨卡，D。；Zaniolo，C.，《带否定的逻辑程序中的部分模型和三值稳定模型》，（Subrahmanian，V.，《逻辑编程和非单调推理第一次研讨会论文集》（LPNMR 1991）（1991），麻省理工学院出版社），87-101 [49] 坂间，C。；Inoue，K.，《扩展析取程序的准一致稳定语义》，J.Log。计算。，5, 3, 265-285 (1995) ·Zbl 0827.68070号 [50] 坂间，C。；Inoue，K.，计算知识库更新的溯因框架，理论实践。日志。程序。，3, 6, 671-713 (2003) ·Zbl 1085.68545号 [51] Seipel，D.，析取演绎数据库的部分证据稳定模型，（Dix，J.；Pereira，L.M.；Przymusinski，T.C.，Proc.第三届逻辑编程和知识表示国际研讨会（LPKR’97），论文集。程序。第三届逻辑程序设计和知识表示国际研讨会（LPKR’97），论文选集，Lect。注释计算。科学。，第1471卷（1997），施普林格），66-84 [52] Syrjänen，T.，调试不一致的答案集程序，（第11届非单调推理国际研讨会（NMR 2006）（2006），TU Clausthal，信息学系），77-83，技术代表IfI-06-04 [53] Tarjan，R.E.，深度-第一搜索和线性图算法，SIAM J.Compute。，1, 2, 146-160 (1972) ·Zbl 0251.05107号 [54] Turner，H.，《很容易实现强等价：嵌套表达式和权重约束》，理论实践。日志。程序。，3, 4-5, 609-622 (2003) ·Zbl 1079.68017号 [55] van Gelder，A.，逻辑程序与否定的交替不动点，J.Compute。系统。科学。，47, 1, 185-221 (1993) ·Zbl 0793.68039号 [56] van Gelder，A。；Ross，K。；Schlipf，J.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-650（1991）·Zbl 0799.68045号 [57] 王凯。；周，L.，选言逻辑程序基础良好语义的比较与计算，ACM Trans。计算。日志。，6, 2, 295-327 (2005) ·Zbl 1367.68042号 [58] Wang，Y。；张，M。；You，J.H.，《逻辑程序、兼容性和前向链接构造》，J.Compute。科学。技术。，24, 6, 1125-1137 (2009) [59] 你，J.H。；Yuan，L.，演绎数据库和逻辑程序的三值语义，J.Compute。系统。科学。，49, 334-361 (1994) ·Zbl 0821.68080号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。