斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 无限值哥德尔语义下表达描述逻辑中的推理。 (英语) Zbl 1471.68268号 Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322, 49-65 (2015). 摘要:模糊描述逻辑(FDL)将经典描述逻辑与模糊逻辑的语义相结合,用模糊知识进行表示和推理。大多数使用区间([0,1]\)真值的FDL在存在否定构造函数和一般概念包含的情况下被证明是不可判定的。一个例外是那些FDL,它们的语义是基于无限值的Gödel tnorm(G公司). 我们扩展了FDL先前的可判定性结果G公司-\(\mathcal{ALC}\)来处理复杂的角色包含、名词、反角色和限定数限制。我们的新方法基于有限值FDL的已知加密技术和基于自动机的推理过程的组合G公司-\(\mathcal{ALC}\)。关于整个系列,请参见[Zbl 1355.68017号]. 引用于三文件 MSC公司: 68T27型 人工智能中的逻辑 03B52号 模糊逻辑;模糊逻辑 68立方英尺 知识表示 软件:KL-ONE公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Borgwardt}和\textit{R.Peñaloza},莱克特。注释计算。科学。9322,49-65(2015;Zbl 1471.68268) 全文: 内政部 参考文献: [1] Baader,F.、Calvanee,D.、McGuinness,D.L.、Nardi,D.、Patel-Schneider,P.F.(编辑):《描述逻辑手册:理论、实现和应用》,第二版。剑桥大学出版社(2007)·Zbl 1132.68055号 [2] Baader,F.,Peñaloza,R.:关于具有GCI和乘积t-范数的模糊描述逻辑的不可判定性。收录人:Tinelli,C.,Sofronie-Stokkermans,V.(编辑)FroCoS 2011。LNCS,第6989卷,第55-70页。斯普林格,海德堡(2011)·Zbl 1348.68236号 ·doi:10.1007/978-3-642-24364-65 [3] Baader,F.,Sattler,U.:描述逻辑的表格算法概述。《逻辑研究》69(1),5-40(2001)·Zbl 0991.03012号 ·doi:10.1023/A:1013882326814 [4] Bobillo,F.,Delgado,M.,Gómez-Romero,J.:模糊的清晰表示包含模糊名词和一般概念。收录人:da Costa,P.C.G.,d'Amato,C.,Fanizzi,N.,Laskey,K.B.,Laskie,K.J.,Lukasiewicz,T.,Nickles,M.,Pool,M.(编辑)URSW 2005-2007。LNCS(LNAI),第5327卷,第174-188页。斯普林格,海德堡(2008)·Zbl 05488322号 ·doi:10.1007/978-3-540-89765-1_11 [5] Bobillo,F.,Delgado,M.,Gómez-Romero,J.:优化模糊描述逻辑的清晰表示收录人:da Costa,P.C.G.,d'Amato,C.,Fanizzi,N.,Laskey,K.B.,Laskie,K.J.,Lukasiewicz,T.,Nickles,M.,Pool,M.(编辑)URSW 2005-2007。LNCS(LNAI),第5327卷,第189-206页。斯普林格,海德堡(2008)·Zbl 05488323号 ·doi:10.1007/978-3-540-89765-1_12 [6] Bobillo,F.,Delgado,M.,Gómez-Romero,J.,Straccia,U.:哥德尔语义下的模糊描述逻辑。国际期刊近似原因。 50(3), 494–514 (2009) ·兹比尔1191.68647 ·doi:10.1016/j.ijar.2008.10.003 [7] Bobillo,F.,Delgado,M.,Gómez-Romero,J.,Straccia,U.:在模糊描述逻辑中加入哥德尔和扎德模糊逻辑。国际期刊不确定性。模糊。20(4),475–508(2012)·兹比尔1251.68224 ·doi:10.1142/S021848815200249 [8] Bobillo,F.,Straccia,U.:具有一般t-范数和数据类型的模糊描述逻辑。模糊集。系统。 160(23), 3382–3402 (2009) ·Zbl 1192.68659号 ·doi:10.1016/j.fss.2009.03.006 [9] Bobillo,F.,Straccia,U.:有限多值Łukasiewicz模糊描述逻辑推理.通知。《科学》181,758–778(2011)·Zbl 1209.68519号 ·doi:10.1016/j.ins.2010.1020 [10] Bobillo,F.,Straccia,U.:有限模糊描述逻辑和清晰表示。收录:Bobillo,F.等人(编辑)URSW 2008-2010/UniDL 2010。LNCS,第7123卷,第99-118页。斯普林格,海德堡(2013)·Zbl 1351.68262号 ·doi:10.1007/978-3-642-35975-06 [11] Borgwardt,S.:带名词的有限格上的模糊DL。In:程序。2014年DL。CEUR-WS,第1193卷,第58-70页(2014年) [12] Borgwardt,S.,Distel,F.,Peñaloza,R.:没有有限值模型属性的可判定哥德尔描述逻辑。In:程序。KR 2014,第228-237页。AAAI出版社(2014) [13] Borgwardt,S.,Distel,F.,Peñaloza,R.:包含一般概念的模糊描述逻辑中可判定性的极限。Artif公司。智力。 218, 23–55 (2015) ·Zbl 1319.68211号 ·doi:10.1016/j.artint.2014.09.001 [14] Borgwardt,S.,Peñaloza,R.:基于格的模糊描述逻辑的复杂性2(1),1-19(2013) [15] Borgwardt,S.,Pe naloza,R.:有限格不进行推理更努力。收录人:Bobillo,F.、Carvalho,R.N.、Costa,P.C.G.、d'Amato,C.、Fanizzi,N.、Laskey,K.B.、Laskie,K.J.、Lukasiewicz,T.、Nickles,M.、Pool,M.(编辑)URSW 2011-2013。LNCS,第8816卷,第122–141页。斯普林格,海德堡(2014)·Zbl 06535460号 ·数字对象标识代码:10.1007/978-3-319-13413-07 [16] Borgwardt,S.,Peñaloza,R.:表达描述逻辑的无限值哥德尔语义。LTCS-Report 15-11,自动化理论主席,德国德累斯顿大学(2015)。参见http://lat.inf.tu-dresden.de/research/reports.html。 ·Zbl 1471.68268号 [17] Calvanee,D.,Eiter,T.,Ortiz,M.:名词表达描述逻辑中的常规路径查询。In:程序。IJCAI 2009,第714-720页。AAAI出版社(2009) [18] Cerami,M.,Straccia,U.:关于模糊描述逻辑在Łukasiewicz t-范数下的(不)可判定性。通知。科学227,1-21(2013)·Zbl 1293.68255号 ·doi:10.1016/j.ins.2012.1019 [19] Droste,M.,Kuich,W.,Vogler,H.:加权自动机手册。第1版。施普林格(2009)·Zbl 1200.68001号 ·doi:10.1007/978-3642-01492-5 [20] Hájek,P.:模糊逻辑的元数学(逻辑趋势)。斯普林格(2001) [21] Hájek,P.:使模糊描述逻辑更通用。模糊集。系统。 154(1), 1–15 (2005) ·Zbl 1094.03014号 ·doi:10.1016/j.fss.2005.03.005 [22] Horrocks,I.,Kutz,O.,Sattler,U.:更不可抗拒的.In:程序。KR 2006,第57-67页。AAAI出版社(2006) [23] Horrocks,I.,Sattler,U.:(mathcal{SHIQ})的可判定性具有复杂角色包含公理160(1-2),79–104(2004)·Zbl 1086.68129号 [24] Horrocks,I.,Sattler,U.,Tobies,S.:非常富有表现力的描述逻辑的实用推理8(3),239-263(2000)·Zbl 0967.03026号 [25] Kazakov,Y.:从具有数量限制的两变量保护碎片到保护碎片的多项式转换。收录人:Alferes,J.J.,Leite,J.(编辑)JELIA 2004。LNCS(LNAI),第3229卷,第372-384页。斯普林格,海德堡(2004)·Zbl 1111.68681号 ·doi:10.1007/978-3-540-30227-832 [26] 哈萨克夫,Y.:(mathcal{RIQ})和\(\mathcal{SROIQ}\)比\(\mathcal{SHOIQ}\)难.In:程序。KR 2008,第274-284页。AAAI出版社(2008) [27] Klement,E.P.,Mesiar,R.,Pap,E.:三角范数。逻辑趋势,Studia Logica Library。斯普林格(2000) [28] Ortiz,M.,Šimkus,M.:描述逻辑中的推理和问答。收录于:Eiter,T.,Krennwallner,T.(编辑)Reasoning Web 2012。LNCS,第7487卷,第1-53页。斯普林格,海德堡(2012)·Zbl 1251.68228号 ·doi:10.1007/978-3-642-33158-9_1 [29] Schild,K.:术语逻辑的对应理论:初步报告。In:程序。IJCAI 1991,第466–471页。摩根·考夫曼(1991)·Zbl 0742.68059号 [30] Schmidt-Schauß,M.,Smolka,G.:带补语的定语概念描述。Artif公司。智力。 48(1), 1–26 (1991) ·Zbl 0712.68095号 ·doi:10.1016/0004-3702(91)90078-X [31] 斯特拉契亚,U。:将模糊描述逻辑转换为经典描述逻辑。收录人:Alferes,J.J.,Leite,J.(编辑)JELIA 2004。LNCS(LNAI),第3229卷,第385-399页。斯普林格,海德堡(2004)·Zbl 1111.68690号 ·doi:10.1007/978-3-540-30227-833 [32] Tobies,S.:表达描述逻辑中具有基数限制和名词的推理的复杂性。J.阿蒂夫。智力。第12号决议,199-217(2000)·Zbl 0941.03029号 [33] Tobies,S.:知识表示中逻辑的复杂性结果和实用算法。博士论文,RWTH Aachen,德国(2001) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。