×
赛义德·雅布尔;马，岳;巴德兰·拉德道伊;拉赫达尔·赛斯

通过素蕴涵量化命题逻辑中的冲突。 （英语） Zbl 1419.68145号

国际J近似推理 89, 27-40 (2017).
摘要：量化冲突被认为是处理不一致性的一个重要问题。事实上，可以使用不一致性度量来支持知识工程师构建一致且可用的知识库，或提供如何修复不一致性的见解。好的度量应该满足一组理性属性。然而，定义声音属性有时是有问题的。在本文中，我们强调了一个这样的属性，命名为优势很少通过句法手段来满足。基于素蕴涵规范表示，我们首先引入冲突变量的概念，并使用它来细化由最小不可满足集（MUS）定义的现有不一致性度量。然后，我们提供了一个语义表征，允许我们建立与多值语义的关系。其次，我们提出了一种基于推导MUS（DMUS）概念的新度量方法，以限定给定知识库中的内部冲突。我们还证明，这一措施满足了一种新的但较弱的支配形式。最后，我们展示了如何使用DMUS的命中集来扩展基于最小不一致集的命中集的不一致性度量。

引用于7文件

MSC公司：

68立方英尺 知识表示
68T27型 人工智能中的逻辑

关键词：

知识表示;不一致性度量;命题逻辑;相互冲突的变量;素数隐含
PDF格式BibTeX公司 XML格式引用
\textit{S.Jabbour}等人，《国际近似推理》89，27-40（2017；Zbl 1419.68145）
全文： 内政部

参考文献：

[1] 贝托西，L。；亨特，A。；Schaub，T.，《不一致容忍简介》（不一致容忍（2005）），1-14·Zbl 1111.68667号
[2] 格兰特，J.，《不一致理论的分类》，圣母院J.Form.Log。，19, 3, 435-444 (1978) ·Zbl 0305.02040号
[3] Barragáns-Martinez，B。；帕佐斯·阿里亚斯，J。；Fernández-Vilas，A.，《关于测量多角度需求规范中的不一致程度》（PRISE（2004）），21-30
[4] 陈，Q。；张，C。；Zhang，S.，电子交易协议的验证模型，（APWeb（2004）），824-833
[5] 齐，G。；刘，W。；Bell，D.A.，《衡量两个优先信仰基础之间的冲突和一致性》（IJCAI（2005）），552-557
[6] Hunter，A.，《如何对不一致的新闻采取行动：忽略、解决或拒绝数据知识》。工程，57，3，221-239（2006）
[7] 格兰特·J。；Hunter，A.，《衡量知识库中的不一致性》，J.Intell。信息系统。，27, 2, 159-184 (2006)
[8] 马丁内斯，M.V。；Pugliese，A。；Simari，G.I。；Subrahmanian，V.S。；Prade，H.，你的关系数据库有多脏？公理方法，（ECSQARU（2007）），103-114·Zbl 1148.68353号
[9] 格兰特·J。；Hunter，A.，《基于距离的不一致性度量》（ECSQARU（2013）），第230-241页·Zbl 1353.68263号
[10] 周，L。；黄，H。；齐，G。；马云（Ma，Y.）。；黄，Z。；Qu，Y.，《衡量DL-Lite本体中的不一致性》（Web Intelligence，2009），349-356
[12] Hunter，A.，通过准经典模型测量知识的不一致性，（AAAI/IAAI（2002）），68-73
[13] Oller，C.A.，《使用LP模型测量连贯性》，J.Appl。日志。，2, 4, 451-455 (2004) ·Zbl 1076.03017号
[14] 格兰特·J。；Hunter，A.，分析不一致的一阶知识库，Artif。智力。，172, 8-9, 1064-1093 (2008) ·Zbl 1183.68614号
[15] 马云（Ma，Y.）。；齐，G。；肖·G。；希茨勒，P。；Lin，Z.，《不一致性度量的计算复杂性和任意时间算法》，国际期刊Softw。通知。，2010年4月1日至21日
[16] 肖·G。；林，Z。；马云（Ma，Y.）。；Qi，G.，用部分max-sat解算器计算多值语义下的不一致性度量，（KR（2010））
[17] 马云（Ma，Y.）。；齐，G。；Hitzler，P.，《基于次一致语义的计算不一致性度量》，J.Log。计算。，21, 6, 1257-1281 (2011) ·Zbl 1228.68046号
[18] 肖·G。；Ma，Y.，基于最小不可满足子集变量的不一致性测量，（ECAI（2012）），864-869·Zbl 1327.68263号
[19] 贾布尔，S。；Raddaoui，B.，《通过最小证明衡量不一致性》（ECSQARU（2013）），第290-301页·Zbl 1352.68228号
[20] 亨特，A。；Konieczny，S.，通过最小不一致集测量不一致性，（KR（2008）），358-366
[21] Mu，K。；刘，W。；Jin，Z.，通过最小不一致集测量不一致性的一般框架，Knowl。信息系统。，2011年1月27日，85-114
[22] Mu，K。；刘，W。；Jin，Z.，《衡量每个公式对不一致的优先知识库的指责》，J.Log。计算。，22, 3, 481-516 (2012) ·Zbl 1241.68108号
[23] 贾布尔，S。；马云（Ma，Y.）。；Raddaoui，B.，《由于MUS分解导致的不一致性测量》，（自治代理和多代理系统国际会议，自治代理和多重代理系统国际大会，AAMAS（2014）），877-884
[24] 亨特，A。；Konieczny，S.，Shapley不一致值，（KR（2006）），249-259
[25] 亨特，A。；Konieczny，S.，《冲突度量：Shapley不一致值》，Artif。智力。，174, 14, 1007-1026 (2010) ·兹比尔1210.68106
[26] Mu，K。；刘，W。；Z.Jin。；Bell，D.A.，《一种基于句法的方法来衡量信念基础的不一致程度》，《国际期刊近似推理》。，52, 7, 978-999 (2011) ·Zbl 1226.68106号
[27] 霍里奇，M。；巴西娅，B。；Sattler，U.，《本体论中的正当化掩盖》（KR（2012）），623-627
[28] 肖·G。；林，Z。；马云（Ma，Y.）。；Qi，G.，用部分max-SAT解算器计算多值语义下的不一致性度量，（KR（2010）），340-349
[29] O·阿里利。；Avron，A.，四个值的值，Artif。智力。，102, 97-141 (1998) ·Zbl 0928.03025号
[30] 贝斯纳德，P。；Hunter，A.，《准经典逻辑：基于不一致信息的非可竞争经典推理》（ECSQARU（1995）），44-51
[31] 格兰特·J。；Hunter，A.，《在不一致信息中衡量好坏》（IJCAI（2011）），2632-2637
[32] 蒂姆，M。；Wallner，J.P.，《不一致性度量的一些复杂性结果》（KR（2016）），第114-124页
[33] Mu，K.，《不一致的责任》，Int.J.《大致原因》。，61, 43-60 (2015) ·Zbl 1344.68232号
[34] Reiter，R.，《第一原理诊断理论》，Artif。智力。，32, 1, 57-95 (1987) ·兹伯利0643.68122
[35] Mu，K。；Z.Jin。；鲁·R。；Peng，Y.，基于注释谓词演算处理非规范软件需求，Knowl。信息系统。，11, 1, 85-104 (2007)
[36] K.奈特，《衡量不一致性》，J.菲洛斯。日志。，31, 1, 77-98 (2002) ·Zbl 1003.03022号
[37] Doder，D。；拉斯科维奇，M。；马科维奇，Z。；Ognjanovic，Z.，不一致和违约的衡量标准，Int.J.近似原因。，第51页，第7832-845页（2010年）·Zbl 1205.68422号
[38] Hunter，A.，《评估不一致的重要性》（IJCAI（2003）），468-478
[39] M.阿穆拉。；Raddaoui，B。；Salhi，Y。；Oukacha，B.，《关于使用最大一致集测量不一致性》（ECSQARU（2015）），267-276·Zbl 1465.68246号
[40] 贾布尔，S。；马云（Ma，Y.）。；Raddaoui，B。；塞伊斯，L。；Salhi，Y.，《基于结构的不一致性度量及其通过闭集包装的计算》（AAMAS（2015）），1749-1750
[41] 贾布尔，S。；马云（Ma，Y.）。；Raddaoui，B。；塞伊斯，L。；Salhi，Y.，《衡量不一致性的基于MIS分区的框架》（KR（2016）），84-93
[42] Raddaoui，B.，《使用演绎论证计算不一致性》（ICAART（2015）），164-172
[43] 格兰特·J。；Hunter，A.，《在不一致信息中衡量好坏》（IJCAI（2011）），2632-2637
[44] Picado-Muiño，D.，《测量和修复概率知识库中的不一致性》，国际期刊近似推理。，52, 6, 828-840 (2011) ·Zbl 1226.68114号
[45] Thimm，M.，概率逻辑的不一致性度量，Artif。智力。，197, 1-24 (2013) ·Zbl 1270.68288号
[46] 罗德·W。；Xu，L.，消除概率专家系统外壳SPIRIT中的不一致知识，（运筹学研究论文集（2001），Springer-Verlag），260-265，（德语）·Zbl 1168.68581号
[47] 康多塔，J。；Raddaoui，B。；Salhi，Y.，《量化时空信息冲突》（KR（2016）），443-452
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。