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