Fuzzy relation equations and subsystems of fuzzy transition systems

  • Authors:

  • Jelena Ignjatović;Miroslav Irić;Vesna Simović

  • Affiliations:

  • University of Niš, Faculty of Sciences and Mathematics, Višegradska 33, 18000 Niš, Serbia;University of Niš, Faculty of Sciences and Mathematics, Višegradska 33, 18000 Niš, Serbia;High Economic School for Professional Studies, Peć in Leposavić, Serbia

  • Venue:
  • Knowledge-Based Systems
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.