×
约翰·格兰特;安东尼·亨特

分析不一致的一阶知识库。 （英语） Zbl 1183.68614号

Artif公司。智力。 172，编号8-9，1064-1093（2008）.
摘要：众所周知，知识库可能包含不一致之处。我们提供了一个基于一阶四值逻辑的度量框架，以量化知识库的不一致性。这允许比较不同知识库之间的不一致性，这些知识库被表示为一阶逻辑公式集。我们通过考虑一些用本体知识和时态知识表示和推理的知识库示例来激励这种方法。当缺乏关于可能填充概念的实例的知识时，分析本体论知识（包括关于哪些概念是其他概念的子概念的陈述，以及哪些概念是不相交的）可能是有问题的，并且分析时间知识（例如时间完整性约束）当考虑与自然数、实数或更复杂的结构（如分支时间线）同构的无限线性时间线时，可能会出现问题。我们通过在一阶知识库中提供不一致性的代数度量来解决这些困难。

引用于16文件

理学硕士：

68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）
03B53号 准一致逻辑
68T27型 人工智能中的逻辑

关键词：

测量不一致性;次协调逻辑;不一致性容差;分析不一致性;冲突解决;知识库
PDF格式BibTeX公司 XML格式引用
\textit{J.Grant}和\textit{A.Hunter}，Artif。智力。172，编号8--91064--1093（2008；Zbl 1183.68614）
全文： 内政部

参考文献：

[1] O·阿里利。；Avron，A.，《四个值的值》，《人工智能》，10297-141（1998）·Zbl 0928.03025号
[2] 阿雷纳斯，M。；贝托西，L。；Kifer，M.，注释谓词演算在查询不一致数据库中的应用，（计算逻辑（CL'2000）。计算逻辑（CL'2000），LNCS，第1861卷（2000），Springer），926-941·Zbl 0983.68054号
[3] 贝托西，L。；Chomicki，J.，《不一致数据库中的查询应答》，（Saake，G.；Chomicki，J.；van der Meyden，R.，《数据库新兴应用的逻辑》（2003），Springer）·Zbl 1079.68026号
[4] Benferhat，S。；Dubois，D。；卡奇，S。；Prade，H.，《可能性逻辑中的编码信息融合：理性句法合并的一般框架》，（第14届欧洲人工智能会议论文集（ECAI’2000）（2000），IOS出版社），3-7
[5] Belnap，N.，《有用的四值逻辑》（Epstein，G.，《多值逻辑的现代应用》（1977），Reidel），8-37·Zbl 0417.03009号
[6] 贝托西，L。；亨特，A。；Schaub，T.，《不一致公差介绍》，（不一致公差。不一致公差，LNCS，第3300卷（2004），Springer），1-16·Zbl 1111.68667号
[7] Baral，C。；克劳斯，S。；Minker，J。；Subrahmanian，V.S.，结合一阶理论的知识基础，计算智能，8，45-71（1992）
[8] B.Barragáns-Martínez，J.Pazos-Arias，A.Fernández-Vilas，《关于测量多视角需求规范中的不一致程度》，载于：《软件工程原理第一届会议论文集》（PRISE'04），2004年，第21-30页；B.Barragáns Martínez，J.Pazos Arias，A.Fernández Vilas，《关于多视角需求规范中不一致性的测量水平》，载于：《第一届软件工程原理会议论文集》（PRISE'04），2004年，第21-30页
[9] 卡尼埃利，W。；Marcos，J.，C系统分类法，（Paraconsistence:The Logical Way to The Inconsistent（2002），马塞尔·德克尔），1-94·Zbl 1036.03022号
[10] 陈，Q。；张，C。；Zhang，S.，电子交易协议的验证模型，（高级Web技术和应用，高级Web技术与应用，LNCS，第3007卷（2004），Springer），824-833
[11] 达科斯塔，N.C.，《论不一致形式系统理论》，《圣母院形式逻辑期刊》，15497-510（1974）·Zbl 0236.02022号
[12] de Amo，S。；卡尼埃利，W。；Marcos，J.，《在多个数据库中集成不一致信息的逻辑框架》，（《第二届信息和知识系统基础国际研讨会论文集》，第二届国际信息和知识体系基础研讨会论文集，LNCS，第2284卷（2002），Springer），67-84·Zbl 1044.68049号
[13] 芬克尔斯坦，A。；加巴伊，D。；亨特，A。；Kramer，J。；Nuseibeh，B.，《多视角规范中的不一致性处理》，IEEE软件工程学报，20，8，569-578（1994）
[14] 格兰特·J。；Hunter，A.，《测量知识库中的不一致性》，《智能信息系统杂志》，27159-184（2006）
[15] Grant，J.，《不一致理论的分类》，《圣母院形式逻辑杂志》，19435-444（1978）·Zbl 0305.02040号
[16] 格兰特·J。；Subrahmanian，V.S.，副一致性在数据和知识库中的应用，综合，125121-132（2000）·Zbl 0974.68051号
[17] 亨特，A。；Konieczny，S.，《测量不一致信息的方法》，（不一致公差。不一致公差，LNCS，卷3300（2004），Springer），189-234·Zbl 1111.68125号
[18] 亨特，A。；Konieczny，S.，Shapley不一致值，（第十届知识表示国际会议论文集（KR’06）（2006），AAAI出版社），249-259
[19] 亨特，A。；Nuseibeh，B.，《管理不一致规范：推理、分析和行动》，《ACM软件工程与方法学报》，7335-367（1998）
[20] Hunter，A.，《通过准经典模型测量知识的不一致性》，（美国国家人工智能会议论文集（AAAI'02）（2002），麻省理工学院出版社），68-73
[21] A.Hunter，《评估不一致的重要性》，载于《第18届国际人工智能联合会议论文集》（IJCAI'03），2003年，第468-473页；A.Hunter，《评估不一致的重要性》，载于《第18届国际人工智能联合会议论文集》（IJCAI'03），2003年，第468-473页
[22] Hunter，A.，使用评分函数对不一致观点进行逻辑比较，《知识与信息系统期刊》，6528-543（2004）
[23] Hunter，A.，《如何应对不一致的新闻：忽略、解决或拒绝》，《数据与知识工程》，第57期，第221-239页（2006年）
[24] S.Konieczny，J.Lang，P.Marquis，《通过认知行为量化命题逻辑中的信息和矛盾》，载《第十八届国际人工智能联合会议论文集》（IJCAI'03），2003年，第106-111页；S.Konieczny，J.Lang，P.Marquis，通过认知行为量化命题逻辑中的信息和矛盾，收录于：第18届国际人工智能联合会议（IJCAI'03），2003年，第106-111页
[25] K.奈特，《衡量不一致性》，《哲学逻辑杂志》，31，77-98（2001）·Zbl 1003.03022号
[26] K.奈特，《不一致集合的两种信息度量》，《逻辑、语言和信息杂志》，第12期，第227-248页（2003年）·Zbl 1015.03035号
[27] 科尼奇尼，S。；Pino Perez，R.，《关于合并的逻辑》，（第六届知识表示与推理原则国际会议论文集（KR'98）（1998），Morgan Kaufmann），488-498
[28] 林，J。；Mendelzon，A.O.，《在约束条件下合并数据库》，《国际合作信息系统杂志》，7，1，55-76（1998）
[29] Lozinskii，E.，逻辑系统中的信息和证据，《实验和理论人工智能杂志》，6163-193（1994）·Zbl 0807.68084号
[30] Mu，K。；Z.Jin。；鲁·R。；Liu，W.，《度量需求工程中的不一致性》，（《不确定性推理的符号和定量方法》，ECSQARU’05）。不确定性推理的符号和定量方法（ECSQARU'05），LNAI，第3571卷（2005），施普林格出版社，440-451·Zbl 1122.68666号
[31] 马丁内斯，M。；普利斯，A。；Simari，G。；Subrahmanian，V.S。；Prade，H.，你的关系数据库有多脏？公理方法，（不确定性推理的符号和定量方法（ECSQARU'07）。不确定性推理的符号和定量方法（ECSQARU'07），LNCS，第4724卷（2007），施普林格出版社，103-114·Zbl 1148.68353号
[32] 马云（Ma，Y.）。；齐，G。；希茨勒，P。；Lin，Z.，《基于次一致语义的描述逻辑不一致性度量》，（《推理和不确定性的符号和定量方法》（ECSQARU'07）。推理和不确定性的符号和定量方法（ECSQARU'07），LNCS，第4724卷（2007），施普林格出版社，30-41·Zbl 1148.68487号
[33] G.牧师，《关于真理的推理》，人工智能，39，231-244（1989）·Zbl 0694.03021号
[34] G.Qi，W.Liu，D.Bell，《衡量两个优先信念基础之间的冲突和一致性》，载《第十九届国际人工智能联合会议论文集》（2005年），第552-557页；G.Qi，W.Liu，D.Bell，《衡量两个优先信念基础之间的冲突和一致性》，载《第十九届国际人工智能联合会议论文集》（2005年），第552-557页
[35] Reiter，R.，《一级数据库中的平等和域封闭》，《计算机协会杂志》，27，2，235-249（1980）·Zbl 0441.68117号
[36] D.Sarenac、R.Jennings，《含义、保存和真理》，摘自《国际人工智能会议论文集》，CSREA出版社，2001年；D.Sarenac、R.Jennings，《含义、保存和真理》，摘自：《国际人工智能会议论文集》，中国科学研究院出版社，2001年·Zbl 1244.03020号
[37] Wong，P。；Besnard，Ph.，Parasconsistent reasoning as an analysis tool，Journal of the Interest Group in Propositional Logic，9，233-246（2001年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。