Approximate Bisimulations for Fuzzy Automata Over Complete Heyting Algebras

被引：15
|
作者：
Stanimirovic, Stefan [1 ]
Micic, Ivana [1 ]
Ciric, Miroslav [1 ]
机构：
[1] Univ Nis, Fac Sci & Math, Nish 18000, Serbia
来源：
IEEE TRANSACTIONS ON FUZZY SYSTEMS | 2022年 / 30卷 / 02期
关键词：
lambda-Approximate bisimulations; bisimulation relation; fuzzy automata; state reduction; MODEL CHECKING; LOGICAL CHARACTERIZATIONS; COMPUTATION; MINIMIZATION; SIMULATION;
D O I：
10.1109/TFUZZ.2020.3039968
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this article, we define lambda-approximate simulations and bisimulations for fuzzy automata over complete Heyting algebras. The value lambda presents the degree of language similarity or equality between observed fuzzy automata. Algorithms for computing the greatest lambda-approximate simulations and bisimulations are given. We show that lambda-approximate simulations and bisimulations on a fuzzy automaton can be effectively used for factorization of fuzzy automata. We present the algorithm that splits the interval of the degrees of language similarity or equality into subintervals with the same minimal corresponding factor fuzzy automata.
引用
收藏
页码：437 / 447
页数：11
相关论文
共 50 条
  • [1] Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras
    Stankovic, Marko
    Ciric, Miroslav
    Ignjatovic, Jelena
    [J]. FILOMAT, 2023, 37 (03) : 711 - 743
  • [2] Approximate weak simulations and bisimulations for fuzzy automata over the product structure
    Micic, Ivana
    Ciric, Miroslav
    Matejic, Jelena
    Stanimirovic, Stefan
    Nguyen, Linh Anh
    [J]. FUZZY SETS AND SYSTEMS, 2024, 485
  • [3] Characterization and computation of approximate bisimulations for fuzzy automata
    Micic, Ivana
    Nguyen, Linh Anh
    Stanimirovic, Stefan
    [J]. FUZZY SETS AND SYSTEMS, 2022, 442 : 331 - 350
  • [4] Relative approximate bisimulations for fuzzy picture automata
    Yang, Chao
    Wu, Ruiling
    Sun, Xiaobing
    Wang, Qichao
    Li, Yongming
    [J]. Information and Computation, 2024, 299
  • [5] Bisimulations for fuzzy automata
    Ciric, Miroslav
    Ignjatovic, Jelena
    Damljanovic, Nada
    Basic, Milan
    [J]. FUZZY SETS AND SYSTEMS, 2012, 186 (01) : 100 - 139
  • [6] Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
    Yang, Chao
    Li, Yongming
    [J]. FUZZY SETS AND SYSTEMS, 2020, 391 (391) : 72 - 95
  • [7] Weak bisimulations for fuzzy automata
    Jancic, Ivana
    [J]. FUZZY SETS AND SYSTEMS, 2014, 249 : 49 - 72
  • [8] Fuzzy simulations and bisimulations between fuzzy automata
    Nguyen, Linh Anh
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 155 : 113 - 131
  • [9] Endomorphisms of complete Heyting algebras
    Pultr, A
    Sichler, J
    [J]. SEMIGROUP FORUM, 1997, 54 (03) : 364 - 374
  • [10] Endomorphisms of complete heyting algebras
    A. Pultr
    J. Sichler
    [J]. Semigroup Forum, 1997, 54 : 364 - 374
12345