×

Algebraic analysis of fuzzy systems. (English) Zbl 1110.93012

Summary: We have developed an algebraic theory, suitable for the analysis of fuzzy systems. We have used the notions of semiring and semimodule, introduced the notion of semilinear space, have given numerous examples of them and defined also the notions of linear dependence and independence. We have shown that the composition operation, which plays an essential role in the analysis of fuzzy systems because of its role in the compositional rule of inference, can be interpreted as a homomorphism between special semimodules. Consequently, this operation is, in a certain sense, a linear operation. This property formally explains why fuzzy systems are attractive for applications.

MSC:

93B25 Algebraic methods
93C42 Fuzzy control/observation systems

Software:

LFLC 2000
Full Text: DOI

References:

[1] Baccelli, F.; Cohen, G.; Olsder, G. J.; Quadrat, J. P., Synchronization and Linearity—an Algebra for Discrete Event Systems (1992), Wiley: Wiley New York · Zbl 0824.93003
[2] Chang, C. C., Algebraic analysis of many valued logics, Trans. AMS, 93, 74-80 (1958) · Zbl 0084.00704
[3] Cignoli, R. L.O.; D’ottaviano, I. M.L.; Mundici, D., Algebraic Foundations of Many-Valued Reasoning (2000), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0937.06009
[4] G. Cohen, Dioids and discrete event systems, in: G. Cohen, J. P. Quadrat (Eds.), Lecture Notes in Control and Information Sciences, Vol. 199, Springer, Berlin, 1994, pp. 223-236; G. Cohen, Dioids and discrete event systems, in: G. Cohen, J. P. Quadrat (Eds.), Lecture Notes in Control and Information Sciences, Vol. 199, Springer, Berlin, 1994, pp. 223-236 · Zbl 0822.93003
[5] Cohen, G.; Dubois, D.; Quadrat, J. P.; Viot, M., A linear system-theoretic view of discrete event processes and its use for performance evaluation in manufacturing, IEEE Trans. Automat. Control, AC30, 3, 210-220 (1985) · Zbl 0557.93005
[6] R.A. Cuninghame-Green, Minimax algebra, Lecture Notes in Economics and Mathematical Systems, Vol. 166, Springer, Berlin, 1979.; R.A. Cuninghame-Green, Minimax algebra, Lecture Notes in Economics and Mathematical Systems, Vol. 166, Springer, Berlin, 1979. · Zbl 0399.90052
[7] Cuninghame-Green, R. A.; Butkovič, P., Bases in max-algebra, Linear Algebra Appl., 389, 107-120 (2004) · Zbl 1059.15001
[8] Cuninghame-Green, R. A.; Cechlárová, K., Residuation in fuzzy algebra and some applications, Fuzzy Sets and Systems, 71, 227-239 (1995) · Zbl 0845.04007
[9] A. Di Nola, B. Gerla, Algebras of Łukasiewicz’s logic and their semiring reducts, in: Proc. Conf. on Idempotent Mathematics and Mathematical Physics, to appear.; A. Di Nola, B. Gerla, Algebras of Łukasiewicz’s logic and their semiring reducts, in: Proc. Conf. on Idempotent Mathematics and Mathematical Physics, to appear. · Zbl 1081.06009
[10] A. Di Nola, A. Lettieri, Relation equations in residuated lattices, in: Rendiconti del Circolo Matematico di Palermo, XXXVIII, Palermo, 1989, pp. 246-256.; A. Di Nola, A. Lettieri, Relation equations in residuated lattices, in: Rendiconti del Circolo Matematico di Palermo, XXXVIII, Palermo, 1989, pp. 246-256. · Zbl 0691.06002
[11] Di Nola, A.; Sessa, S.; Pedrycz, W.; Sanchez, E., Fuzzy Relation Equations and Their Applications to Knowledge Engineering (1989), Kluwer Academic Publishers: Kluwer Academic Publishers Boston · Zbl 0694.94025
[12] Dubois, D.; Prade, H., Fuzzy logics and the generalized modus ponens revisited, Internat. J. Cybernet., 15, 3-4, 293-331 (1984) · Zbl 0595.03016
[13] Dubois, D.; Prade, H., Fuzzy sets in approximate reasoning—part 1: inference with possibility distributions, Fuzzy Sets and Systems, 40, 143-202 (1991) · Zbl 0722.03017
[14] Dvořák, A.; Habiballa, H.; Novák, V.; Pavliska, V., The software package LFLC 2000—its specificity, recent and perspective applications, Comput. Industry, 51, 269-280 (2003)
[15] Gerla, G., Fuzzy Logic. Mathematical Tools for Approximate Reasoning (2001), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0976.03026
[16] Golan, J. S., Semirings and Their Applications (1999), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0947.16034
[17] Gondran, M.; Minox, M., Eigenvalues and eigen-functionals of diagonally dominant endomorphisms in min-max analysis, Linear Algebra Appl., 282, 47-61 (1992) · Zbl 0990.15006
[18] S. Gottwald, Fuzzy Sets and Fuzzy Logic, The Foundations of Application—from a Mathematical Point of View, Vieweg, Braunschweig/Wiesbaden and Teknea, Toulouse, 1993.; S. Gottwald, Fuzzy Sets and Fuzzy Logic, The Foundations of Application—from a Mathematical Point of View, Vieweg, Braunschweig/Wiesbaden and Teknea, Toulouse, 1993. · Zbl 0782.94025
[19] S. Gottwald, V. Novák, I. Perfilieva, Fuzzy control and t-norm-based fuzzy logic. Some recent results, in: Proc. Conf. of IPMU’2002, ESIA-Université de Savoie, Annecy, France, 2002, pp. 1087-1094.; S. Gottwald, V. Novák, I. Perfilieva, Fuzzy control and t-norm-based fuzzy logic. Some recent results, in: Proc. Conf. of IPMU’2002, ESIA-Université de Savoie, Annecy, France, 2002, pp. 1087-1094.
[20] Hájek, P., Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0937.03030
[21] Kolokoltsov, V. N.; Maslov, V., Idempotent Analysis and Its Applications. Mathematics and its Applications (1997), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0941.93001
[22] Mundici, D., Interpretation of AFC \({}^*\)-algebras in Łukasiewicz sentential calculus, J. Funct. Anal., 65, 15-63 (1993) · Zbl 0597.46059
[23] V. Novák, S. Lehmke, Logical structure of fuzzy IF-THEN rules, Fuzzy Sets and Systems.; V. Novák, S. Lehmke, Logical structure of fuzzy IF-THEN rules, Fuzzy Sets and Systems.
[24] Novák, V.; Perfilieva, I.; Močkoř, J., Mathematical Principles of Fuzzy Logic (1999), Kluwer Academic Publishers: Kluwer Academic Publishers Boston · Zbl 0940.03028
[25] Perfilieva, I., Fuzzy function as an approximate solution to a system of fuzzy relation equations, Fuzzy Sets and Systems, 147, 363-383 (2004) · Zbl 1050.03036
[26] Perfilieva, I., Normal forms in bl-algebra of functions and their contribution to universal approximation, Fuzzy Sets and Systems, 143, 111-127 (2004) · Zbl 1036.03021
[27] I. Perfilieva, Semi-linear spaces, in: H. Noguchi, H. Ishii, et al. (Eds.), Proc. of Seventh Czech-Japanese Seminar on Data Analysis and Decision Making under Uncertainty, Hyogo, Japan, 2004, pp. 127-130.; I. Perfilieva, Semi-linear spaces, in: H. Noguchi, H. Ishii, et al. (Eds.), Proc. of Seventh Czech-Japanese Seminar on Data Analysis and Decision Making under Uncertainty, Hyogo, Japan, 2004, pp. 127-130.
[28] I. Perfilieva, Semilinear spaces—basic structures for fuzzy systems, in: Proc. Conf. of IPMU’2006, Paris, France, 2006, pp. 1087-1094.; I. Perfilieva, Semilinear spaces—basic structures for fuzzy systems, in: Proc. Conf. of IPMU’2006, Paris, France, 2006, pp. 1087-1094.
[29] J.-P. Quadrat, Max-Plus, Max-plus algebra and applications to system theory and optimal control, in: Proc. Internat. Conf. of Mathematicians, Zurich, Birkaüser, Basel, 1994, pp. 1502-1511.; J.-P. Quadrat, Max-Plus, Max-plus algebra and applications to system theory and optimal control, in: Proc. Internat. Conf. of Mathematicians, Zurich, Birkaüser, Basel, 1994, pp. 1502-1511.
[30] Sanchez, E., Resolution of composite fuzzy relation equations, Inform. Control, 30, 38-48 (1976) · Zbl 0326.02048
[31] Zadeh, L. A., Outline of a new approach to the analysis of complex systems and decision processes, IEEE Trans. Systems Man Cybernet., SMC 3, 28-44 (1973) · Zbl 0273.93002
[32] L. A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning I, II, III, Inform. Sci. 8-9 (1975) 199-257, 301-357, 43-80.; L. A. Zadeh, The concept of a linguistic variable and its application to approximate reasoning I, II, III, Inform. Sci. 8-9 (1975) 199-257, 301-357, 43-80. · Zbl 0397.68071
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.