×

Representation of fuzzy subsets by Galois connections. (English) Zbl 1454.06002

Summary: There is a great deal of fuzziness in our everyday natural language, and thus fuzzy subsets have come to represent a direct generalisation of the indicator function of a classical subset. On the other hand, a Galois connection is given by two opposite order-inverting maps whose composition yields two closure operations between ordered sets. We present the one-to-one correspondence between a set of all fuzzy subsets and a set of all Galois connections. The essential correspondences are built with the help of \(\alpha\)-cuts, which represent fuzzy subsets by means of classical sets. Moreover, we present a relationship between strong fuzzy negations in the lattices and Galois connections. The various extensions of fuzzy subsets from the point of view of nestedness and negations are recalled. Other fruitful properties and connections with related studies are included.

MSC:

06A15 Galois correspondences, closure operators (in relation to ordered sets)
03E72 Theory of fuzzy sets, etc.
06B23 Complete lattices, completions
03B65 Logic of natural languages
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Antoni, L.; Krajči, S.; Krídlo, O.; Macek, B.; Pisková, L., On heterogeneous formal contexts, Fuzzy Sets Syst., 234, 22-33 (2014) · Zbl 1315.68232
[2] Antoni, L.; Krajči, S.; Krídlo, O., Constraint heterogeneous concept lattices and concept lattices with linguistic hedges, Fuzzy Sets Syst., 303, 21-37 (2016) · Zbl 1378.68139
[3] Atanassov, K. T., Intuitionistic fuzzy sets, Fuzzy Sets Syst., 20, 87-96 (1986) · Zbl 0631.03040
[4] Bachkova, I.; Todorov, N.; Georgiev, P. T., Monitoring and optimization of crude oil distillation plant by intuitionistic fuzzy generalized nets, Notes IFS, 2, 2, 11-15 (1996)
[5] Barr, M.; Wells, Ch., Toposes, triples and theories, Theory Appl. Categ., 12, 1-288 (2005) · Zbl 1081.18006
[6] Bělohlávek, R., Fuzzy Relational Systems: Foundations and Principles (2002), Kluwer Academic/Plenum Publishers: Kluwer Academic/Plenum Publishers New York · Zbl 1067.03059
[7] Bělohlávek, R.; Vychodil, V., Fuzzy concept lattices constrained by hedges, J. Adv. Comput. Intell. Intell. Inform., 11, 6, 536-545 (2007)
[8] Bělohlávek, R.; Vychodil, V., Formal concept analysis and linguistic hedges, Int. J. Gen. Syst., 41, 503-532 (2012) · Zbl 1277.93045
[9] Birkhoff, G., Lattice Theory (1966), American Mathematical Society: American Mathematical Society Providence · Zbl 0126.03801
[10] Burusco, A.; Fuentes-Gonzalez, R., The study of \(L\)-fuzzy concept lattice, Mathw. Soft Comput., 3, 209-218 (1994) · Zbl 0827.06004
[11] Bustince, H.; Burillo, P.; Soria, F., Automorphism, negation and implication operators, Fuzzy Sets Syst., 134, 2, 209-229 (2003) · Zbl 1010.03017
[12] Bustince, H.; Barrenechea, E.; Pagola, M.; Fernández, J.; Xu, Z.; Bedregal, B. R.C.; Montero, J.; Hagras, H.; Herrera, F.; De Baets, B., A historical account of types of fuzzy sets and their relationships, IEEE Trans. Fuzzy Syst., 24, 1, 179-194 (2016)
[13] Butka, P.; Pócs, J.; Pócsová, J., On equivalence of conceptual scaling and generalized one-sided concept lattices, Inf. Sci., 259, 57-70 (2014) · Zbl 1328.68217
[14] Butka, P.; Pócs, J., Generalization of one-sided concept lattices, Comput. Inform., 32, 2, 355-370 (2013) · Zbl 1413.06008
[15] Cabrera, I. P.; Cordero, P.; Gutiérez, G.; Martinez, J.; Ojeda-Aciego, M., On residuation in multilattices: filters, congruences, and homorphisms, Fuzzy Sets Syst., 234, 1-21 (2014) · Zbl 1315.06008
[16] Cintula, P.; Klement, E. P.; Mesiar, R.; Navara, M., Fuzzy logics with an additional involutive negation, Fuzzy Sets Syst., 161, 390-411 (2010) · Zbl 1189.03028
[17] Cornejo, M. E.; Medina, J.; Ramírez, E., A comparative study of adjoint triples, Fuzzy Sets Syst., 211, 1-14 (2013) · Zbl 1272.03111
[18] Cornejo, M. E.; Medina, J.; Ramírez, E., Adjoint negations, more than residuated negations, Inf. Sci., 345, 355-371 (2016) · Zbl 1522.03071
[19] Cornejo, M. E.; Medina, J.; Ramírez-Poussa, E., Attribute and size reduction mechanisms in multi-adjoint concept lattices, J. Comput. Appl. Math., 318, 388-402 (2017) · Zbl 1382.68236
[20] Cornejo, M. E.; Medina, J.; Ramírez-Poussa, E., Attribute reduction mechanisms in multi-adjoint concept lattices, Inf. Sci., 294, 41-56 (2015) · Zbl 1360.68805
[21] Denecke, K.; Wismath, S. L., Galois connections and complete sublattices, (Denecke, K.; Erné, M.; Wismath, S. L., Galois Connections and Applications, Mathematics and Its Applications, vol. 565 (2004), Kluwer: Kluwer Dordrecht), 211-230 · Zbl 1066.06003
[22] Deschrijver, G.; Kerre, E. E., On the relationship between some extensions of fuzzy set theory, Fuzzy Sets Syst., 133, 227-235 (2003) · Zbl 1013.03065
[23] Díaz-Moreno, J. C.; Medina, J.; Ojeda-Aciego, M., On basic conditions to generate multi-adjoint concept lattices via Galois connections, Int. J. Gen. Syst., 43, 2, 149-161 (2014) · Zbl 1320.06005
[24] Dubois, D.; Gottwald, S.; Hajek, P.; Kacprzyk, J.; Prade, H., Terminological difficulties in fuzzy set theory - the case of intuitionistic fuzzy sets, Fuzzy Sets Syst., 156, 485-491 (2005) · Zbl 1098.03061
[25] Dubois, D.; Prade, H., Fuzzy Sets and Systems: Theory and Applications (1980), Academic Press: Academic Press New York · Zbl 0444.94049
[26] Dubois, D.; Prade, H., Gradual elements in a fuzzy set, Soft Comput., 12, 165-175 (2008) · Zbl 1133.03026
[27] Dubois, D.; Prade, H., Possibility theory and formal concept analysis: characterizing independent sub-contexts, Fuzzy Sets Syst., 196, 4-16 (2012) · Zbl 1251.68231
[28] Erné, M., Adjunctions and Galois connections: origins, history and development, (Denecke, K.; Erné, M.; Wismath, S. L., Galois Connections and Applications, Mathematics and Its Applications, vol. 565 (2004), Kluwer: Kluwer Dordrecht), 1-138 · Zbl 1067.06003
[29] Esteva, F.; Godo, L.; Noguera, C., A logical approach to fuzzy truth stressers, Inf. Sci., 232, 366-385 (2013) · Zbl 1293.03014
[30] García-Pardo, F.; Cabrera, I.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F., On the definition of suitable orderings to generate adjunctions over an unstructured codomain, Inf. Sci., 286, 173-187 (2014) · Zbl 1355.06011
[31] Gentilhomme, Y., Les sous-ensembles flous en linguistique, Cahiers Linguist Théor. Appl. V, 47-63 (1968)
[32] Goguen, J. A., \(L\)-fuzzy sets, J. Math. Anal. Appl., 18, 145-174 (1967) · Zbl 0145.24404
[33] Gottwald, S., A Treatise on Many-Valued Logics, Studies in Logic and Computation, vol. 9 (2001), Research Studies Press: Research Studies Press Baldock, Hertfordshire, England · Zbl 1048.03002
[34] Gottwald, S., Fuzzy Sets and Fuzzy Logic: The Foundations of Application - from a Mathematical Point of View (1993), Vieweg: Vieweg Wiesbaden · Zbl 0782.94025
[35] Grabisch, M.; Marichal, J.-L.; Mesiar, R.; Pap, E., Aggregation Functions (2009), Cambridge University Press: Cambridge University Press Cambridge · Zbl 1196.00002
[36] Hájek, P., On very true, Fuzzy Sets Syst., 124, 329-333 (2001) · Zbl 0997.03028
[37] Hájek, P., Methamatematics of Fuzzy Logic (1998), Kluwer: Kluwer Dordrecht · Zbl 0937.03030
[38] Halaš, R.; Mesiar, R.; Pócs, J., Description of sup- and inf-preserving aggregation functions via families of clusters in data tables, Inf. Sci., 400-401, 173-183 (2017) · Zbl 1429.68274
[39] Halaš, R.; Pócs, J., Generalized one-sided concept lattices with attribute preferences, Inf. Sci., 303, 50-60 (2015) · Zbl 1360.68808
[40] Halaš, R.; Pócs, J., On lattices with a smallest set of aggregation functions, Inf. Sci., 325, 316-323 (2015) · Zbl 1387.06006
[41] Halaš, R.; Pócs, J., On the clone of aggregation functions on bounded lattices, Inf. Sci., 329, 381-389 (2016) · Zbl 1390.06006
[42] Iranzo, P. J.; Medina, J.; Ojeda-Aciego, M., On reductants in the framework of multi-adjoint logic programming, Fuzzy Sets Syst., 317, 27-43 (2017) · Zbl 1392.68137
[43] Kardoš, F.; Pócs, J.; Pócsova, J., On concept reduction based on some graph properties, Knowl.-Based Syst., 93, 67-74 (2016)
[44] Kerre, E. E., A first view on the alternatives of fuzzy set theory, Adv. Soft Comput., 8, 55-71 (2001) · Zbl 1007.03046
[45] Klement, E. P.; Mesiar, R.; Pap, E., Triangular Norms (2000), Kluwer: Kluwer Dordrecht · Zbl 0972.03002
[46] Klir, G. J.; Yuan, B., Fuzzy Sets and Fuzzy Logic. Theory and Applications (1995), Prentice-Hall · Zbl 0915.03001
[47] Konečný, J., Isotone fuzzy Galois connections with hedges, Inf. Sci., 181, 1804-1817 (2011) · Zbl 1226.06001
[48] Konečný, J.; Medina, J.; Ojeda-Aciego, M., Multi-adjoint concept lattices with heterogeneous conjunctors and hedges, Ann. Math. Artif. Intell., 72, 1, 73-89 (2014) · Zbl 1322.06004
[49] Krajči, S., Every concept lattice with hedges is isomorphic to some generalized concept lattice, (Snášel, V.; Bělohlávek, R., Proceedings of the 3rd International Conference on Concept Lattices and Their Applications (2005)), 1-9
[50] Kreinovich, V.; Nguyen, H.; Wojciechowski, P., Fuzzy logic as applied linear logic, BUSEFAL, 67, 4-13 (1996)
[51] Krídlo, O.; Krajči, S.; Antoni, L., Formal concept analysis of higher order, Int. J. Gen. Syst., 45, 2, 116-134 (2016) · Zbl 1365.68416
[52] Krídlo, O.; Krajči, S.; Ojeda-Aciego, M., The category of \(L\)-chu correspondences and the structure of \(L\)-bonds, Fundam. Inform., 115, 4, 297-325 (2012) · Zbl 1256.06012
[53] Krídlo, O.; Ojeda-Aciego, M., Revising the link between \(L\)-chu correspondences and completely lattice \(L\)-ordered sets, Ann. Math. Artif. Intell., 72, 91-113 (2014) · Zbl 1322.06003
[54] Lambek, J., Iterated Galois connections in arithmetic and linguistics, (Denecke, K.; Erné, M.; Wismath, S. L., Galois Connections and Applications, Mathematics and Its Applications, vol. 565 (2004), Kluwer: Kluwer Dordrecht), 389-397 · Zbl 1078.18004
[55] Medina, J.; Ojeda-Aciego, M., Multi-adjoint t-concept lattices, Inf. Sci., 180, 712-725 (2010) · Zbl 1187.68587
[56] Medina, J.; Ojeda-Aciego, M., On multi-adjoint concept lattices based on heterogeneous conjunctors, Fuzzy Sets Syst., 208, 95-110 (2012) · Zbl 1252.06003
[57] Medina, J.; Ojeda-Aciego, M., Dual multi-adjoint concept lattices, Inf. Sci., 225, 47-54 (2013) · Zbl 1293.06001
[58] Medina, J.; Ojeda-Aciego, M.; Pócs, J.; Ramiréz-Poussa, E., On the Dedekind-MacNeille completion and formal concept analysis based on multilattices, Fuzzy Sets Syst., 303, 1-20 (2016) · Zbl 1386.06003
[59] Medina, J.; Ojeda-Aciego, M.; Valverde, A.; Vojtáš, P., Towards biresiduated multi-adjoint logic programming, Lect. Notes Artif. Intell., 3040, 608-617 (2004)
[60] Medina, J.; Ojeda-Aciego, M.; Vojtáš, P., Multi-adjoint logic programming with continuous semantics, Lect. Notes Artif. Intell., 2173, 351-364 (2001) · Zbl 1007.68023
[61] Negoita, C. V.; Ralescu, D. A., Representation theorems for fuzzy concepts, Kybernetes, 4, 3, 169-174 (1975) · Zbl 0352.02044
[62] Negoita, C. V.; Ralescu, D. A., Applications of Fuzzy Sets to Systems Analysis (1975), John Wiley & Sons: John Wiley & Sons New York · Zbl 0326.94002
[63] Nguyen, H. T.; Walker, E. A., Fuzzy Logic. A First Course in Fuzzy Logic (2006), Chapman & Hall/CRC: Chapman & Hall/CRC Boca Raton
[64] di Nola, A.; Sessa, S., On the fuzziness measure and negation in totally ordered lattices, J. Math. Anal. Appl., 114, 156-170 (1986) · Zbl 0609.94019
[65] Ore, Ø., Galois connexions, Trans. Am. Math. Soc., 55, 493-513 (1944) · Zbl 0060.06204
[66] Pavelka, J., On fuzzy logic I, II, III, Z. Math. Log. Grundl. Math., 25, 45-52 (1979), pp. 119-139, 447-464 · Zbl 0435.03020
[67] Pócsová, J., Note on formal contexts of generalized one-sided concept lattices, Ann. Math. Inform., 42, 71-82 (2013) · Zbl 1299.06008
[68] Ralescu, D. A., A generalization of the representation theorem, Fuzzy Sets Syst., 51, 309-311 (1992) · Zbl 0793.04006
[69] Riečan, B., Analysis of fuzzy logic models, (Koleshko, V. M., Intelligent Systems (2012), INTECH), 219-244
[70] Sánchez, D.; Delgado, M.; Vila, M. A.; Chamorro-Martínez, J., On a non-nested level-based representation of fuzziness, Fuzzy Sets Syst., 192, 159-175 (2012) · Zbl 1238.68164
[71] Šešelja, B.; Stojić, D.; Tepavčević, A., On existence of p-valued fuzzy sets with a given collection of cuts, Fuzzy Sets Syst., 161, 763-768 (2010) · Zbl 1191.03041
[72] Šešelja, B.; Tepavčević, A., Representing ordered structures by fuzzy sets: an overview, Fuzzy Sets Syst., 136, 1, 21-39 (2003) · Zbl 1026.03039
[73] Šešelja, B.; Tepavčević, A., Completion of ordered structures by cuts of fuzzy sets, Fuzzy Sets Syst., 136, 1, 1-19 (2003) · Zbl 1020.06005
[74] Skřivánek, V.; Frič, R., Generalized random events, Int. J. Theor. Phys., 54, 4386-4396 (2015) · Zbl 1329.81102
[75] Sussner, P., Lattice fuzzy transforms from the perspective of mathematical morphology, Fuzzy Sets Syst., 288, 115-128 (2016) · Zbl 1374.06011
[76] Sussner, P.; Nachtegael, M.; Mélange, T.; Deschrijver, G.; Esmi, E.; Kerre, E., Interval-valued and intuitionistic fuzzy mathematical morphologies as special cases of \(L\)-fuzzy mathematical morphology, J. Math. Imaging Vis., 43, 50-71 (2012) · Zbl 1255.68267
[77] Turunen, E.; Navara, M., Perfect Pavelka Logic, Fuzzy Sets Syst., 292, 396-410 (2016) · Zbl 1380.03033
[78] Valverde-Albacete, F. J.; Pelaez-Moreno, C., Galois connections between semimodules and applications in data mining, (Kuznetsov, S. O.; Schmidt, S., ICFCA 2007. ICFCA 2007, LNCS (LNAI), vol. 4390 (2007), Springer: Springer Heidelberg), 181-196 · Zbl 1132.68063
[79] Yager, R., On the measure of fuzziness and negation. II. Lattices, Inf. Control, 44, 236-260 (1980) · Zbl 0429.04008
[80] Yager, R., On the measure of fuzziness and negation. I. Membership in the unit interval, Int. J. Gen. Syst., 5, 4, 221-229 (1979) · Zbl 0429.04007
[81] Yu, Q. Y.; Liu, D. Y.; Xie, Q., A topological relations model of fuzzy regions based on flou set, (Proceedings of 2004 International Conference on Machine Learning and Cybernetics 3 (2004)), 1926-1931
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.