加尔科尼亚-塞尔达尼亚，天使;伊娃·阿蒙戈尔;弗朗西斯科·埃斯特瓦 模糊描述逻辑和基于（t）范数的模糊逻辑。 （英语） Zbl 1209.68522号 国际J近似推理 51，编号632-655（2010）. 摘要：描述逻辑（DL）是建立在经典逻辑基础上的知识表示语言。DL允许创建知识库，并提供根据这些库的内容进行推理的方法。模糊描述逻辑（FDL）是DL的自然扩展，用于处理实际应用中常见的模糊概念。Hájek提出以基范数为基础的模糊逻辑来处理模糊逻辑，目的是丰富模糊逻辑的表达可能性，并利用数学模糊逻辑领域的最新发展。从这个角度出发，我们定义了一系列描述语言，用\（mathcal{ALC}^*（mathbf S）\）表示，其中包括表示真度的真值常量。在语言中使用真值常量可以让我们将知识库的公理定义为谓词语言的句子，其方式与经典DL中的基本相同。另一方面，利用这些真值常数所提供的表达能力，我们将DL概念的可满足性、有效性和包含性的分级概念定义为被评估公式的可满足、有效性与包含性。在最后一节中，我们总结了与这些新描述语言相关的模糊逻辑的一些结果，分析了与一般语义和规范语义相关的方面，并证明了一些与本文中考虑的一些FDL的规范标准完备性相关的结果。 引用于1审查引用于14文件 MSC公司： 第68页第27页 人工智能中的逻辑 03B52号 模糊逻辑；模糊逻辑 68立方英尺 知识表示 关键词：描述逻辑;模糊描述逻辑;数学模糊逻辑;基于命题和谓词范数的模糊逻辑;真值常数 软件：MUltlog公司 PDF格式BibTeX公司 XML格式引用 \textit{ali.Garcá-Cerdaña}等人，《国际近似推理》51，第6期，632--655（2010；Zbl 1209.68522） 全文： 内政部 参考文献： [1] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社：美国纽约州剑桥大学出版社）·Zbl 1058.68107号 [2] Zadeh，L.A.，模糊集，信息与控制，8，338-353（1965）·Zbl 0139.24606号 [3] Zadeh，L.A.，模糊逻辑和近似推理，综合，30407-428（1975）·Zbl 0319.02016号 [4] Hájek，P.，《模糊逻辑的元数学》，《逻辑趋势》，第4卷（1998年），Studia Logica图书馆，Kluwer学术出版社：Studia Logica图书馆，Kruwer学术出版商Dordrecht·Zbl 0937.03030号 [5] Cignoli，R。；埃斯特娃，F。；戈多，L。；Torrens，A.，《基本模糊逻辑是连续范数及其残差的逻辑》，《软计算》，4，2，106-112（2000） [6] 戈多，L。；Esteva，F.，基于单体（t）范数的逻辑：走向左包含（t）范的逻辑，模糊集与系统，124，3，271-288（2001）·Zbl 0994.03017号 [7] Jenei，S.等人。；Montagna，F.，Esteva和Godo逻辑MTL的标准完整性证明，Studia Logica，70，2，183-192（2002）·Zbl 0997.03027号 [8] J.Yen，将术语包含语言推广到模糊逻辑，收录于：Proc。第12届国际JCAI，澳大利亚悉尼，1991年，第472-477页。；J.Yen，将术语包含语言推广到模糊逻辑，收录于：Proc。第12届国际JCAI，澳大利亚悉尼，1991年，第472-477页·Zbl 0742.68062号 [9] C.B.Tresp，R.Molitor，《模糊知识的描述逻辑》，技术代表RWTH-LTCS报告98-01，亚琛工业大学，1998年。；C.B.Tresp，R.Molitor，《模糊知识的描述逻辑》，技术代表RWTH-LTCS报告98-01，亚琛工业大学，1998年。 [10] 美国斯特拉契亚，《模糊描述逻辑中的推理》，《人工智能研究杂志》，第14期，第137-166页（2001年）·兹伯利0973.03034 [11] Hájek，P.，《使模糊描述逻辑更通用》，《模糊集与系统》，154，1，1-15（2005）·Zbl 1094.03014号 [12] 斯特拉契亚，U。，《语义网的模糊描述逻辑》（桑切斯，E。，《模糊逻辑和语义网》，《捕获智能》（2006），爱思唯尔出版社），73-90，第4章·Zbl 1107.68336号 [13] S.Aguzzoli，B.Gerla，V.Marra，基于连续三角范数的逻辑模糊集代数，收录于：Proc。ECSQARU 2009，计算机科学讲义，柏林斯普林格，2009，第875-886页。；S.Aguzzoli，B.Gerla，V.Marra，基于连续三角范数的逻辑模糊集代数，收录于：Proc。ECSQARU 2009，《计算机科学讲义》，柏林斯普林格，2009年，第875-886页·Zbl 1245.03033号 [14] F.Bobillo，M.Delgado，J.Gómez-Romero，《模糊名词和一般概念包含的模糊SHOIN的简明表示法》，收录于：Proc。第二届语义网不确定性推理国际研讨会（URSW 06），2006年。；F.Bobillo，M.Delgado，J.Gómez-Romero，《模糊名词和一般概念包含的模糊SHOIN的简明表示法》，收录于：Proc。第二届语义网不确定性推理国际研讨会（URSW 06），2006年。 [15] D.Sánchez，A.Tettamanzi，模糊描述逻辑中的广义量化，收录于：B.Reusch（Ed.），计算智能，理论与应用。多特蒙德第8届模糊日论文集，《软计算进展》系列，施普林格出版社，2004年。；D.Sánchez，A.Tettamanzi，模糊描述逻辑中的广义量化，收录于：B.Reusch（Ed.），计算智能，理论与应用。《多特蒙德第八届模糊日会议录》，《软计算系列进展》，斯普林格出版社，2004年。 [16] 桑切斯，D。；Tettamanzi，A.，《模糊描述逻辑中的模糊量化》，（Sanchez，E.，《模糊逻辑和语义网（捕获智能）》（2006），爱思唯尔出版社），135-159，第8章·Zbl 1107.68336号 [17] Hájek，P.，数学模糊逻辑为描述逻辑提供了什么？，（桑切斯，E.，《模糊逻辑和语义网》，《捕获智能》（2006），爱思唯尔出版社），第5章，第91-100页 [18] G.Stoilos，U.Straccia，G.Stamou，J.Pan，模糊描述逻辑中的一般概念包含，摘自：《第17届欧洲人工智能会议论文集》（ECAI-06），IOS出版社，2006年，第457-461页。；G.Stoilos，U.Straccia，G.Stamou，J.Pan，模糊描述逻辑中的一般概念包含，摘自：《第17届欧洲人工智能会议论文集》（ECAI-06），IOS出版社，2006年，第457-461页。 [19] 美国斯特拉契亚。；Bobillo，F.，混合整数规划，一般概念包含和模糊描述逻辑，数学软件和软计算，14，3，247-259（2007）·Zbl 1152.68632号 [20] Bobillo，F。；德尔加多，M。；Gómez-Romero，J。；美国斯特拉契亚，《哥德尔语义学下的模糊描述逻辑》，《国际近似推理杂志》，50，3，494-514（2009）·Zbl 1191.68647号 [21] Lukasiewicz，T。；美国斯特拉契亚，《语义网络描述逻辑中的不确定性和模糊性管理》，《网络语义学杂志》，6，4，291-308（2008） [22] Lukasiewicz，T。；美国斯特拉契亚，《概率不确定性和模糊模糊下的描述逻辑程序》，《国际近似推理杂志》，50，6，837-853（2009）·Zbl 1191.68691号 [23] J.Pavelka，《论模糊逻辑》。一、 II，III，Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25（1）（1979年）。；J.Pavelka，《论模糊逻辑》。I、 II，III，《数学逻辑与数学发展杂志》25（1）（1979年）。 [24] F.Esteva，L.Godo，F.Montagna，由连续（t）定义的任何剩余模糊逻辑的公理化；F.Esteva，L.Godo，F.Montagna，由连续（t）定义的任何剩余模糊逻辑的公理化·Zbl 1037.03023号 [25] 萨维克·P。；Cignoli，R。；埃斯特娃，F。；戈多，L。；Noguera，C.，《关于具有真实常数的产品逻辑》，《逻辑与计算杂志》，16，2，205-225（2006）·Zbl 1102.03030号 [26] 埃斯特娃，F。；Gispert，J。；戈多，L。；Noguera，C.，为连续范数逻辑添加真常量：公理化和完备性结果，模糊集与系统，158，6，597-618（2007）·Zbl 1117.03030号 [27] Hájek，P.，带有理真值常数的基于（t）范数的命题模糊逻辑的计算复杂性，模糊集与系统，157,5677-682（2006）·兹伯利1104.03015 [28] P.Cintula，《从模糊逻辑到模糊数学》，布拉格捷克技术大学博士论文（2004）。；P.Cintula，《从模糊逻辑到模糊数学》，布拉格捷克技术大学博士论文（2004年）·Zbl 1108.03027号 [29] Hájek，P。；辛图拉，P.，《模糊谓词逻辑的理论和模型》，《符号逻辑杂志》，71,3863-880（2006）·Zbl 1111.03030号 [30] Cintula，P.，《弱关联（模糊）逻辑》。I.基本属性，《数理逻辑档案》，45，6，673-704（2006）·Zbl 1101.03015号 [31] 辛图拉，P。；Hájek，P.，基于三角范数的谓词模糊逻辑，模糊集与系统，161311-346（2010）·Zbl 1200.03020号 [32] 莫斯特尔，P。；Shields，A.，《关于具有边界的紧多倍半群的结构》，《数学年鉴》，65117-143（1957）·Zbl 0096.01203号 [33] Ling，C.，关联函数的表示，《数学与德布勒森出版社》，12189-212（1965）·Zbl 0137.26401号 [34] 市长G。；Torrens，J.，《关于专家系统的一类算子》，《国际智能系统杂志》，8771-778（1993）·Zbl 0785.68087号 [35] 市长G。；Torrens，J.，《离散环境中的三角规范》（Klement，E.；Messiar，R.，《三角规范的逻辑、代数、分析和概率方面》（2005），Elsevier:Elsevier Amsterdam），189-230·兹比尔1079.03012 [36] 埃斯特娃，F。；戈多，L。；Montagna，M.，模代数生成的BL子簇的等式刻画，Studia Logica，76，2，161-200（2004）·Zbl 1045.03048号 [37] 阿格里亚诺，P。；Montagna，F.，BL-代数的变体I.一般性质，《纯粹与应用代数杂志》，181,2-3，105-129（2003）·Zbl 1034.06009号 [38] Monteiro，A.，Sur les algèbres de Heyting simétriques，葡萄牙数学，39，1-237（1980）·Zbl 0582.06012号 [39] 埃斯特娃，F。；戈多，L。；Hájek，P。；纳瓦拉，M.，《带对合否定的剩余模糊逻辑》，《数学逻辑档案》，39，2，103-124（2000）·Zbl 0965.03035号 [40] E.Trillas，L.Valverde，《关于模糊集理论的一些功能表达含义》，载于：《第三届模糊集理论国际研讨会论文集》，约翰内斯·开普勒大学，林茨，1981年，第173-190页。；E.Trillas，L.Valverde，《关于模糊集理论的一些功能可表达的含义》，载于：第三届模糊集理论国际研讨会论文集，约翰内斯·开普勒大学，林茨，1981年，第173-190页·Zbl 0498.03015号 [41] 埃斯特娃，F。；戈多，L。；Noguera，C.，关于谓词Łukasiewicz、乘积、哥德尔和幂零最小逻辑的完整性结果，用真常数展开，数学软件和软计算，14，3，223-246（2007）·Zbl 1213.03035号 [42] 埃斯特娃，F。；戈多，L。；Noguera，C.，带真常量的一阶（t）范数模糊逻辑：区分语义和完备性属性，《纯粹逻辑和应用逻辑年鉴》，161，2，185-202（2009）·Zbl 1222.03027号 [43] 巴德，F。；Nutt，W.，《基本描述逻辑》（Baader，F.；Calvanee，D.；McGuinness，D.L.；Nardi，D.；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社，47-100·Zbl 1058.68107号 [44] 美国萨特勒。；Calvanee，D。；Molitor，R.，与其他形式主义的关系，（《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社），137-177·Zbl 1058.68107号 [45] M.Baaz，C.G.Fermüller，R.Zach，多值逻辑的自然演绎系统的系统构建，载于：ISMVL会议录，1993年，第208-213页。；M.Baaz，C.G.Fermüller，R.Zach，多值逻辑自然演绎系统的系统构建，载《ISMVL学报》，1993年，第208-213页。 [46] M.Baaz，C.G.Fermüller，G.Salzer，R.Zach，MUltlog 1.0:走向多值逻辑的专家系统，载于：CADE-13:第十三届自动扣除国际会议论文集，Springer-Verlag，英国伦敦，1996年，第226-230页。；M.Baaz，C.G.Fermüller，G.Salzer，R.Zach，MUltlog 1.0:走向多值逻辑的专家系统，载于：CADE-13:《第十三届自动扣除国际会议论文集》，Springer-Verlag，英国伦敦，1996年，第226-230页·Zbl 1412.68204号 [47] F.Bobillo，U.Straccia，《论Łukasiewicz语义下模糊描述逻辑中的限定基数限制》，载《IPMU 2008年会议录》，马拉加，2008年，第1008-1015页。；F.Bobillo，U.Straccia，《论Łukasiewicz语义下模糊描述逻辑中的限定基数限制》，载于《2008年IPMU会议录》，马拉加，2008年，第1008-1015页。 [48] F.Bobillo，F.Bou，U.Straccia，《模糊描述逻辑中的有限模型性质》，提交出版。；F.Bobillo，F.Bou，U.Straccia，《关于模糊描述逻辑中的有限模型属性》，提交出版·Zbl 1231.03025号 [49] De Baets，B。；埃斯特娃，F。；Fodor，J。；Godo，L.，有序模糊逻辑系统及其在偏好建模中的应用，模糊集和系统，124353-359（2001）·Zbl 0994.03016号 [50] Bou，F。；埃斯特娃，F。；Godo，L.，探索模态多值逻辑的句法概念，数学软件和软计算，15175-188（2008）·Zbl 1158.03314号 [51] X.Caicedo，R.O.Rodr´guez，《标准哥德尔模态逻辑》，Studia Logica出版社。；X.Caicedo，R.O.Rodr´guez，《标准哥德尔模态逻辑》，Studia Logica出版社。 [52] F.Bou，F.Esteva，L.Godo，R.Rodríguez，关于有限剩余格上的最小多值模态逻辑，《逻辑与计算杂志》，doi:10.1093/log.com/exp062，出版社。；F.Bou，F.Esteva，L.Godo，R.Rodríguez，《有限剩余格上的最小多值模态逻辑》，《逻辑与计算杂志》，doi:10.1093/logcom/exp062，出版社·Zbl 1252.03040号 [53] G.Metcalfe，N.Olivetti，《哥德尔模态逻辑的证明系统》，载于：M.Giese，a.Waaler（编辑），《2009年TABLEAUX会议录》，LNAI，第5607卷，Springer，2009年。；G.Metcalfe，N.Olivetti，《哥德尔模态逻辑的证明系统》，载于：M.Giese，a.Waaler（编辑），《2009年TABLEAUX会议录》，LNAI，第5607卷，Springer，2009年·Zbl 1260.03053号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。