Reduction of fuzzy automata by means of fuzzy quasi-orders
Autor: | Miroslav Ćirić, Aleksandar Stamenković, Jelena Ignjatović |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2011 |
Předmět: |
FOS: Computer and information sciences
Pure mathematics Information Systems and Management Fuzzy classification Formal Languages and Automata Theory (cs.FL) Mathematics::General Mathematics Computer Science - Artificial Intelligence Computer Science - Formal Languages and Automata Theory 0102 computer and information sciences 02 engineering and technology Fuzzy subalgebra Type-2 fuzzy sets and systems 01 natural sciences Fuzzy logic Defuzzification 68Q05 68Q45 68Q70 68Q85 68T37 03E72 15B15 Theoretical Computer Science Artificial Intelligence 0202 electrical engineering electronic engineering information engineering Fuzzy number Fuzzy associative matrix F.1.1 I.2.3 Mathematics Discrete mathematics Computer Science Applications Artificial Intelligence (cs.AI) ComputingMethodologies_PATTERNRECOGNITION 010201 computation theory & mathematics Control and Systems Engineering Fuzzy set operations 020201 artificial intelligence & image processing ComputingMethodologies_GENERAL Software |
Popis: | 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. 42 pages, submitted to Information Sciences |
Databáze: | OpenAIRE |
Externí odkaz: |