Quang-Tuy Ha公司;林安阮;Thi Hong Khanh Nguyen先生;Thanh-Luong Tran公司 哥德尔语义下模糊描述逻辑中的模糊互模拟。 （英语） Zbl 1518.68365号 Nguyen，Hung Son（编辑）等人，《粗糙集》。2018年8月20日至24日，越南奎恩，2018年国际JCRS联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11103, 559-571 (2018). 摘要：描述逻辑（DL）是一种合适的形式主义，用于表示有关领域的知识，在这些领域中，对象不仅通过属性描述，还通过对象之间的二进制关系进行描述。当有关这些领域的数据和知识模糊时，可以将模糊DL用于这些领域。在此类域中指定对象类的一种可能方法是使用模糊DL中的概念。由于DL是模态逻辑的变体，因此DL中的不可分辨性具有双重相似性的特征。解释的双相似关系是该解释的最大自解释。在（模糊）DL中，它可以用于概念学习。在本文中，我们首次在哥德尔语义下定义了模糊DL的模糊互模拟和（清晰）互相似性。所考虑的逻辑是DL的模糊扩展{自动高度控制}_{reg}\）具有反角色、名词、限定数限制、角色的通用角色和局部自反性之间的附加功能。在哥德尔语义下，我们给出了模糊DL中概念的不变性以及TBox和ABox的条件不变性的结果。我们还提供了关于Gödel语义下模糊DL中模糊互模拟的Hennessy-Milner性质的一个定理。有关整个系列，请参见[Zbl 1393.68014号]. 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 68层37 人工智能背景下的不确定性推理 PDF格式BibTeX公司 XML格式引用 \textit{Quang-Tuy Ha}等人，Lect。注释计算。科学。11103、559--571（2018；Zbl 1518.68365） 全文： 内政部 参考文献： [1] Bobillo，F.、Cerami，M.、Esteva，F.和García-Cerdaña。，Peñaloza，R.，Straccia，U.：模糊描述逻辑。收录于：《数学模糊逻辑手册》，逻辑、数学逻辑和基础研究第58卷，第3卷，第1105-1181页。学院出版物（2015）·Zbl 1436.03157号 [2] Bobillo，F.，Delgado，M.，Gómez-Romero，J.，Straccia，U.：哥德尔语义下的模糊描述逻辑。《国际近似推理》50（3），494-514（2009）·Zbl 1191.68647号 ·doi:10.1016/j.ijar.2008.10.003 [3] Borgwardt，S.，Peñaloza，R.：模糊描述逻辑——一项调查。收录：Moral，S.，Pivert，O.，Sánchez，D.，Marín，n.（编辑）SUM 2017。LNCS（LNAI），第10564卷，第31-45页。查姆施普林格（2017）。https://doi.org/10.1007/978-3-319-67582-4_3 ·兹比尔1498.68297 ·doi:10.1007/978-3-319-67582-43 [4] Cattaneo，G.，Ciucci，D.，Giuntini，R.，Konig，M.：与多值逻辑系统相关的代数结构。第一部分：Heyting-Wajsberg代数。《基础信息》63（4），331-355（2004）·Zbl 1090.03035号 [5] Chi irić，M.、Ignjatović，J.、Damljanović、N.、Bas̆ic，M.：模糊自动机的双模拟。模糊集系统。186(1), 100-139 (2012) ·Zbl 1237.68113号 ·doi:10.1016/j.fs.2011.07.003 [6] Divroodi，A.R.，Ha，Q.-T.，Nguyen，L.A.，Ngueen，H.S.：关于描述逻辑中正确概念学习的可能性。越南J.Compute。科学。5(1), 3-14 (2018) ·文件编号：10.1007/s40595-017-0094-4 [7] Divroodi，A.R.，Nguyen，L.A.：关于描述逻辑的互模拟。信息科学。295, 465-493 (2015) ·Zbl 1409.68279号 ·doi:10.1016/j.ins.2014.10.22 [8] Eleftheriou，P.E.，Koutras，C.D.，Nomikos，C.：Heyting值模态语言的互模拟概念。J.日志。计算。22(2), 213-235 (2012) ·兹比尔1250.03032 ·doi:10.1093/log.com/exq005 [9] Fan，T.-F.：哥德尔模态逻辑的模糊互模拟。IEEE传输。模糊系统。23(6), 2387-2396 (2015) ·doi:10.1109/TFUZZ.2015.2426724 [10] Ha，Q.-T.，Hoang，T.-L.-G.，Nguyen，L.A.，Nguien，H.S.，Szałas，A.，Tran，T.-L.：描述逻辑知识库的基于双模拟的概念学习方法。摘自：《2012年SoICT会议录》，第241-249页。ACM（2012年） [11] Hájek，P.：使模糊描述逻辑更通用。模糊集系统。154(1), 1-15 (2005) ·Zbl 1094.03014号 ·doi:10.1016/j.fss.2005.03.005 [12] Lutz，C.、Piro，R.、Wolter，F.：描述逻辑TBoxes：模型理论特征和可重写性。收录于：Walsh，T.（编辑）《2011年国际JCAI会议录》，第983-988页（2011年） [13] Nguyen，L.A.：提交了Zadeh语义下模糊描述逻辑的双相似性 [14] Nguyen，L.A.、Nguyem，T.H.K.、Nguien，N.-T.、Ha，Q.-T.：次一致描述逻辑的相似性。J.智力。模糊系统。32(2), 1203-1215 (2017) ·Zbl 1367.68291号 ·doi:10.3233/JIFS-169120 [15] Nguyen，L.A.，Szałas，A.：基于逻辑的粗化。收录于：Skowron，A.，Suraj，Z.（编辑）《粗糙集与智能系统》（纪念Zdzisław Pawlak教授），第1卷，第517-543页。施普林格，海德堡（2012）。https://doi.org/10.1007/978-3-642-30344-9_19 ·Zbl 1308.68109号 ·doi:10.1007/978-3-642-30344-9_19 [16] Schild，K.：术语逻辑的对应理论：初步报告。摘自：《1991年国际JCAI会议录》，第466-471页。摩根·考夫曼（1991）·Zbl 0742.68059号 [17] Tran，T.-L.，Ha，Q.-T.，Hoang，T.-L.-G.，Nguyen，L.A.，Nguien，H.S.：描述逻辑中基于双模拟的概念学习。《基础信息》133（2-3），287-303（2014）·Zbl 1317.68239号 [18] Tran，T.-L.，Nguyen，L.A.，Hoang，T.-L.-G.：描述逻辑中信息系统基于互模拟的概念学习。越南J.Compute。科学。2(3), 149-167 (2015) ·doi:10.1007/s40595-015-0040-2 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。