×
Stefan博格沃特；费利克斯·迪斯特；拉斐尔·佩尼亚洛萨

具有一般概念包含的模糊描述逻辑中可判定性的极限。 （英语） Zbl 1319.68211号

Artif公司。智力。 218, 23-55 (2015).
概述：模糊描述逻辑（DL）可以用来表示和推理模糊知识。这一系列逻辑形式非常多样，每个成员都具有特定的构造函数、公理和三角规范选择，这些用于指定语义。不幸的是，最近有研究表明，在许多具有一般概念包含公理的模糊DL中，一致性问题是不可判定的。在本文中，我们提出了一个证明框架，使我们能够将这些结果扩展到涵盖大型模糊DL。另一方面，我们还为大多数剩余逻辑提供匹配的可判定性结果。因此，根据模糊DL一致性问题的可判定性，我们得到了模糊DL的一种近似通用分类。

引用于16文件

MSC公司：

68T27型 人工智能中的逻辑
03B25号 理论和句子集的可决定性
03B52号 模糊逻辑；模糊逻辑
68立方英尺 知识表示

关键词：

模糊描述逻辑；三角范数；本体一致性；可判定性

软件：

Fuzzydl公司；德洛里安
PDF格式BibTeX公司 XML格式引用
\textit{S.Borgwardt}等人，Artif。智力。218、23-55（2015；Zbl 1319.68211）
全文： 内政部 链接

参考文献：

[1] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2007），剑桥大学出版社）·Zbl 1132.68055号
[2] Hájek，P.，《模糊逻辑的元数学（逻辑趋势）》（2001），斯普林格·弗拉格
[4] 克莱门特，E.P。；梅西亚尔，R。；Pap，E.，《三角规范，逻辑趋势》，Studia Logica Library（2000），Springer-Verlag·Zbl 0972.0302号
[5] 梅利斯，T。；Stoilos，G。；北西蒙。；Stamou，G.B。；Kollias，S.，使用模糊知识的可追踪推理，J.Intell。信息系统。，39, 399-440 (2012)
[6] 波比略，F。；德尔加多，M。；Gómez-Romero，J。；美国斯特拉契亚，《哥德尔语义学下的模糊描述逻辑》，《国际近似推理》。，50, 3, 494-514 (2009) ·Zbl 1191.68647号
[7] 斯特拉契亚，U.，《将模糊描述逻辑转换为经典描述逻辑》（Alferes，J.J.；Leite，J.A.，《第九届欧洲人工智能逻辑会议论文集》，第九届欧盟人工智能逻辑大会论文集，JELIA’04）。第九届欧洲人工智能逻辑会议论文集。第九届欧洲人工智能逻辑会议论文集，（JELIA’04），Lect。注释计算。科学。，第3229卷（2004），斯普林格·弗拉格），385-399·Zbl 1111.68690号
[8] 波比略，F。；美国斯特拉契亚，《具有一般t-范数和数据类型的模糊描述逻辑》，模糊集系统。，160, 23, 3382-3402 (2009) ·Zbl 1192.68659号
[9] Straccia，U.，《模糊描述逻辑中的推理》，人工智能杂志。智力。决议，第14号，第137-166页（2001年）·Zbl 0973.03034号
[10] Stoilos，G。；Straccia，美国。；Stamou，G.B。；Pan，J.Z.，《模糊描述逻辑中的一般概念包含》，（Brewka，G.；Coradeschi，S.；Perini，A.；Traverso，P.，《第17届欧洲人工智能会议论文集》，第17届欧盟人工智能会议，（ECAI'06）（2006），IOS出版社），457-461
[11] 波比略，F。；Straccia，U.，fuzzyDL：一个表达模糊描述逻辑推理器，（2008年IEEE国际模糊系统会议记录。2008年IEEE国际模糊系统会议记录，（FUZZ-IEEE'08）（2008），IEEE计算机学会出版社），923-930
[12] 波比略，F。；德尔加多，M。；Gómez-Romero，J.，《使用DeLorean在模糊OWL 2中进行推理》，（Bobillo，F.；da Costa，P.C.G.；d'Amato，C.；Fanizzi，N.；Laskey，K.；Laskie，K.，Lukasiewicz，T.；Nickles，M.；Pool，M.，《语义网络的不确定性推理II》，Lect.Notes Compute.Sci.，第7123卷（2013），Springer-Verlag），119-138
[13] 莫里托，R。；Tresp，C.B.，《将描述逻辑扩展到医学中的模糊知识》，（Szczepaniak，P.S.；Lisboa，P.J.G.；Kacprzyk，J.，《医学中的Fuzzy系统》，医学模糊系统，模糊软计算研究，第41卷（2000年），Springer-Verlag），617-635
[14] Ciaramella，A。；西米诺，M.G.C.A。；马塞洛尼，F。；斯特拉契亚，U。，《将模糊逻辑和语义网结合起来，以在服务推荐中实现情境感知》（Bringas，P.G.；Hameurlain，A。；Quirchmayr，G.，《第21届数据库和专家系统应用国际会议论文集》。第21届数据库和专家系统应用国际会议记录（DEXA'10）。第21届数据库和专家系统应用国际会议记录。第21届数据库和专家系统应用国际会议论文集，（DEXA'10），Lect。注释计算。科学。，第6261卷（2010年），斯普林格·弗拉格），31-45
[15] 波比略，F。；Bou，F。；关于某些模糊描述逻辑中有限模型性质的失效，模糊集系统。，172, 1, 1-12 (2011) ·Zbl 1231.03025号
[16] 巴德，F。；Peñaloza，R.，具有一般概念包含公理的模糊描述逻辑可判定吗？，（《2011年IEEE模糊系统国际会议论文集》，《2011年EEE模糊系统国际大会论文集》（FUZZ-IEEE’11）（2011），IEEE计算机社会出版社），1735-1742
[17] 巴德，F。；Peñaloza，R.，GCI使用不可判定的产品t-范数在模糊DL中进行推理，（Rosati，R；Rudolph，S.；Zakharyaschev，M.，《第24届描述逻辑国际研讨会论文集》，第24届国际描述逻辑研讨会论文集，（DL'11）。第24届描述逻辑国际研讨会论文集。《第24届描述逻辑国际研讨会论文集》（DL'11），CEUR研讨会论文集，第745卷（2011）），第37-47页
[18] 巴德，F。；Peñaloza，R.，《关于具有GCI和乘积t-范数的模糊描述逻辑的不可判定性》，（Tinelli，C.；Sofronie-Stokkermans，V.，《第八届组合系统前沿国际研讨会论文集》，第八届组合系统前沿国际会议论文集，（FroCoS’11）。第八届组合系统前沿国际研讨会论文集。第八届组合系统前沿国际研讨会论文集，（FroCoS’11），Lect。注释计算。科学。，第6989卷（2011年），斯普林格-Verlag），55-70·Zbl 1348.68236号
[19] 塞拉米，M。；美国斯特拉契亚，《关于模糊描述逻辑在Łukasiewicz t-范数下的（un）可判定性》，《信息科学》。，227, 1-21 (2013) ·Zbl 1293.68255号
[20] Post，E.L.，递归无法解决问题的变体，Bull。美国数学。《社会》，52，4，264-268（1946）·Zbl 0063.06329号
[21] 博格沃特，S。；Distel，F。；Peñaloza，R.，《没有有限值模型属性的可判定哥德尔描述逻辑》，（Baral，C.；De Giacomo，G.；Eiter，T.，《第十四届知识表示与推理原则国际会议论文集》（KR’14）（2014），AAAI出版社），228-237
[22] 博格沃特，S。；Peñaloza，R.，《模糊描述逻辑的不确定性》，（Brewka，G.；Eiter，T.；McIlraith，S.A.，《第十三届知识表示与推理原则国际会议论文集》，《第13届知识表示和推理原则国际会议论文集》（KR’12）（2012），AAAI出版社）， 232-242
[23] 博格沃特，S。；Distel，F。；Peñaloza，R.，我的模糊描述逻辑有多模糊？，（Gramlich，B.；Miller，D.；Sattler，U.，第六届国际自动推理联合会议论文集。第六届国际自动推理联合会议记录。《第六届国际自动推理联合会议记录》（IJCAR’12），《人工智能讲义》，第7364卷（2012年），施普林格-弗拉格出版社，82-96·Zbl 1358.68274号
[24] Zadeh，L.A.，模糊集，信息控制，8，3，338-353（1965）·Zbl 0139.24606号
[25] 埃斯特娃，F。；戈多，L。；Hájek，P。；Navara，M.，《带有对合否定的剩余模糊逻辑》，Arch。数学。日志。，39, 2, 103-124 (2000) ·Zbl 0965.03035号
[26] Mostert，P.S。；Shields，A.L.，关于带边界紧流形上半群的结构，Ann.Math。，65, 1, 117-143 (1957) ·Zbl 0096.01203号
[27] 塞拉米，M。；阿拉巴马州加西亚-科尔达尼亚。；Esteva，F.，《从经典描述逻辑到分级模糊描述逻辑》，（2010年IEEE模糊系统国际会议论文集。2010年IEEE-模糊系统国际大会论文集，（FUZZ-IEEE’10）（2010），IEEE计算机社会出版社），1-8
[28] Hájek，P.，《使模糊描述逻辑更通用》，模糊集系统。，154, 1, 1-15 (2005) ·Zbl 1094.03014号
[29] 霍洛克斯，I。；库茨，O。；Sattler，U.，《更不可抗拒》（SROIQ），（Doherty，P.；Mylopoulos，J.；Welty，C.，《第十届知识表示与推理原则国际会议论文集》，第十届国际知识表示与理性原则会议论文集，（KR’06）（2006），AAAI出版社），57-67
[30] Kazakov，Y.，（RIQ）和（SROIQ）比（SHOIQ）更难，（Brewka，G.；Lang，J.，《第十一届知识表示和推理原则国际会议论文集》，第十一届国际知识表示与推理原则会议论文集，（KR'08）（2008），AAAI出版社），274-284
[31] 波比略，F。；德尔加多，M。；Gómez-Romero，J。；斯特拉契亚，美国，《在模糊描述逻辑中加入哥德尔和扎德模糊逻辑》，《国际不确定性杂志》。模糊知识-基于系统。，20, 4, 475-508 (2012) ·Zbl 1251.68224号
[32] Hladik，J.，描述逻辑的表格系统（SHIO），（Sattler，U.，IJCAR’04博士项目，IJCAR'04博士计划，CEUR研讨会论文集，第106卷（2004））
[33] 斯特拉契亚，U。，《格上的描述逻辑》，《国际不确定性杂志》。模糊知识-基于系统。，14, 1, 1-16 (2006) ·Zbl 1093.68107号
[34] 波比略，F。；Straccia，U.，《有限模糊描述逻辑和清晰表示》，（Bobillo，F.；da Costa，P.C.G.；d'Amato，C.；Fanizzi，N.；Laskey，K.；Laskey，K.、Lukasiewicz，T.；Nickles，M.；Pool，M.，《语义网络的不确定性推理II》，《Lect.Notes Compute.Sci.》，第7123卷（2013年），Springer-Verlag），102-121年·Zbl 1351.68262号
[35] 霍洛克斯，I。；美国萨特勒。；Tobies，S.，A PSpace-algorithm for decision（ALCNI_{R^+}）-satisfiability（可满足性）（1998），亚琛RWTH：亚琛德国RWTH，LTCS-report 98-08
[36] 卢茨，C。；Areces，C。；霍洛克斯，I。；Sattler，U.，密钥、主词和具体领域，人工制品杂志。智力。决议，23，667-726（2005）·Zbl 1080.68683号
[37] 博格沃特，S。；Peñaloza，R.，《非Gödel否定使未经证实的一致性无法判定》，（Kazakov，Y.；Lembo，D.；Wolter，F.，《第25届描述逻辑国际研讨会论文集》，第25届国际描述逻辑研讨会论文集，（DL'12）。第25届描述逻辑国际研讨会论文集。《第25届描述逻辑国际研讨会论文集》（DL'12），CEUR研讨会论文集，第846卷（2012），411-421
[38] 博格沃德，S。；Distel，F。；Peñaloza，R.，Gödel negation使未经证实的一致性变得清晰，（Kazakov，Y.；Lembo，D.；Wolter，F.，《第25届描述逻辑国际研讨会论文集》，第25届国际描述逻辑研讨会论文集，（DL'12）。第25届描述逻辑国际研讨会论文集。《第25届描述逻辑国际研讨会论文集》（DL'12），CEUR研讨会论文集，第846卷（2012），第103-113页
[39] 博格沃德，S。；Distel，F。；Peñaloza，R.，Gödel description logics with general models，（Bienvenu，M.；Ortiz，M.，Rosati，R..；Šimkus，M.《第27届描述逻辑国际研讨会论文集》，第27届国际描述逻辑研讨会论文集，（DL'14）。第27届描述逻辑国际研讨会论文集。第27届描述逻辑国际研讨会论文集，（DL’14），CEUR研讨会论文集第1193卷（2014）），391-403，海报论文
[40] 博格沃德，S。；Peñaloza，R.，《基于格的模糊描述逻辑的复杂性》，J.Data Semant。，2, 1, 1-19 (2013)
[41] 博格沃德，S。；Peñaloza，R.，基于格的模糊描述逻辑中的一致性推理，国际期刊近似推理。，55, 9, 1917-1938 (2014) ·Zbl 1433.03064号
[42] 博格沃德，S。；Peñaloza，R.，《模糊（EL）中的正包含与一般t-范数》，（Rossi，F.，《第23届国际人工智能联合会议论文集》，第23届人工智能联合大会论文集，（IJCAI'13）（2013），AAAI出版社），789-795
[43] Yen，J.，将术语包含语言推广到模糊逻辑，（Mylopoulos，J.；Reiter，R.，《第十二届国际人工智能联合会议论文集》，第十二届人工智能国际联合会议论文，（IJCAI'91）（1991年），Morgan Kaufmann），472-477·Zbl 0742.68062号
[44] Tresp，C.B。；Molitor，R.，《模糊知识的描述逻辑》（Prade，H.，《第13届欧洲人工智能会议论文集》（ECAI'98）（1998），John Wiley and Sons），第361-365页
[45] 美国斯特拉契亚，《模糊描述逻辑》，（第15届全国人工智能会议论文集，第15届国家人工智能会议文献集，（AAAI'98）（1998）），594-599
[46] 塞拉米，M。；埃斯特娃，F。；Bou，F.，无限值乘积逻辑上描述逻辑的可判定性，（Lin，F.；Sattler，U.；Truszczynski，M.，《第十二届知识表示与推理原理国际会议论文集》，第十二届国际知识表示和推理原理会议论文集，（KR’10）（2010），AAAI出版社），203-213
[47] 阿拉巴马州加西亚·塞尔达尼亚。；Armengol，大肠杆菌。；Esteva，F.，《模糊描述逻辑和基于t-范数的模糊逻辑》，《国际近似推理》。，51, 6, 632-655 (2010) ·兹比尔1209.68522
[48] 波比略，F。；美国斯特拉契亚，《具有乘积t-范数的模糊描述逻辑》，（2007年IEEE模糊系统国际会议论文集。2007年IEEE-模糊系统国际大会论文集，（FUZZ-IEEE’07）（2007），IEEE计算机社会出版社），1-6·Zbl 1152.68632号
[49] Straccia，美国。；Bobillo，F.，混合整数规划，一般概念包含和模糊描述逻辑，数学。软计算。，14, 3, 247-259 (2007) ·Zbl 1152.68632号
[50] 波比略，F。；美国斯特拉契亚，《论Łukasiewicz语义下模糊描述逻辑中的限定基数限制》，（《第十二届基于知识系统的信息处理和不确定性管理国际会议论文集》，第十二届关于基于知识系统中不确定性的信息处理与管理国际会议文献集，（IPMU'08）（2008）），1008-1015
[51] Stoilos，G。；Stamou，G.B.，《用表达性连续模糊描述逻辑进行推理的框架》，（Grau，B.C.；Horrocks，I.；Motik，B.；Sattler，U.，《2009年描述逻辑国际研讨会论文集》，2009年描述逻辑学国际研讨会论文集中，（DL'09）。2009年描述逻辑国际研讨会论文集。《2009年描述逻辑国际研讨会论文集》（DL'09），CEUR研讨会论文集，第477卷（2009））
[52] 哈尔斯列夫，V。；Pai，H.-I。；Shiri，N.，《不确定性描述逻辑的形式框架》，《国际期刊近似推理》。，50, 9, 1399-1415 (2009) ·Zbl 1191.68649号
[53] Peñaloza，R.，Towards a tableau algorithm for fuzzy（ALC）with product t-normal（2011），德累斯顿理工大学理论计算机科学研究所自动化理论主席：德国德累斯顿技术大学理论计算机研究所自动化理论主席，LTCS-report 11-03
[54] 巴德，F。；博格沃德，S。；Peñaloza，R.，《关于具有一般概念包含的模糊（ALC）的可判定状态》，J.Philos。日志。（2014），出版中
[55] 波比略，F。；德尔加多，M。；Gómez-Romero，J.，带有模糊名词和一般概念包含的模糊（SHOIN）的清晰表示，（da Costa，P.C.G.；d’Amato，C.；Fanizzi，N.；Laskey，K.B.；Laskie，K.J.；Lukasiewicz，T.；Nickles，M.；Pool，M.，语义Web I的不确定性推理。语义网络的不确定性推理I，人工智能课堂讲稿，第5327卷（2008年），Springer-Verlag），174-188
[56] Borgwardt，S.，有限格上的模糊DLs（Bienvenu，M.；Ortiz，M.，Rosati，R.；Šimkus，M.），第27届描述逻辑国际研讨会论文集。第27届国际描述逻辑研讨会论文集，（DL'14）。第27届描述逻辑国际研讨会论文集。第27届描述逻辑国际研讨会论文集，（DL’14），CEUR研讨会论文集第1193卷（2014））
[57] 斯特拉契亚，U.，《模糊具体域的描述逻辑》（Bacchus，F.；Jaakola，T.），《第21届人工智能不确定性会议论文集》，（UAI'05）（2005），AUAI出版社，559-567
[58] Hölldobler，S。；新罕布什尔州Nga。；Khang，T.D.，《模糊描述逻辑》（ALC_{FLH}），（del Pobil，A.P.，《第九届IASTED国际人工智能与软计算会议论文集》，第九届国际IASTED人工智能与软件计算国际会议论文集，（ASC'05）（2005），ACTA出版社），99-104
[59] 《语言模糊限制语的模糊集合理论解释》，J.Cybern。，2, 3, 4-34 (1972)
[60] 波比略，F。；美国斯特拉契亚，《模糊本体论的聚合算子》，应用。软计算。，13, 9, 3816-3830 (2013)
[61] Vojtáš，P.，一种模糊描述逻辑，具有清晰的角色和模糊聚合，用于网络咨询，（第11届知识系统不确定性信息处理和管理国际会议论文集。第11届知识系统不确定性信息处理和管理国际会议论文集，（IPMU'06）（2006），Éditions EDK），1834-1841
[62] 莫蒂克，B。；采煤机，R。；Horrocks，I.，描述逻辑的Hypertableau推理，J.人工制品。智力。研究，36，165-228（2009）·Zbl 1192.68664号
[63] 斯特格米勒，A。；李比希，T。；Glimm，B.，《表达性描述逻辑的扩展缓存、回跳和合并》（Gramlich，B.；Miller，D.；Sattler，U.，《第六届国际自动推理联合会议论文集》，第六届自动推理国际联席会议论文集，（IJCAR’12）。第六届国际自动推理联合会议记录。第六届国际自动推理联合会议记录（IJCAR’12），Lect。注释计算。科学。，第7364卷（2012），斯普林格·弗拉格），514-529·Zbl 1358.68284号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。