×

无限值哥德尔语义下表达描述逻辑中的推理。 (英语) 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格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。