An Order-Theorethic Approach to Solving Sup-T Equations
The study of fuzzy relational equations is one of the most appealing subjects in fuzzy set theory, both from a mathematical and a systems modelling point of view . The most fundamental fuzzy relational equations are the sup-T equations, with T a triangular norm. It is well-known how to solve these equations on the real unit interval . Zhao has shown how to solve sup-⌢equations on complete Brouwerian lattices of which all elements have an irredundant finite decomposition in join-irreducible elements . In this paper, we generalize various aspects of these results. We consider triangular norms on bounded ordered sets, and in particular on complete lattices. We then solve sup-Tinequalities and sup-T equations on distributive, complete lattices of which all elements are either join-irreducible or join-decomposable. The morphism behaviour of the partial mappings of the triangular norm T plays an important role in this study. We also introduce the notion of a maximally surjective triangular norm and show how the solution procedures can be simplified for such triangular norms. The results in these papers are obtained in a systematic way using the new order-theoretic concept root system. We conclude the paper with a discussion of the product lattice ([0, l] n , ≤) : we show how to construct triangular norms on it, and how to calculate the corresponding residual operators. By means of extensive examples we illustrate and comment on the solution procedures.
Unable to display preview. Download preview PDF.
- C. Alsina, E. Trillas and L. Valverde, “On non-distributive logical connectives for fuzzy sets theory,” BUSEFAL 3, 1980, 18–29.Google Scholar
- G. Birkhoff, Lattice Theory, AMS Colloquium Publications Volume XXV, American Mathematical Society, Providence, RI, 1967.Google Scholar
- B. Davey and H. Priestley, Introduction to Lattices and Order, Cambridge University Press, 1990.Google Scholar
- B. De Baets and E. Kerre, “A representation of solution sets of fuzzy relational equations,” in Cybernetics and Systems’ 94, Proceedings of the Twelfth European Meeting on Cybernetics and Systems Research, R. Trappl, ed., World Scientific Publishing, Singapore, 1994, 287–294.Google Scholar
- B. De Baets, “Crowns and root systems,”Algebra Universalis, in preparation.Google Scholar
- A. Di Nola, S. Sessa, W. Pedrycz and E. Sanchez, Fuzzy Relation Equations and their Applications to Knowledge Engineering, Theory and Decision Library. Series D.System Theory, Knowledge Engineering and Problem Solving, Kluwer, Dordrecht, Boston en London, 1989.Google Scholar
- J. Goguen, “L-Fuzzy sets,” Journal of Mathematical Analysis and Applications 18, 1967, 145–174.Google Scholar
- B. Schweizer and A. Sklar, “Associative functions and abstract semigroups,” Publ. Math. Debrecen 10, 1963, 69–84.Google Scholar
- E. Trillas and L. Valverde, “On implication and indistinguishability in the setting of fuzzy logic,” in Management decision support systems using fuzzy sets and possibility theory, J. Kacprzyk and R. Yager, eds., Verlag TUV Rheinland, Köln, 1983, 198–212.Google Scholar
- C. Zhao, “On matrix equations in a class of complete and completely distributive lattices,” Fuzzy Sets and Systems 22, 1987, 303–320.Google Scholar