×
阮林安

计算Gödel语义下基于模糊图的结构的最大模糊自模拟对应的模糊划分。 （英语） Zbl 07841847号

信息科学。 630, 482-506 (2023).
基于模糊互模拟的相似性度量具有Hennessy-Milner性质作为强大的逻辑基础。在本文中，我们设计了一个复杂度为（O（（m\log l+n）\log n）的高效算法，用于计算Gödel语义下有限模糊标记图（G）的最大模糊自分解对应的模糊划分，其中（n）、（m）和（l）分别是\（G\）的顶点数、非零边数和不同模糊度边数。我们的模糊划分概念是新颖的，它是针对Gödel t-范数的有限集定义的，目的是便于计算最大模糊自分解。通过使用该算法，我们还提供了一个计算Gödel语义下两个有限模糊标记图之间最大模糊互模拟的复杂度为O（m\cdot\log l\cdot\ log n+n^2）的算法。对于所考虑的问题，后一种算法比先前已知的算法更好（具有较低的复杂度）。我们的算法可以用于其他基于模糊图的结构，如模糊自动机、模糊标记转换系统、模糊克里普克模型、模糊社会网络和模糊描述逻辑中的模糊解释。

MSC公司：

68年XX月 计算机科学
03年XX月 数学逻辑和基础

关键词：

模糊互模拟;模糊划分
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Nguyen}，信息科学。630482--506（2023；Zbl 07841847）
全文： 内政部 arXiv公司

参考文献：

[1] 贝茨，B.D。；库曼，G.D。；Kerre，E.，从t-semi-partitions样本中构建可能性测度，Inf.Sci。，106, 3-24 (1998) ·Zbl 1031.94555号
[2] van Benthem，J.，对应理论，（Gabbay，D.；Guenthner，F.，《哲学逻辑手册》（1984），D.Reidel Pub。公司），167-247·Zbl 0875.03048号
[3] Bobillo，F。；塞拉米，M。；埃斯特娃，F。；加利福尼亚州加西亚·塞尔达尼亚。；佩尼亚洛萨，R。；斯特拉契亚，美国，《模糊描述逻辑》（《数学模糊逻辑手册》，第3卷（2015年），大学出版社），1105-1181·Zbl 1436.03157号
[4] 博格沃德，S。；Peñaloza，R.，《模糊描述逻辑——一项调查》，（2017年《SUM学报》，施普林格出版社），31-45·Zbl 1498.68297号
[5] 曹毅。；陈，G。；Kerre，E.，模糊转换系统的互模拟，IEEE Trans。模糊系统。，19, 540-552 (2011)
[6] 曹毅。；Sun，S。；Wang，H。；Chen，G.，模糊转换系统的行为距离，IEEE Trans。模糊系统。，21, 735-747 (2013)
[7] Cardon，A。；Crochemore，M.，在\（O（|a|\log_2|V|）\中划分图，Theor。计算。科学。，19, 85-98 (1982) ·Zbl 0478.68067号
[8] 乔伊里奇，M。；Ignjatović，J。；Bogdanović，S.，模糊等价关系及其等价类，模糊集系统。，158, 1295-1313 (2007) ·Zbl 1123.03049号
[9] 乔伊里奇，M。；Ignjatović，J。；Damljanović，N。；Bašic，M.，模糊自动机的互模拟，模糊集系统。，186, 100-139 (2012) ·Zbl 1237.68113号
[10] 乔伊里奇，M。；Ignjatović，J。；扬契奇一世。；Damljanović，N.，模糊自动机之间最大模拟和互模拟的计算，模糊集系统。，208, 22-42 (2012) ·Zbl 1252.68168号
[11] Damljanović，N。；Ćirić先生。；Ignjatović，J.，加法幂等半环上加权自动机的双模拟，Theor。计算。科学。，534, 86-100 (2014) ·Zbl 1359.68203号
[12] Diaconescu，D.，具有多值可及性关系的多值模态逻辑中的模态等价性和双相似性，Fundam。通知。，173, 177-189 (2020) ·Zbl 1471.03043号
[13] Eleftheriou，P。；库特拉斯，C。；Nomikos，C.，《Heyting值模态语言的互模拟概念》，J.Log。计算。，22, 213-235 (2012) ·Zbl 1250.03032号
[14] 风扇，T。；Liau，C.，加权社交网络中规则等价的逻辑特征，Artif。智力。，214, 66-88 (2014) ·Zbl 1405.68349号
[15] Fan，T.F.，哥德尔模态逻辑的模糊互模拟，IEEE Trans。模糊系统。，23, 2387-2396 (2015)
[16] 轩尼诗，M。；Milner，R.，《不确定性和并发性的代数定律》，J.ACM，32，137-161（1985）·Zbl 0629.68021号
[17] Hopcroft，J.，《有限自动机中最小化状态的（n \log n）算法》（1971），网址：·兹比尔0293.94022
[18] Ignjatović，J。；乔伊里奇，M。；Stanković，I.，《模糊社会网络分析中的双向模拟》（IFSA-EUSFLAT-15（2015），亚特兰蒂斯出版社）
[19] 马蒂，M。；Metcalfe，G.，《基于链的模态逻辑中的表达性》，Arch。数学。日志。，57, 361-380 (2018) ·Zbl 1522.03056号
[20] 米奇，I。；扬契奇，Z。；Stanimirović，S.，最大左右不变模糊拟阶和模糊等价的计算，模糊集系统。，339, 99-118 (2018) ·Zbl 1397.68118号
[21] Nguyen，L.，当前论文中给出的算法2的实现
[22] Nguyen，L.，剩余格上模糊模态逻辑中模糊互模拟的逻辑特征，模糊集系统。，431, 70-93 (2022) ·Zbl 1522.03085号
[23] Nguyen，L。；Ha，Q.T。；Nguyen，N。；Nguyen，T。；Tran，T.L.，哥德尔语义下模糊描述逻辑的互模拟和双相似性，模糊集系统。，388, 146-178 (2020) ·Zbl 1452.68187号
[24] Nguyen，L。；Nguyen，N.T.，通过使用模糊双模拟最小化哥德尔语义下模糊描述逻辑中的解释，J.Intell。模糊系统。，37, 7669-7678 (2019)
[25] Nguyen，L。；Tran，D.，计算模糊结构的清晰互模拟，CoRR
[26] Nguyen，L。；Tran，D.，在哥德尔语义下计算模糊结构的模糊互模拟，IEEE Trans。模糊系统。，29, 1715-1724 (2021)
[27] Ovchinnikov，S.，相似关系，模糊划分和模糊排序，模糊集系统。，40, 107-126 (1991) ·Zbl 0725.04003号
[28] 佩奇，R。；Tarjan，R.，三分区优化算法，SIAM J.Compute。，16, 973-989 (1987) ·Zbl 0654.68072号
[29] Schmechel，N.，关于模糊等价关系和模糊划分之间的格同构，（1995年ISMVL会议录，IEEE计算机学会），146-151
[30] Stanimirović，S。；米奇，I。；Ch irić，M.，完备Heyting代数上模糊自动机的近似互模拟，IEEE Trans。模糊系统。，30, 437-447 (2022)
[31] Stanimirović，S。；斯塔门科维奇，A。；chc irić，M.，计算最大左右不变布尔矩阵的改进算法及其应用，Filomat，33，2809-2831（2019）·Zbl 1499.15119号
[32] Wu，H。；Chen，T。；Han，T。；Chen，Y.，《重访模糊过渡系统的互模拟》，国际期刊近似推理。，99, 1-11 (2018) ·Zbl 1451.68195号
[33] Wu，H。；陈，Y。；Bu，T。；邓，Y.，非确定性模糊转换系统互模拟的算法和逻辑特征，模糊集系统。，333, 106-123 (2018) ·Zbl 1380.68302号
[34] Wu，H。；邓毅，模糊转换系统仿真与互仿真的逻辑特征，模糊集系统。，301, 19-36 (2016) ·Zbl 1378.68121号
[35] 杨，C。；李毅，模糊相似测度下模糊自动机的近似互模拟与状态约简，模糊集系统。，391, 72-95 (2020) ·Zbl 1452.68111号
[36] 杨，C。；Li，Y.，Fuzzyϵ-近似正则语言和最小确定性模糊自动机-接受它们，模糊集系统。，420, 72-86 (2021) ·Zbl 1522.68289号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。