Fuzzy relation equations and subsystems of fuzzy transition systems

In this paper we study subsystems, reverse subsystems and double subsystems of a fuzzy transition system. We characterize them in terms of fuzzy relation inequalities and equations, as eigen fuzzy sets of the fuzzy quasi-order Q"@d and the fuzzy equivalence E"@d generated by fuzzy transition relations, and as linear combinations of aftersets and foresets of Q"@d and equivalence classes of E"@d. We also show that subsystems, reverse subsystems and double subsystems of a fuzzy transition system T form both closure and opening systems in the lattice of fuzzy subsets of A, where A is the set of states of T, and we provide efficient procedures for computing related closures and openings of an arbitrary fuzzy subset of A. These procedures boil down to computing the fuzzy quasi-order Q"@d or the fuzzy equivalence E"@d, which can be efficiently computed using the well-known algorithms for computing the transitive closure of a fuzzy relation.

[1]  Miroslav Ćirić,et al.  Lattices of Subautomata and Direct Sum Decompositions of Automata , 1997 .

[2]  John N. Mordeson,et al.  Successor and Source of (Fuzzy) Finite State Machines and (Fuzzy) Directed Graphs , 1996, Inf. Sci..

[3]  Manfred Droste,et al.  Weighted automata and multi-valued logics over arbitrary bounded lattices , 2012, Theor. Comput. Sci..

[4]  Witold Pedrycz,et al.  Fuzzy Systems Engineering - Toward Human-Centric Computing , 2007 .

[5]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[6]  A. Salomaa.  Wechler, W., The Concept of Fuzziness in Automata and Language Theory. Studien zur Algebra und ihre Anwendungen 5. Berlin, Akademie‐Verlag 1978. 148 S., M 27,– , 1980 .

[7]  S. P. Tiwari,et al.  On relationships among fuzzy approximation operators, fuzzy topology, and fuzzy automata , 2003, Fuzzy Sets Syst..

[8]  Manfred Droste,et al.  Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices , 2010, Developments in Language Theory.

[9]  Hongyan Xing,et al.  Automata theory based on complete residuated lattice-valued logic , 2007, Science in China Series : Information Sciences.

[10]  Yongming Li,et al.  Minimization of states in automata theory based on finite lattice-ordered monoids , 2007, Inf. Sci..

[11]  W. Wee.  On generalizations of adaptive algorithms and application of the fuzzy sets concept to pattern classification , 1967 .

[12]  Hongyan Xing,et al.  Automata theory based on complete residuated lattice-valued logic: Pushdown automata , 2009, Fuzzy Sets Syst..

[13]  T. Blyth.  Lattices and Ordered Algebraic Structures , 2005 .

[14]  Lihua Wu,et al.  Automata theory based on complete residuated lattice-valued logic: Reduction and minimization , 2010, Fuzzy Sets Syst..

[15]  Miroslav Ciric,et al.  Formal power series and regular operations on fuzzy languages , 2010, Inf. Sci..

[16]  George J. Klir,et al.  Fuzzy sets and fuzzy logic , 1995 .

[17]  King-Sun Fu,et al.  A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems , 1969, IEEE Trans. Syst. Sci. Cybern..

[18]  Miroslav Ciric,et al.  Bisimulations for fuzzy automata , 2011, Fuzzy Sets Syst..

[19]  H. Carter.  Fuzzy Sets and Systems — Theory and Applications , 1982 .

[20]  Eugene S. Santos.  On reductions of maximin machines , 1972 .

[21]  Miroslav Ciric,et al.  Nondeterministic automata: Equivalence, bisimulations, and uniform relations , 2011, Inf. Sci..

[22]  W. Pedrycz,et al.  Fuzzy Relation Equations and Their Applications to Knowledge Engineering , 1989, Theory and Decision Library.

[23]  K. Peeva.  Fuzzy automata and languages: theory and applications , 2004 .

[24]  Madan M. Gupta,et al.  Fuzzy automata and decision processes , 1977 .

[25]  Zhihui Li,et al.  The relationships among several types of fuzzy automata , 2006, Inf. Sci..

[26]  J. Mordeson,et al.  On subsystems of a fuzzy finite state machine , 1994 .

[27]  Pratyayananda Das,et al.  A fuzzy topology associated with a fuzzy finite state machine , 1999, Fuzzy Sets Syst..

[28]  Hsuan-Shih Lee.  An optimal algorithm for computing the max-min transitive closure of a fuzzy similarity matrix , 2001, Fuzzy Sets Syst..

[29]  Yongming Li,et al.  Finite automata theory with membership values in lattices , 2011, Inf. Sci..

[30]  Hongyan Xing,et al.  Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic , 2009, Fuzzy Sets Syst..

[31]  J. Golan.  Semirings and their applications , 1999 .

[32]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[33]  Miroslav Ciric,et al.  Factorization of Fuzzy Automata , 2007, FCT.

[34]  Ping Li,et al.  Algebraic properties of LA-languages , 2006, Inf. Sci..

[35]  Miroslav Ciric,et al.  Reduction of fuzzy automata by means of fuzzy quasi-orders , 2011, Inf. Sci..

[36]  Ketty Peeva,et al.  Finite 𝕃-Fuzzy Acceptors, Regular 𝕃-Fuzzy Grammars And Syntactic Pattern Recognition , 2004, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[37]  Bernard De Baets,et al.  Algorithms for the computation of T-transitive closures , 2002, IEEE Trans. Fuzzy Syst..

[38]  S. Kollias,et al.  TWO ALGORITHMS FOR FAST INCREMENTAL TRANSITIVE CLOSURE OF SPARSE FUZZY BINARY RELATIONS , 2007 .

[39]  Bernard De Baets,et al.  A compendium of fuzzy weak orders: Representations and constructions , 2007, Fuzzy Sets Syst..

[40]  Ulrich Höhle,et al.  Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory , 1995 .

[41]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[42]  Vilém Vychodil,et al.  Fuzzy equational logic , 2005, Arch. Math. Log..

[43]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[44]  Miroslav Ciric,et al.  Determinization of fuzzy automata with membership values in complete residuated lattices , 2008, Inf. Sci..

[45]  Bernard De Baets,et al.  The complete linkage clustering algorithm revisited , 2005, Soft Comput..

[46]  Bernard De Baets,et al.  On the existence and construction of T-transitive closures , 2003, Inf. Sci..

[47]  Daowen Qiu,et al.  Characterizations of fuzzy finite automata , 2004, Fuzzy Sets Syst..

[48]  Miroslav Ciric,et al.  Fuzzy equivalence relations and their equivalence classes , 2007, Fuzzy Sets Syst..

[49]  B. Baets.  Analytical solution methods for fuzzy relational equations. , 2000 .

[50]  Manfred Droste,et al.  Weighted finite automata over strong bimonoids , 2010, Inf. Sci..

[51]  Siegfried Gottwald,et al.  Fuzzy Sets and Fuzzy Logic , 1993 .

[52]  Daowen Qiu,et al.  Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note , 2006, Fuzzy Sets Syst..

[53]  Daowen Qiu.  Automata theory based on complete residuated lattice-valued logic , 2007, Science in China Series : Information Sciences.

[54]  Stavros Konstantinidis,et al.  Fuzzification of Rational and Recognizable Sets , 2007, Fundam. Informaticae.

[55]  Tatjana Petkovic,et al.  Fuzzy relation equations and reduction of fuzzy automata , 2010, J. Comput. Syst. Sci..

[56]  Eugene S. Santos,et al.  Max-product machines , 1972 .

[57]  Qiu Daowen,et al.  Automata theory based on complete residuated lattice-valued logic , 2001 .

[58]  Miroslav Ciric,et al.  On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations , 2010, Fuzzy Sets Syst..

[59]  Martine De Cock,et al.  Openings and closures of fuzzy preorderings: theoretical basics and applications to fuzzy rule-based systems , 2003, Int. J. Gen. Syst..

[60]  Ketty Peeva,et al.  Finite 𝕃-fuzzy machines , 2004, Fuzzy Sets Syst..

[61]  R. Belohlávek.  Fuzzy Relational Systems: Foundations and Principles , 2002 .

[62]  Karvel K. Thornber,et al.  Equivalence in knowledge representation: automata, recurrent neural networks, and dynamical fuzzy systems , 1999, Proc. IEEE.

[63]  Ulrich Bodenhofer.  A unified framework of opening and closure operators with respect to arbitrary fuzzy relations , 2003, Soft Comput..

[64]  Etienne E. Kerre,et al.  Bisimulations for Fuzzy-Transition Systems , 2010, IEEE Transactions on Fuzzy Systems.

[65]  Daowen Qiu,et al.  Equivalence in automata theory based on complete residuated lattice-valued logic , 2007, Fuzzy Sets Syst..

[66]  S. Bogdanovic,et al.  DIRECT SUM DECOMPOSITIONS OF QUASI-ORDERED SETS , 1998 .

[67]  M. Ćiri,et al.  Construction of fuzzy automata from fuzzy regular expressions , 2012 .

[68]  Oscar H. IBARm.  Information and Control , 1957, Nature.

[69]  Michel Minoux,et al.  Graphs, dioids and semirings : new models and algorithms , 2008 .

[70]  K. Peeva,et al.  Computing behavior of finite fuzzy machines - Algorithm and its application to reduction and minimization , 2008, Inf. Sci..

[71]  Steven Roman,et al.  Lattices and ordered sets , 2008 .

[72]  Radim Belohlávek,et al.  Determinism and fuzzy automata , 2002, Inf. Sci..

[73]  M. Ćirić,et al.  Weakly linear systems of fuzzy relation inequalities and their applications: A brief survey , 2012 .

[74]  E. Sanchez.  Eigen fuzzy sets and fuzzy relations , 1981 .

[75]  E. Sanchez.  SOLUTIONS IN COMPOSITE FUZZY RELATION EQUATIONS: APPLICATION TO MEDICAL DIAGNOSIS IN BROUWERIAN LOGIC , 1993 .

[76]  Miroslav Ciric,et al.  Weakly linear systems of fuzzy relation inequalities: The heterogeneous case , 2011, Fuzzy Sets Syst..

[77]  Yordan Kyosev,et al.  Fuzzy Relational Calculus - Theory, Applications and Software , 2004, Advances in Fuzzy Systems - Applications and Theory.

[78]  Eugene S. Santos.  Fuzzy automata and languages , 1976, Inf. Sci..

[79]  W. Wechler.  The concept of fuzziness in automata and language theory , 1978 .

[80]  F. Klawonn.  Fuzzy points, fuzzy relations and fuzzy functions , 2000 .

[81]  Barnabás Bede,et al.  Mathematics of Fuzzy Sets and Fuzzy Logic , 2012, Studies in Fuzziness and Soft Computing.

[82]  Wyllis Bandler,et al.  Fuzzy Relational Products as a Tool for Analysis and Synthesis of the Behaviour of Complex Natural and Artificial Systems , 1980 .

[83]  Eugene S. Santos,et al.  Maximin Automata , 1968, Inf. Control..

[84]  Miroslav Ciric,et al.  Construction of fuzzy automata from fuzzy regular expressions , 2011, Fuzzy Sets Syst..

[85]  Miroslav Ciric,et al.  Fuzzy homomorphisms of algebras , 2009, Fuzzy Sets Syst..

[86]  Lotfi A. Zadeh,et al.  Note on fuzzy languages , 1969, Inf. Sci..

[87]  Miroslav Ciric,et al.  Myhill-Nerode type theory for fuzzy languages and automata , 2010, Fuzzy Sets Syst..

[88]  Witold Pedrycz,et al.  Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids , 2005, Fuzzy Sets Syst..

[89]  Branimir Seselja,et al.  Lattice-valued approach to closed sets under fuzzy relations: Theory and applications , 2011, Comput. Math. Appl..

[90]  Marko Kostic,et al.  Hypercyclic and chaotic integrated C-cosine functions , 2012 .

[91]  Elie Sanchez,et al.  Resolution of Composite Fuzzy Relation Equations , 1976, Inf. Control..

[92]  Zorana Jancic,et al.  An improved algorithm for determinization of weighted and fuzzy automata , 2011, Inf. Sci..

[93]  Yannis Avrithis,et al.  Computationally efficient sup-t transitive closure for sparse fuzzy binary relations , 2006, Fuzzy Sets Syst..

[94]  Orna Kupferman,et al.  Lattice Automata , 2007, VMCAI.

[95]  Manfred Droste,et al.  Determinization of weighted finite automata over strong bimonoids , 2010, Inf. Sci..

[96]  Witold Pedrycz,et al.  Minimization of lattice finite automata and its application to the decomposition of lattice languages , 2007, Fuzzy Sets Syst..

[97]  Yee Leung,et al.  Generalized fuzzy rough approximation operators based on fuzzy coverings , 2008, Int. J. Approx. Reason..

[98]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[99]  Bernard De Baets,et al.  Algorithms for computing the min-transitive closure and associated partition tree of a symmetric fuzzy relation , 2004, Eur. J. Oper. Res..

[100]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[101]  Luca Aceto,et al.  Reactive Systems: Modelling, Specification and Verification , 2007 .

[102]  Vilém Novák,et al.  Algebraic analysis of fuzzy systems , 2007, Fuzzy Sets Syst..