Abstract
Arrow categories as a suitable categorical and algebraic description of \({\mathcal L}\)-fuzzy relations have been used to specify and describe fuzzy controllers in an abstract manner. The theory of arrow categories has also been extended to include higher-order fuzziness. In this paper we use this theory in order to develop an appropriate description of type-2 fuzzy controllers. An overview of the relational representation of a type-1 fuzzy controller is given before discussing the extension to a type-2 controller. We discuss how to model type reduction, an essential component of any type-2 controller. In addition, we provide a number of examples of general type reducers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Birkhoff, G.: Lattice Theory, 3rd edn., vol. XXV. American Mathematical Society Colloquium Publications (1940)
Castillo, O., Melin, P.: Type-2 Fuzzy Logic: Theory and Applications. STUDFUZZ, vol. 223. Springer (2008)
De Cock, M., Radzikowska, A.M., Kerre, E.E.: Modelling Linguistic Modifiers Using Fuzzy-Rough Structures. In: Proceedings of IPMU 2000, vol. III, pp. 1735–1742 (2000)
Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland (1990)
Furusawa, H., Kawahara, Y., Winter, M.: Dedekind Categories with Cutoff Operators. Fuzzy Sets and Systems 173, 1–24 (2011)
Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145–157 (1967)
Gottwald, S.: Fuzzy Sets and Fuzzy Logic. Foundations of Application – from a Mathematical Point of View. Vieweg (1993)
Jónsson, B., Tarski, A.: Boolean algebras with operators, I, II. Amer. J. Math. 73, 74, 891–939, 127-162 (1951, 1952)
Kawahara, Y., Furusawa, H.: Crispness and Representation Theorems in Dedekind Categories. DOI-TR 143. Kyushu University (1997)
Mamdani, E.H., Gaines, B.R.: Fuzzy Reasoning and its Application. Academic Press, London (1987)
Olivier, J.P., Serrato, D.: Catégories de Dedekind. Morphismes dans les Catégories de Schröder. C.R. Acad. Sci. Paris 290, 939–941 (1980)
Olivier, J.P., Serrato, D.: Squares and Rectangles in Relational Categories - Three Cases: Semilattice, Distributive lattice and Boolean Non-unitary. Fuzzy Sets and Systems 72, 167–178 (1995)
Schmidt, G., Berghammer, R.: Relational measures and integration in preference modeling. JLAP 76, 112–129 (2008)
Schmidt, G., Hattensperger, C., Winter, M.: Heterogeneous Relation Algebras. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science. Springer, Vienna (1997)
Schmidt, G., Ströhlein, T.: Relationen und Graphen. Springer (1989); English version: Relations and Graphs. Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoret. Comput. Sci., Springer (1993)
Schmidt, G.: Relational Measures and Integration. In: Schmidt, R.A. (ed.) RelMiCS/AKA 2006. LNCS, vol. 4136, pp. 343–357. Springer, Heidelberg (2006)
Schmidt, G.: Relational Mathematics. Encyplopedia of Mathematics and its Applications 132 (2011)
Winter, M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen. Dissertationsverlag NG Kopierladen GmbH, München (1998)
Winter, M.: A new Algebraic Approach to L-Fuzzy Relations Convenient to Study Crispness. INS Information Science 139, 233–252 (2001)
Winter, M.: Relational Constructions in Goguen Categories. In: de Swart, H. (ed.) Participants Proceedings of the 6th International Seminar on Relational Methods in Computer Science (RelMiCS), pp. 222–236. Katholieke Universiteit Brabant, Tilburg (2001)
Winter, M.: Derived Operations in Goguen Categories. TAC Theory and Applications of Categories 10(11), 220–247 (2002)
Winter, M.: Representation Theory of Goguen Categories. Fuzzy Sets and Systems 138, 85–126 (2003)
Winter, M.: Goguen Categories - A Categorical Approach to L-fuzzy relations. Trends in Logic 25 (2007)
Winter, M.: Arrow Categories. Fuzzy Sets and Systems 160, 2893–2909 (2009)
Winter, M.: Membership Values in Arrow Categories. Submitted to Fuzzy Sets and Systems (October 2013)
Winter, M.: Higher-order arrow categories. In: Höfner, P., Jipsen, P., Kahl, W., Müller, M.E. (eds.) RAMiCS 2014. LNCS, vol. 8428, pp. 277–292. Springer, Heidelberg (2014)
Zadeh, L.A.: The concept of a linguistic variable and its application to approximate reasoning - I. Information Sciences 8, 199–249 (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Winter, M., Jackson, E., Fujiwara, Y. (2014). Type-2 Fuzzy Controllers in Arrow Categories. In: Höfner, P., Jipsen, P., Kahl, W., Müller, M.E. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2014. Lecture Notes in Computer Science, vol 8428. Springer, Cham. https://doi.org/10.1007/978-3-319-06251-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-06251-8_18
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06250-1
Online ISBN: 978-3-319-06251-8
eBook Packages: Computer ScienceComputer Science (R0)