DeepAI AI Chat
Log In Sign Up

Reduction of fuzzy automata by means of fuzzy quasi-orders

by   Aleksandar Stamenković, et al.

In our recent paper we have established close relationships between state reduction of a fuzzy recognizer and resolution of a particular system of fuzzy relation equations. In that paper we have also studied reductions by means of those solutions which are fuzzy equivalences. In this paper we will see that in some cases better reductions can be obtained using the solutions of this system that are fuzzy quasi-orders. Generally, fuzzy quasi-orders and fuzzy equivalences are equally good in the state reduction, but we show that right and left invariant fuzzy quasi-orders give better reductions than right and left invariant fuzzy equivalences. We also show that alternate reductions by means of fuzzy quasi-orders give better results than alternate reductions by means of fuzzy equivalences. Furthermore we study a more general type of fuzzy quasi-orders, weakly right and left invariant ones, and we show that they are closely related to determinization of fuzzy recognizers. We also demonstrate some applications of weakly left invariant fuzzy quasi-orders in conflict analysis of fuzzy discrete event systems.


page 1

page 2

page 3

page 4


On the solvability of weakly linear systems of fuzzy relation equations

Systems of fuzzy relation equations and inequalities in which an unknown...

Bisimulations for fuzzy automata

Bisimulations have been widely used in many areas of computer science to...

The solution set of fuzzy relation equations with addition-min composition

This paper deals with the resolutions of fuzzy relation equations with a...

MK-fuzzy Automata and MSO Logics

We introduce MK-fuzzy automata over a bimonoid K which is related to the...

Compatible extensions and consistent closures: a fuzzy approach

In this paper ∗--compatible extensions of fuzzy relations are studied, g...

Algorithms for computing the greatest simulations and bisimulations between fuzzy automata

Recently, two types of simulations (forward and backward simulations) an...