桂林齐;季、秋;杰夫·Z·潘。;杜建峰 用可能性逻辑中的不确定性推理扩展描述逻辑。 (英语) Zbl 1210.68110号 《国际情报杂志》。系统。 26,第4期,353-381(2011). 概要:可能性逻辑为处理不确定性和不一致性提供了一种方便的工具。在本文中,我们提出了可能性描述逻辑作为描述逻辑的扩展,描述逻辑是一个著名的本体语言家族。我们首先给出了可能性描述逻辑的语法和语义,并在可能性描述逻辑中定义了几个推理服务。我们表明,这些推理服务可以简化为计算可能性描述逻辑中知识库的不一致程度。由于可能性推理服务存在淹没问题,即不使用置信度小于或等于不一致性的公理,我们考虑可能性推理的一种无淹没变体,称为线性顺序推理。我们提出了一种计算可能性描述逻辑知识库的不一致度的算法和一种线性顺序推理的算法。我们考虑了我们的可能性描述逻辑对本体学习和本体合并的影响。最后,我们实现了这些算法并提供了一些有趣的评估结果。 引用于5文件 MSC公司: 68立方英尺 知识表示 68T27型 人工智能中的逻辑 68层37 人工智能背景下的不确定性推理 PDF格式BibTeX公司 XML格式引用 \textit{G.Qi}等人,《国际情报杂志》。系统。26,第4号,353--381(2011;Zbl 1210.68110) 全文: 内政部 参考文献: [1] Qi G Pan JZ Ji Q用可能性逻辑中的不确定性推理扩展描述逻辑2007 828 839·Zbl 1148.68535号 [2] Heinsohn J概率描述逻辑1994 311 318 [3] Lukasiewicz,表达概率描述逻辑,Artif Intelli 172(6-7)第852页–(2008)·Zbl 1182.68283号 ·doi:10.1016/j.artint.2007.10.017 [4] 斯特拉契亚,《模糊描述逻辑中的推理》,J Artif Intelli Res 14 pp 137–(2001)·Zbl 0973.03034号 [5] Dubois,《人工智能和逻辑编程逻辑手册》第439页–(1994年) [6] Dubois,可能性理论:计算机处理不确定性的方法(1986) [7] Benferhat,可能性逻辑框架中部分有序信息的推理,模糊集系统144(1),第25页–(2004)·Zbl 1076.68080号 ·doi:10.1016/j.fss.2003.10.012 [8] 杜波伊斯,《认识论的巩固和可能性逻辑》,Artif Intelli 50(2)pp 223–(1991)·Zbl 0749.03019号 ·doi:10.1016/0004-3702(91)90101-O [9] Benferhat S Dubois D Prade H表示可能性逻辑中的默认规则1992 673 684 [10] Dubois,《不可行推理和不确定性管理系统手册》,第169页–(1998年) [11] Hollower,可能性逻辑的另一种证明方法及其在术语逻辑中的应用,《国际J近似推理12(2)》,第85–(1995)页·Zbl 0814.68120号 ·doi:10.1016/0888-613X(94)00015-U [12] Dubois,《获取智能:模糊逻辑与语义网络》,第101页–(2006)·doi:10.1016/S1574-9576(06)80008-0 [13] Haase Pölker J本体学习和推理——处理不确定性和不一致性2005 45 55 [14] Baader,《描述逻辑手册:理论、实施和应用》(2007年)·doi:10.1017/CBO9780511711787 [15] Borgida A论描述逻辑与谓词逻辑的关系1994 219 225 [16] 明斯基,《知识表达框架》(1974年) [17] Haase P van Harmelen F Huang Z Stuckenschmidt H Sure Y处理变化本体中不一致性的框架2005 353 367 [18] Schmidt-Schauß,带补语的归因概念描述,Artif Intell 48(1)pp 1–(1991)·兹比尔0712.68095 ·doi:10.1016/0004-3702(91)90078-X [19] 莫蒂默(Mortimer),《关于双变量语言》(On languages with two variables),Zeit f math Logik u Grundlagen d math 21 pp 135–(1975)·Zbl 0343.0209号 ·doi:10.1002/malq.19750210118 [20] Dubois,《可能性逻辑:回顾与前瞻》,《模糊集系统》144(1)第3页–(2004)·Zbl 1076.68084号 ·doi:10.1016/j.fss.2003.10.011 [21] Benferhat S Cayrol C Dubois D Lang J Prade H不一致性管理和基于句法的优先隐含1993 640 647 [22] Flouris G Huang Z Pan JZ Plexousakis D Wache H本体论中的不一致、否定和变化2006 1295 1300 [23] Lang,《不可行推理和不确定性管理系统手册》,第179页–(2000年)·doi:10.1007/978-94-017-1737-3_5 [24] Cimiano Pölker J文本2至2005 227 238 [25] Meilike C Stuckenschmidt H将逻辑约束应用于本体匹配2007 99 113 [26] Qi G Ji Q Haase P 2009年地图修订版521 536的基于冲突的运算符 [27] Jiménez-Ruiz E Grau BC Horrocks I Llavori RB使用映射进行本体集成:获得正确的逻辑结果2009 173 187 [28] Castano S Ferrara A Messa G 2006年OAEI HMatch本体匹配器结果 [29] Borgida,《分布式描述逻辑:同化来自对等源的信息》,《数据语义学杂志》1第153页–(2003)·Zbl 1274.68454号 ·doi:10.1007/978-3-540-39733-57 [30] Cal,语义网紧耦合概率描述逻辑程序,《数据语义杂志》12页,第95页–(2009年)·Zbl 1246.68216号 ·doi:10.1007/978-3642-00685-24 [31] Völker J Vrandecic D Sure Y Hotho A Learning disjointness 2007年175 189 [32] Lukasiewicz,《语义网描述逻辑中的不确定性和模糊性管理》,《web语义杂志》6(4)第291页–(2008)·Zbl 05517739号 ·doi:10.1016/j.websem.2008.04.001 [33] Jaeger M术语逻辑中的概率推理1994 305 316 [34] Lukasiewicz,带条件约束的概率默认推理,《Ann Math Artif Intell》34(1-3),第35页–(2002)·Zbl 1002.68175号 ·doi:10.1023/A:1014445017537 [35] Stoilos,《具有非常有表现力的模糊描述逻辑的推理》,《人工智能研究杂志》第30期第273页-(2007)·Zbl 1182.68292号 [36] Dubois,可能性理论、概率论和多值逻辑:澄清,《数学与艺术智能》32(1-4)第35页–(2001)·Zbl 1314.68309号 ·doi:10.1023/A:1016740830286 [37] Coste-Marquis,《分层信念基础汇编》,《Ann Math Artif Intell》42(4),第399页–(2004)·Zbl 1074.68067号 ·doi:10.1023/B:AMAI.0000038313.15152.5c [38] Du J Qi G Shen Y-D基于不一致DL本体的词典推理2008 58 73 [39] Qi G Pan JZ可能性描述逻辑ALC 2008 61 75的表算法 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。