System of fuzzy relation equations with inf-\(\rightarrow \) composition: Complete set of solutions (Q835213): Difference between revisions
From MaRDI portal
Latest revision as of 21:45, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | System of fuzzy relation equations with inf-\(\rightarrow \) composition: Complete set of solutions |
scientific article |
Statements
System of fuzzy relation equations with inf-\(\rightarrow \) composition: Complete set of solutions (English)
0 references
28 August 2009
0 references
There is multitude of papers dealing with fuzzy relation equations (cf., e.g., the references in \textit{R. Belohlávek}'s book [Fuzzy relational systems. Foundations and principles. New York, NY: Kluwer Academic Publishers (2002; Zbl 1067.03059)]. However, the authors have found there only a few results concerning inf-\(\to\) systems of equations (mainly without proof). This was the reason for a detailed examination of such systems. The paper deals with quasi-linear systems of equations over BL-algebra [cf. \textit{P. Hájek}, Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)] using the inf-implication composition. Final results are presented after a detailed consideration of the case of a single equation and contain: a) characterization of solvability; b) description of solutions of a single equation; c) description of solutions of a system of equations; d) characterization of maximal solutions; e) an algorithm for the determination of maximal solutions. Some results need additional assumptions: linearity of order in the domain lattice and conditional cancellation law for conjunction, what is fulfilled for standard realizations of BL-algebras in \([0,1]\) as product algebra and Łukasiewicz algebra, cf. [\textit{S. Gottwald}, A treatise on many-valued logics. Baldock: Research Studies Press (2001; Zbl 1048.03002)].
0 references
inf-implication composition
0 references
relation equations
0 references
system of equations
0 references
solvability
0 references
maximal solutions
0 references
solution set
0 references
0 references