马库斯·乌布利希特；马蒂亚斯·蒂姆；格哈德·布鲁卡 处理和测量非单调逻辑中的不一致性。 （英语） Zbl 1493.68345号 Artif公司。智力。 286，文章ID 103344，53 p.（2020）. 摘要：我们解决了在非单调框架中定量评估不一致性严重程度的问题。虽然经典逻辑中的不一致性度量已经被研究了一段时间，但考虑到非单调性带来了新的挑战。为了解决这些问题，我们将重点放在知识库（mathcal{K}）的极小强不一致子集的结构上，这是极小不一致子集到任意、可能非单调、，该框架归纳了Reiter著名的知识库最小不一致子集和最大一致子集之间的击中集对偶。我们基于这一概念提出了度量，并通过重新审视现有的合理性假设、分析所提出的度量与这些假设的符合性以及调查其计算复杂性，来研究它们在非单调环境中的行为。由于观察到非单调逻辑的知识库也可以通过添加公式——而Reiter的二元性只关心移除–，我们还调查了为我们提供潜在额外假设以修复知识库的情况。为此，我们根据击中集对偶性来描述对知识库的最小修改 引用于5文件 MSC公司： 68T27型 人工智能中的逻辑 03B60号 其他非经典逻辑 68立方英尺 知识表示 关键词：非单调推理；不一致性处理；不一致性测量 PDF格式BibTeX公司 XML格式引用 \textit{M.Ulbricht}等人，Artif。智力。286，文章ID 103344，53 p.（2020；Zbl 1493.68345） 全文： 内政部 参考文献： [1] Amgoud，L。；Ben-Naim，J.，《衡量论证图中的分歧》，（Moral，S.；Pivert，O.；Sánchez，D.；Marín，n.，《第十一届可扩展不确定性管理国际会议论文集》（2017），208-222·Zbl 1498.68294号 [2] 阿特金森，K。；巴罗尼，P。；Giacomin，M。；亨特，A。；普拉肯，H。；里德，C。；Simari，G.R。；蒂姆，M。；Villata，S.，《走向人工论证》，AI Mag.，38，25-36（2017） [3] 巴罗尼，P。；卡米纳达，M。；Giacomin，M.，《抽象论证框架及其语义》，（Baroni，P.；Gabbay，D.；Giacomine，M.；van der Torre，L.，《形式论证手册》（2018），大学出版社），159-236 [4] Berge，C.，超图：有限集的组合数学，第45卷（1989）·Zbl 0674.05001号 [5] Besnard，P.，《重新审视不一致度量的假设》，（第14届欧洲人工智能逻辑会议论文集（JELIA’14）（2014）），383-396·Zbl 1432.68427号 [6] Besnard，P.，《不一致性度量的基本假设》，《交易——以大规模数据和知识为中心的系统》，34，1-12（2017） [7] （Béziau，J.Y.；Carnielli，W.；Gabbay，D.，Paraconsistence手册（2007年），大学出版物：伦敦大学出版物）·Zbl 1206.03030号 [8] Brewka，G。；Eiter，T.，异质非单调多上下文系统中的平衡，（第二十届人工智能AAAI会议论文集。第二十届AAAI人工智能会议论文集，2007年7月22日至26日，加拿大不列颠哥伦比亚省温哥华（2007）），385-390 [9] Brewka，G。；艾特，T。；Truszczynski，M.，回答集编程一览，Commun。ACM，54，92-103（2011） [10] Brewka，G。；蒂姆，M。；Ulbricht，M.，《非单调推理中的强烈不一致性》，（第二十六届国际人工智能联合会议论文集，IJCAI-17（2017）），901-907 [11] Brewka，G。；蒂姆，M。；Ulbricht，M.，《强烈的不一致性》，Artif。智力。，267, 78-117 (2019) ·Zbl 1478.68362号 [12] 霍尔维，L。；Hunter，A.，《逻辑中的信息融合：简要概述》，（定性和定量实用推理（ECSQARU'97/FAPR'97）（1997），Springer），86-95 [13] 康多塔，J.F。；Raddaoui，B。；Salhi，Y.，《量化时空信息冲突》，（第十五届知识表示与推理原则国际会议论文集（KR’16）（2016）），443-452 [14] Daniel，L.，Paraconsistent Probabilistic Reasoning（2009），巴黎矿藏国家管理局，博士论文 [15] De Bona，G。；Finger，M.，《测量概率逻辑中的不一致性：理性假设和荷兰书籍解释》，Artif。智力。，227, 140-164 (2015) ·Zbl 1346.68183号 [16] De Bona，G。；格兰特·J。；亨特，A。；Konieczny，S.，《走向句法不一致性度量的统一框架》（第32届AAAI人工智能会议论文集（2018）），1803-1810 [17] De Bona，G。；Hunter，A.，《定位冰山矛盾》，Artif。智力。，246, 118-151 (2017) ·Zbl 1419.68142号 [18] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，Artif。智力。，77, 321-358 (1995) ·Zbl 1013.68556号 [19] 杜兰德，A。；赫尔曼，M。；Kolaitis，P.G.，计算复杂度类的减法约简和完全问题，Theor。计算。科学。，340, 496-513 (2005) ·Zbl 1077.68033号 [20] 艾特，T。；芬克，M。；托姆皮茨，H。；Woltran，S.，《应答集编程中的强一致等价：非基础情况的特征和复杂性结果》， （《第二十届全国人工智能大会和第十七届人工智能创新应用大会论文集》，《第二十次全国人工智能会议和第十七次人工智能创新性应用大会论文录》，2005年7月9日至13日，宾夕法尼亚州匹兹堡美国宾夕法尼亚州（2005），695-700 [21] 艾特，T。；Gottlob，G.，《析取逻辑编程的计算成本：命题案例》，《数学年鉴》。Artif公司。智力。，15, 289-323 (1995) ·Zbl 0858.68016号 [22] Gelfond，M。；Leone，N.，《逻辑编程和知识表示——A-prolog透视图》，Artif。智力。，138, 3-38 (2002) ·Zbl 0995.68022号 [23] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新世代。计算。，9, 365-386 (1991) ·Zbl 0735.68012号 [24] 格兰特·J。；Hunter，A.，《衡量知识库中的不一致性》，J.Intell。信息系统。，27, 159-184 (2006) [25] 格兰特·J。；Hunter，A.，《逐步不一致解决中一致性增益和信息损失的测量》，（欧洲推理和不确定性的符号和定量方法会议（2011），Springer），362-373·Zbl 1341.68256号 [26] Halpern，J.Y。；Pearl，J.，《原因与解释：结构模型方法》。第二部分：解释，Br.J.Philos。科学。，56, 889-911 (2005) ·邮编1096.03005 [27] Hansson，S.O.，《信念动力学教科书》（2001），Kluwer学术出版社：Kluwer-学术出版社，美国马萨诸塞州诺威尔 [28] 洛杉矶赫马斯潘德拉。；Vollmer，H.，《撒旦符号：超越#p和其他定义冒险的类计数》，ACM SIGACT新闻，26，2-13（1995） [29] Hunter，A.，《测量论证图中的不一致性》（2017），伦敦大学学院，技术报告·Zbl 1515.68315号 [30] 亨特，A。；Konieczny，S.，《测量不一致信息的方法》，（不一致容忍。不一致容忍，计算机科学讲义，第3300卷（2004），施普林格国际出版公司），189-234·Zbl 1111.68125号 [31] 亨特，A。；Konieczny，S.，《通过最小不一致集测量不一致性》，（第十一届知识表示和推理原则国际会议论文集（KR’2008）（2008），AAAI出版社），358-366 [32] 亨特，A。；Konieczny，S.，《冲突度量：shapley不一致值》，Artif。智力。，1741007-1026（2010年）·Zbl 1210.68106号 [33] 雅布尔，S。；马云（Ma，Y.）。；Raddaoui，B。；Sais，L.，《关于不一致性的表征：基于主蕴涵的框架》，（2014年IEEE第26届人工智能工具国际会议（ICTAI）（2014年），IEEE），146-153 [34] 雅布尔，S。；马云（Ma，Y.）。；Raddaoui，B。；塞伊斯，L。；Salhi，Y.，《衡量不一致性的基于MIS分区的框架》，（第15届知识表示和推理原则国际会议论文集（KR’16）（2016）），84-93 [35] 雅布尔，S。；Sais，L.，《利用MUS结构来测量知识库的不一致性》，（第22届欧洲人工智能会议论文集（ECAI’16）（2016）），991-998·Zbl 1403.68286号 [36] K.M.奈特，《衡量不一致性》，J.菲洛斯。日志。，31, 77-98 (2001) ·Zbl 1003.03022号 [37] 科尼奇尼，S。；Pérez，R.P.，《关于合并的逻辑》，（第六届知识表示和推理原则国际会议论文集（KR’98）（1998），摩根·考夫曼），488-498 [38] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 526-541 (2001) ·Zbl 1365.68149号 [39] Lozinskii，E.L.，《逻辑系统中的信息和证据》，J.Exp.Theor。Artif公司。智力。，6, 163-193 (1994) ·Zbl 0807.68084号 [40] 北卡罗来纳州马德里。；Ojeda-Aciego，M.，《测量正常剩余逻辑程序中的不稳定性：添加信息》，（第19届IEEE模糊系统国际会议论文集（2010）），1-7·Zbl 1214.68121号 [41] Mu，K.，《不一致责任》，国际期刊近似原因。，61, 43-60 (2015) ·Zbl 1344.68232号 [42] Mu，K.，测量命题知识库约束的不一致性，Artif。智力。，259, 52-90 (2018) ·Zbl 1445.68212号 [43] Mu，K.，《没有矛盾的公式：牧师最小矛盾lp中的原子中心特征》，J.Artif。智力。决议，66，279-296（2019）·Zbl 1430.68336号 [44] Mu，K。；刘伟。；Jin，Z.，通过最小不一致集测量不一致性的一般框架，Knowl。信息系统。，27, 85-114 (2011) [45] Oikarinen，E。；Woltran，S.，《论证框架的强等价性表征》，人工制品。智力。，175, 1985-2009 (2011) ·Zbl 1252.68279号 [46] Papadimitriou，C.，计算复杂性（1994），Addison-Wesley·Zbl 0833.68049号 [47] Potyka，N.，《测量概率逻辑不一致性的线性程序》，（第14届知识表示和推理原则国际会议论文集（KR’14）（2014）），568-577 [48] Reiter，R.，默认推理逻辑，Artif。智力。，13, 81-132 (1980) ·Zbl 0435.68069号 [49] Reiter，R.，《第一原理诊断理论》，Artif。智力。，第32页，第57-95页（1987年）·Zbl 0643.68122号 [50] 舒尔茨，C。；佐藤，K。；Toni，F.，《描述和解释逻辑程序中的不一致性》，（Calimeri，F.；Ianni，G.；Truszczynski，M.，《逻辑编程和非单调推理：第13届国际会议》，LPNMR 2015。逻辑程序设计和非单调推理：第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，肯塔基，美国，2015年9月27日至30日，Proceedings（2015），Springer国际出版：Springer International Publishing Cham），467-479·Zbl 1467.68029号 [51] Shannon，C.E.，《通信数学理论》，贝尔系统。《技术期刊》，27，379-423（1948）·Zbl 1154.94303号 [52] Shapley，L.S.，n人博弈的价值，对博弈论的贡献，2307-317（1953）·兹比尔0050.14404 [53] Thimm，M.，《测量概率知识库中的不一致性》，（《第二十五届人工智能不确定性会议论文集》（2009），AUAI出版社），530-537 [54] Thimm，M.，概率逻辑的不一致性度量，Artif。智力。，197, 1-24 (2013) ·Zbl 1270.68288号 [55] Thimm，M.，《关于不一致性度量的合理性假设的遵从性：一个或多或少完整的画面》，Künstl。智力。，31, 31-39 (2017) [56] Thimm，M.，《关于不一致性度量的评估》（Grant，J.；Martinez，M.V.，《衡量信息的不一致性》，《信息不一致性的衡量》，《逻辑研究》，第73卷（2018年），大学出版物）·Zbl 1515.68323号 [57] 蒂姆，M。；Wallner，J.P.，《不一致性度量的一些复杂性结果》，（《第十五届知识表示与推理原则国际会议论文集》（KR’16）（2016）），114-124 [58] 蒂姆，M。；Wallner，J.P.，《关于不一致性度量的复杂性》，Artif。智力。，275, 411-456 (2019) ·Zbl 1478.68359号 [59] Ulbricht，M.，《修复非单调知识库》（Calimeri，F.；Leone，N.；Manna，M.《人工智能中的逻辑》（2019），Springer International Publishing:Springer国际出版公司Cham），151-167·Zbl 1525.68180号 [60] Ulbricht，M。；蒂姆，M。；Brewka，G.，《测量答案集程序中的不一致性》，（第十五届欧洲人工智能逻辑会议论文集（JELIA’16）（2016）），577-583·Zbl 1483.68062号 [61] Ulbricht，M。；蒂姆，M。；Brewka，G.，《测量强不一致性》，（第32届AAAI人工智能会议（2018）论文集），1989-1996 [62] Valiant，L.G.，计算永久性的复杂性，Theor。计算。科学。，8, 189-201 (1979) ·Zbl 0415.68008号 [63] Wagner，K.W.，《具有简洁输入表示的组合问题的复杂性》，《信息学报》。，23, 325-356 (1986) ·Zbl 0621.68032号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。