马蒂亚斯·蒂姆;约翰·沃纳（Johannes P.Wallner）。 关于不一致性度量的复杂性。 （英语） Zbl 1478.68359号 工件。智力。 275, 411-456 (2019). 摘要：我们调查了文献中的一组不一致性度量，并研究了它们的计算复杂性，包括与不一致值的界有关的决策问题和确定实际值的函数问题。我们的发现表明，这些不一致性度量可以根据其复杂性分为四类。前三类包含度量，其复杂性分别位于多项式层次结构的前三个级别。最后一类是在多项式层次结构之外的标准复杂度理论假设下。我们为所有被调查的问题提供成员结果，并为大多数问题提供完整性结果。此外，我们对命题逻辑片段测度的计算复杂性进行了初步研究。 引用于8文件 MSC公司： 68T27型 人工智能中的逻辑 65年第68季度 算法和问题复杂性分析 68立方英尺 知识表示 关键词：不一致性度量;计算复杂性 软件：HgMUS公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Thimm}和\textit{J.P.Wallner}，阿蒂夫。智力。275411--456（2019年；Zbl 1478.68359） 全文： DOI程序 链接 参考文献： [1] Alchourrón，C.E。；Gärdenfors，P。；Makinson，D.，《论理论变革的逻辑：部分满足收缩和修正功能》，J.Symb。日志。，50, 2, 510-530 (1985) ·Zbl 0578.03011号 [2] Amgoud，L。；Ben-Naim，J.，《衡量论证图中的分歧》，（Moral，S.；Pivert，O.；Sánchez，D.；Marín，n.，《2017年SUM会议录》。2017年SUM会议录，《计算机科学讲义》，第10564卷（2017年），施普林格出版社，208-222·Zbl 1498.68294号 [3] M.阿穆拉。；Raddaoui，B。；萨尔希，Y。；Oukacha，B.，《关于使用最大一致集测量不一致性》，（Destercke，S.；Denoeux，T.，ECSQARU 2015年会议记录。ECSQARU 2015会议录，计算机科学讲义，第9161卷（2015），施普林格出版社，267-276·Zbl 1465.68246号 [4] M.阿穆拉。；Salhi，Y。；Oukacha，B。；Raddaoui，B.，《关于基于MCS的不一致性度量》，《国际期刊近似原因》。，80, 443-459 (2017) ·Zbl 1400.68211号 [5] 安德烈，S。；格里戈拉斯，G。；里纳德，M.C。；Yap，R.H.C.，SAT和计算SAT问题的可处理子类层次结构，（Watt，S.M.；Negru，V.；Ida，T.；Jebelean，T.，Petcu，D.；Zaharie，D.，《2009年SYNASC会议录》，IEEE计算机学会），61-68 [6] Ansótegui，C。；博内，M.L。；Levy，J.，基于SAT的MaxSAT算法，Artif。智力。，196, 77-105 (2013) ·Zbl 1270.68265号 [7] 阿雷纳斯，M。；贝托西，L.E。；Chomicki，J.，《不一致数据库中的一致查询答案》（Vianu，V.；Papadimitriou，C.H.，《PODS会议录》（1999），ACM出版社），68-79 [8] 阿雷纳斯，M。；贝托西，L.E。；乔米奇，J。；何，X。；拉加万，V。；Spinrad，J.P.，《不一致数据库中的标量聚合》，Theor。计算。科学。，296, 3, 405-434 (2003) ·Zbl 1045.68049号 [9] Arif，M.F。；门西亚，C。；Marques-Silva，J.，《角公式的有效MUS枚举及其在公理精确定位中的应用》，（Heule，M.；Weaver，S.A.，SAT会议录，《SAT会议记录》，计算机科学讲义，第9340卷（2015），Springer），324-342·兹比尔1471.68173 [10] Besnard，P.，《基于遗忘的不一致性度量》（Schockaert，S.；Senellart，P.），《2016年SUM会议记录》。2016年SUM会议录，《计算机科学讲义》，第9858卷（2016年），施普林格出版社，331-337·Zbl 1366.68278号 [11] （Biere，A.；Heule，M.；van Maaren，H.；Walsh，T.，《可满足性手册》，《人工智能与应用前沿》，第185卷（2009），IOS出版社）·Zbl 1183.68568号 [12] Brewka，G。；艾特，T。；Truszczynski，M.，回答集编程一览，Commun。ACM，54，12，92-103（2011） [13] Brewka，G。；蒂姆，M。；Ulbricht，M.，《非单调推理中的强烈不一致性》（Sierra，C.，《国际JCAI 2017（2017）会议录》），901-907 [14] Cayrol，C.公司。；Lagasquie-Schiex，M。；Schiex，T.，《非单调推理：从复杂性到算法》，《数学年鉴》。工件。智力。，22, 3-4, 207-236 (1998) ·Zbl 0905.68142号 [15] 乔米奇，J。；Marcinkowski，J.，使用元组删除的最小更改完整性维护，Inf.Compute。，197, 1-2, 90-121 (2005) ·Zbl 1075.68022号 [16] 乔米奇，J。；Wijsen，J.，针对时态数据库的时态约束的一致查询应答，（Dyreson，C.E.；Hansen，M.R.；Hunsberger，L.，Proceedings TIME（2016），IEEE Computer Society），149-156 [17] Chvátal，V.，线性规划（1983），弗里曼：弗里曼旧金山·Zbl 0537.90067号 [18] 康多塔，J。；Raddaoui，B。；Salhi，Y.，《量化时空信息冲突》，（Baral，C.；Delgrand，J.P.；Wolter，F.，《KR 2016年会议记录》（2016），AAAI出版社），443-452 [19] 北卡罗来纳州克里诺。；Hermann，M.，广义可满足性计数问题的复杂性，信息计算。，127, 1-12 (1996) ·Zbl 0853.68110号 [20] Dalal，M.，《知识库修正理论研究》（Shrobe，H.E.；Mitchell，T.M.；Smith，R.G.，《第七届全国人工智能会议论文集》（1988年），AAAI出版社/麻省理工学院出版社），475-479 [21] 达维多夫，G。；达维多娃，I。；香港宝宁，CNF子类最小不可满足性问题的有效算法，Ann.Math。工件。智力。，23、3、229-245（1998年11月）·Zbl 0913.68090号 [22] De Bona，G。；Finger，M.，《测量概率逻辑中的不一致性：理性假设和荷兰书籍解释》，Artif。智力。，227, 140-164 (2015) ·Zbl 1346.68183号 [23] De Bona，G.公司。；格兰特·J。；亨特，A。；Konieczny，S.，《走向句法不一致性度量的统一框架》，（McIlraith，S.a.；Weinberger，K.Q.，《2018年AAAI会议记录》，AAAI出版社），1803-1810 [24] De Bona，G。；Hunter，A.，《定位冰山矛盾》，Artif。智力。，246, 118-151 (2017) ·Zbl 1419.68142号 [25] Decker，H.，数据库完整性基于度量的不一致容忍维护，（Schewe，K.；Thalheim，B.，《第五届数据和知识库语义国际研讨会论文集》（SDKB’11），修订论文集。第五届数据和知识库语义国际研讨会论文集（SDKB’11），修订论文选集，计算机科学讲义，第7693卷（2011），Springer），149-173·Zbl 1452.68065号 [26] Doder博士。；拉斯科维奇，M。；马科维奇，Z。；Ognjanovic，Z.，《不一致和违约的度量》，国际期刊近似原因。，51, 832-845 (2010) ·Zbl 1205.68422号 [27] 杜兰德，A。；赫尔曼，M。；Kolaitis，P.G.，《计算复杂性类的减法约简和完全问题》，Theor。计算。科学。，340, 3, 496-513 (2005) ·Zbl 1077.68033号 [28] 艾特，T。；Gottlob，G.，《关于命题知识库修订、更新和反事实的复杂性》，Artif。智力。，57, 2-3, 227-270 (1992) ·Zbl 0763.68038号 [29] 艾特，T。；Gottlob，G.，《基于逻辑的诱拐的复杂性》，J.ACM，42，1，3-42（1995）·Zbl 0886.68121号 [30] 弗莱斯卡，S。；Furfaro，F。；Parisi，F.，查询和修复不一致的数字数据库，ACM Trans。数据库系统。，35, 2, 14:1-14:50 (2010) [31] 戈麦斯，C.P。；Sabharwal，A。；Selman，B.，《模型计算》（Biere，A.；Heule，M.；van Maaren，H.；Walsh，T.，《可满足性手册》（2009），IOS出版社），633-654·Zbl 1183.68568号 [32] 格雷厄姆·R·L。；Knuth，D.E。；Patashnik，O.，《具体数学：计算机科学基础》（1994），Addison-Wesley·Zbl 0836.00001号 [33] 格兰特，J.，《不一致理论的分类》，圣母院J.Form.Log。，19, 3, 435-444 (1978) ·Zbl 0305.02040号 [34] 格兰特·J。；Hunter，A.，分析不一致的一阶知识库，人工制品。智力。，172, 8-9, 1064-1093 (2008) ·兹比尔1183.68614 [35] 格兰特·J。；Hunter，A.，《在逐步解决不一致性中测量一致性增益和信息损失》，（Liu，W.，《ECSQARU 2011年会议记录》。ECSQARU 2011年会议录，计算机科学讲义，第6717卷（2011），Springer），362-373·Zbl 1341.68256号 [36] 格兰特·J。；Hunter，A.，《基于距离的不一致性度量》，（van der Gaag，L.C.，ECSQARU 2013年会议记录。ECSQARU 2013年会议记录，计算机科学课堂讲稿，第7958卷（2013），施普林格出版社，230-241·Zbl 1353.68263号 [37] Hansson，S.O.，《信仰动力学教科书》（2001），Kluwer学术出版社 [38] 洛杉矶赫马斯潘德拉。；Vollmer，H.，《撒旦符号：超越#P和其他定义冒险的类计数》，SIGACT新闻，26，1，2-13（1995） [39] 赫尔曼，M。；Pichler，R.，《计算命题推导的复杂性》，J.Compute。系统。科学。，76, 7, 634-649 (2010) ·Zbl 1197.68072号 [40] Horn，A.，《关于代数直接并成立的句子》，J.Symb。日志。，16, 1, 14-21 (1951) ·Zbl 0043.24801号 [41] 亨特，A。；Konieczny，S.，《测量不一致信息的方法》，（不一致公差（2004），Springer），189-234·Zbl 1111.68125号 [42] 亨特，A。；Konieczny，S.，《通过最小不一致集测量不一致性》（Brewka，G.；Lang，J.，《KR 2008年会议录》（2008），AAAI出版社），358-366 [43] 亨特，A。；Konieczny，S.，《冲突度量：Shapley不一致值》，Artif。智力。，174, 14, 1007-1026 (2010) ·Zbl 1210.68106号 [44] Jabbour，S.，《关于不一致性测量和解决》，（Kaminka，G.A.；Fox，M.；Bouquet，P.；Hüllermier，E.；Dignum，V.；Dignom，F.；van Harmelen，F.，《2016年ECAI会议录》。ECAI 2016年会议记录，《人工智能和应用前沿》，第285卷（2016），IOS出版社，1676-1677 [45] 贾布尔，S。；马云（Ma，Y.）。；Raddaoui，B.，《由于MUS分解导致的不一致性测量》（Bazzan，A.L.C.；Huhns，M.N.；Lomuscio，A.；Scerri，P.，《2014年AAMAS会议录》（2014），IFAAMAS/ACM），877-884 [46] 贾布尔，S。；马云（Ma，Y.）。；Raddaoui，B。；Sais，L.，Prime基于暗示的不一致性表征，（Schaub，T.；Friedrich，G.；O'Sullivan，B.，《ECAI 2014会议录》。2014年ECAI会议记录，《人工智能与应用前沿》，第263卷（2014年），IOS出版社，1037-1038 [47] 贾布尔，S。；马云（Ma，Y.）。；Raddaoui，B。；Sais，L.，《通过素蕴涵量化命题逻辑中的冲突》，《国际近似推理》。(2017) ·Zbl 1419.68145号 [48] 贾布尔，S。；马云（Ma，Y.）。；Raddaoui，B。；塞伊斯，L。；Salhi，Y.，《基于结构的不一致性度量及其通过闭集包装的计算》，（Weiss，G.；Yolum，P.；Bordini，R.H.；Elkind，E.，《AAMAS 2015（2015）会议录》，ACM），1749-1750 [49] 贾布尔，S。；马云（Ma，Y.）。；Raddaoui，B。；Sais，L.公司。；Salhi，Y.，《衡量不一致性的基于MIS分区的框架》，（Baral，C.；Delgrand，J.P.；Wolter，F.，《KR 2016年会议记录》（2016），AAAI出版社），84-93 [50] 贾布尔，S。；Sais，L.，利用MUS结构测量知识库的不一致性，（Kaminka，G.A.；Fox，M.；Bouquet，P.；Hüllermier，E.；Dignum，V.；Dignom，F.；van Harmelen，F.，《2016年ECAI会议录》。ECAI 2016年会议记录，《人工智能和应用前沿》，第285卷（2016），IOS出版社，991-998·Zbl 1403.68286号 [51] Jaumard，B。；Simeone，B.，关于Horn公式最大可满足性问题的复杂性，Inf.Process。莱特。，26, 1, 1-4 (1987) ·Zbl 0638.03036号 [52] K.M.奈特，《不一致理论》（2002），曼彻斯特大学博士论文 [53] 科尼奇尼，S。；Roussel，S.，《基于MI Shapley不一致值的推理平台》（van der Gaag，L.C.，《ECSQARU 2013年会议录》）。ECSQARU 2013年会议记录，《计算机科学讲义》，第7958卷（2013年），施普林格出版社，315-327·Zbl 1390.68611号 [54] Kyburg，H.，《概率与理性信念的逻辑》（1961），卫斯理大学出版社 [55] 朗·J。；Marquis，P.，《不一致性下的推理：基于遗忘的方法》，Artif。智力。，174, 12-13, 799-823 (2010) ·Zbl 1206.68301号 [56] Liberatore，P.，《迭代信念修正的复杂性》（Afrati，F.N.；Kolaitis，P.G.，《1997年ICDT会议录》）。1997年ICDT会议录，计算机科学讲义，第1186卷（1997），施普林格），276-290 [57] Liberatore，P.，《逻辑中的冗余I：CNF命题公式》，Artif。智力。，163, 2, 203-232 (2005) ·Zbl 1132.68736号 [58] 利伯拉托雷，P。；Schaerf，M.，《信念修正与更新：模型检查的复杂性》，J.Compute。系统。科学。，62, 1, 43-72 (2001) ·Zbl 0990.68108号 [59] Liffiton，M.H。；Previti，A。；马利克，A。；Marques Silva，J.，快速、灵活的MUS枚举，约束，21，2223-250（2016）·Zbl 1334.90080号 [60] 利夫希茨，E。；Kimelfeld，B.，《计算和枚举（首选）数据库修复》，（Sallinger，E.；den Bussche，J.V.；Geerts，F.，《2017年PODS会议记录》，ACM），289-301 [61] Lonsing，F。；塞德尔，M。；Gelder，A.V.，《QBF画廊：幕后》，Artif。智力。，237, 92-114 (2016) ·Zbl 1357.68209号 [62] 马，J。；刘伟。；Miller，P.C.，知识库不一致性度量的特征函数方法，（Hüllermeier，E.；Link，S.；Fober，T.；Seeger，B.，2012年SUM会议记录。2012年SUM会议录，《计算机科学讲义》，第7520卷（2012年），施普林格出版社，473-485 [63] 马云（Ma，Y.）。；齐，G。；希茨勒，P。；Lin，Z.，《基于次一致语义的描述逻辑不一致性度量》（Mellouli，K.，《2007年ECSQARU会议录》）。2007年ECSQARU会议录，《计算机科学讲义》，第4724卷（2007），施普林格出版社，30-41·Zbl 1148.68487号 [64] 马云（Ma，Y.）。；齐，G。；肖·G。；希茨勒，P。；Lin，Z.，《不一致性度量的计算复杂性和任意时间算法》，国际期刊Softw。通知。，4, 1, 3-21 (2010) [65] Makinson，D.，《从古典逻辑到非单调逻辑的桥梁》（2005），大学出版物·Zbl 1084.03001号 [66] Marques-Silva，J.，《计算最小不可满足子公式：现状和未来方向》，J.Mult-有价值的日志。软计算。，19, 1-3, 163-183 (2012) ·Zbl 1394.68359号 [67] Marques-Silva，J。；Ignatiev，A。；Mencía，C。；Peñaloza，R.，《不一致角公式的有效推理》，（Michael，L.；Kakas，A.C.，《JELIA 2016年会议录》。2016年JELIA会议录，计算机科学讲义，第10021卷（2016），336-352·Zbl 1483.68381号 [68] Marques-Silva，J。；Previti，A.，《关于计算首选MUS和MCS》，（Sinz，C.；Egly，U.，《2014年SAT会议录》。2014年SAT会议录，《计算机科学讲义》，第8561卷（2014年），斯普林格出版社，58-74·Zbl 1423.68460号 [69] Maslowski博士。；Wijsen，J.，《统计数据库修复复杂性的二分法》，J.Compute。系统。科学。，7958-983年6月79日（2013年）·Zbl 1408.68048号 [70] McAreavey，K。；刘伟。；Miller，P.，《发现和测量任意知识库中不一致性的计算方法》，《国际近似推理》。，55, 1659-1693 (2014) ·Zbl 1309.68181号 [71] Mertens，F.，《无症状性溃疡》，Gesetze der Zahlenthorie，J.Reine Angew。数学。，77, 289-338 (1874) [72] 莫尔加多，A。；赫拉斯，F。；Liffiton，M.H。；平面，J。；Marques-Silva，J.，《迭代和核心引导MaxSAT求解：调查和评估》，《约束》，第18、4、478-534页（2013年）·Zbl 1317.90199号 [73] Mu，K。；刘伟。；Z.Jin。；Bell，D.，《一种基于句法的方法来衡量信念基础的不一致程度》，《国际期刊近似推理》。，52, 7, 978-999 (2011) ·Zbl 1226.68106号 [74] Mu，K。；王凯。；Wen，L.，《分层知识库不一致性的测量方法》，国际期刊近似推理。，55, 529-556 (2014) ·Zbl 1316.68048号 [75] Papadimitriou，C.H.，《计算复杂性》（1994），Addison-Wesley·Zbl 0833.68049号 [76] Papadimitriou，C.H。；Wolfe，D.，《解析面的复杂性》，J.Compute。系统。科学。，37, 1, 2-13 (1988) ·Zbl 0655.68041号 [77] Parisi，F。；Grant，J.，《关于修复和查询不一致的概率时空数据库》，《国际期刊近似原因》。，84, 41-74 (2017) ·Zbl 1419.68048号 [78] 佩尼亚洛萨，R。；Sertkaya，B.，《理解轻量级描述逻辑中公理精确定位的复杂性》，Artif。智力。，250, 80-104 (2017) ·Zbl 1419.68128号 [79] Pfandler，A。；Rümmele，S。；沃尔纳，J.P。；Woltran，S.，《关于信念修正的参数化复杂性》，（Yang，Q.；Wooldridge，M.J.，《2015年国际JCAI会议录》（2015年），AAAI出版社），第3149-3155页 [80] Potyka，N.，测量概率逻辑中不一致性的线性程序，（Baral，C.；Giacomo，G.D.；Eiter，T.，《KR学报》2014（2014），AAAI出版社），568-577 [81] Pretolani，D.，多项式可解可满足性问题的层次结构，《数学年鉴》。工件。智力。，17、2、339-357（1996年9月）·Zbl 0891.68108号 [82] G.牧师，《悖论的逻辑》，J.菲洛斯。日志。，8, 219-241 (1979) ·Zbl 0402.03012号 [83] Raddaoui，B.，《使用逻辑论证计算不一致性》（Loiseau，S.；Filipe，J.；Duval，B.；van den Herik，H.J.，《ICAART 2015（2015）会议录》，科学技术出版社），164-172 [84] 罗塞尔，O。；Manquinho，V.M.，《伪布尔约束和基数约束》（Biere，A.；Heule，M.；van Maaren，H.；Walsh，T.，《可满足性手册》（2009），IOS出版社），695-733 [85] 斯塔奥韦，S。；Chomicki，J.，《存在通用约束条件下的一致查询答案》，《信息科学》。，35, 1, 1-22 (2010) [86] Thimm，M.，概率逻辑的不一致性度量，Artif。智力。，197, 1-24 (2013) ·Zbl 1270.68288号 [87] Thimm，M.，《关于不一致性度量的表达性》，Artif。智力。，234, 120-151 (2016) ·Zbl 1352.68236号 [88] Thimm，M.，基于流的不一致性测量，国际期刊近似原因。，68, 68-87 (2016) ·Zbl 1346.68189号 [89] Thimm，M.，《用多值逻辑测量不一致性》，《国际期刊近似原因》。，86, 1-23 (2017) ·Zbl 1419.68134号 [90] Thimm，M.，《关于不一致性度量的合理性假设的遵从性：一个或多或少完整的画面》，Künstl。智力。，31, 1, 37-39 (2017) [91] Thimm，M.，《人工智能和知识表示的逻辑方面的Tweety图书馆收藏》，Künstl。智力。，31, 1, 93-97 (2017) [92] Thimm，M.，《关于不一致性度量的评估》（Grant，J.；Martinez，M.V.，《衡量信息的不一致性》，《信息不一致性的衡量》，逻辑研究，第73卷（2018年2月），大学出版物）·Zbl 1515.68323号 [93] 蒂姆，M。；Wallner，J.P.，《不一致性度量的一些复杂性结果》，（Baral，C.；Delgrand，J.P；Wolter，F.，《KR 2016年会议记录》（2016），AAAI出版社），114-124 [94] Toda，S.，《关于PP和+P的计算能力》，（1989年《FOCS学报》，IEEE计算机学会），514-519 [95] 托达，S。；Watanabe，O.，从#PH到#P的多项式时间1-图灵减少，Theor。计算。科学。，100, 1, 205-221 (1992) ·兹比尔0779.68037 [96] Ulbricht，M。；蒂姆，M。；Brewka，G.，《测量答案集程序中的不一致性》，（Michael，L.；Kakas，A.C.，《JELIA 2016年会议记录》。2016年JELIA会议录，计算机科学讲义，第10021卷（2016），577-583·Zbl 1483.68062号 [97] Ulbricht，M。；蒂姆，M。；Brewka，G.，《答案集语义下析取逻辑程序的不一致性度量》（Grant，J.；Martinez，M.V.，《度量信息中的不一致》，《信息中的测量不一致性》，《逻辑研究》第73卷（2018年2月），大学出版物）·兹比尔1515.68310 [98] Ulbricht，M。；蒂姆，M。；Brewka，G.，《衡量强不一致性》，（McIlraith，S.A.；Weinberger，K.Q.，《2018年AAAI会议记录》，AAAI出版社，1989-1996年） [99] Valiant，L.G.，计算永久性的复杂性，Theor。计算。科学。，8, 189-201 (1979) ·Zbl 0415.68008号 [100] Valiant，L.G.，枚举和可靠性问题的复杂性，SIAM J.Comput。，8, 3, 410-421 (1979) ·Zbl 0419.68082号 [101] Wagner，K.W.，《具有简洁输入表示的组合问题的复杂性》，《信息学报》。，23, 3, 325-356 (1986) ·Zbl 0621.68032号 [102] Wijsen，J.，《关键约束条件下一致查询应答的数据复杂性调查》（Beierle，C.；Meghini，C.，FoIKS 2014年会议录）。FoIKS 2014年会议录，计算机科学讲义，第8367卷（2014），Springer），62-78·Zbl 1407.68135号 [103] 肖·G。；Ma，Y.，基于最小不可满足子集中变量的不一致性测量，（Raedt，L.D.；Bessière，C.；Dubois，D.；Doherty，P.；Frasconi，P.，Heintz，F.；Lucas，P.J.F.，《2012年ECAI会议录》。ECAI 2012年会议记录，《人工智能和应用前沿》，第242卷（2012），IOS出版社，864-869·Zbl 1327.68263号 [104] 周，L。；黄，H。；齐，G。；马云（Ma，Y.）。；黄，Z。；Qu，Y.，《测量dl-lite本体论中的不一致性》（Web Intelligence Proceedings of Web（2009），IEEE Computer Society），349-356 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。