Relational Galois connections between transitive digraphs: characterization and construction. (English) Zbl 1457.05041
Summary: This paper focuses on a twofold relational generalization of the notion of Galois connection. It is twofold because it is defined between sets endowed with arbitrary transitive relations and, moreover, both components of the connection are relations, not necessarily functions. A characterization theorem of the notion of relational Galois connection is provided and, then, it is proved that a suitable notion of closure can be obtained within this framework. Finally, we state a necessary and sufficient condition that allows to build a relational Galois connection starting from a single transitive digraph and a single binary relation.
MSC:
| 05C20 | Directed graphs (digraphs), tournaments |
References:
| [1] | Abramsky, S., Big toy models: representing physical systems as chu spaces, Synthese, 186, 3, 697-718 (2012) · Zbl 1275.81008 |
| [2] | Antoni, L.; Krajči, S.; Krídlo, O., Representation of fuzzy subsets by Galois connections, Fuzzy Sets Syst., 326, 52-68 (2017) · Zbl 1454.06002 |
| [3] | Butka, P.; Pócs, J.; Pócsova, J., Isotone galois connections and generalized one-sided concept lattices, Proc. Multim. Netw. Inf. Syst. (MISSI), 151-160 (2018) |
| [4] | Cabrera, I.; Cordero, P.; Garcia-Pardo, F.; Ojeda-Aciego, M.; De Baets, B., On the construction of adjunctions between a fuzzy preposet and an unstructured set, Fuzzy Sets Syst., 320, 81-92 (2017) · Zbl 1387.06004 |
| [5] | Cabrera, I.; Cordero, P.; Garcia-Pardo, F.; Ojeda-Aciego, M.; De Baets, B., Galois connections between a fuzzy preordered structure and a general fuzzy structure, IEEE Trans. Fuzzy Syst., 26, 3, 1274-1287 (2018) |
| [6] | Cabrera, I.; Cordero, P.; Ojeda-Aciego, M., Towards relational fuzzy adjunctions, IEEE Intl Conf on Fuzzy Systems (FUZZ-IEEE’17) (2017) |
| [7] | Denniston, J. T.; Melton, A.; Rodabaugh, S. E., Formal contexts, formal concept analysis, and Galois connections, Electr. Proc. Theoret. Comput. Sci., 129, 105-120 (2013) · Zbl 1464.68383 |
| [8] | Domenach, F.; Leclerc, B., Biclosed binary relations and Galois connection, Order, 18, 1, 89-104 (2001) · Zbl 0987.06005 |
| [9] | Flannery, K.; Martin, J., The Hoare and Smyh power domain constructors commute under composition, J. Comput. Syst. Sci., 40, 2, 125-135 (1990) · Zbl 0699.06008 |
| [10] | Ganter, B., Relational Galois connections, Lect. Notes Comput. Sci., 4390, 1-17 (2007) · Zbl 1187.06002 |
| [11] | Ganter, B.; Wille, R., Formal Concept Analysis (1999), Springer: Springer New York · Zbl 0909.06001 |
| [12] | García-Pardo, F.; Cabrera, I.; Cordero, P.; Ojeda-Aciego, M., On Galois connections and soft computing, Lect. Notes Comput. Sci., 7903, 224-235 (2013) |
| [13] | García-Pardo, F.; Cabrera, I.; Cordero, P.; Ojeda-Aciego, M., On closure systems and adjunctions between fuzzy preordered sets, Lect. Notes Comput. Sci., 9113, 114-127 (2015) · Zbl 1314.06005 |
| [14] | 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 |
| [15] | R. Godin, R. Missaoui, H. Alaoui, Learning algorithms using a Galois lattice structure, Proceedings of the 1991 IEEE Int. Conf. for AI, San Jose, CA22-29. |
| [16] | Gutiérrez-García, J.; Lai, H.; Shen, L., Fuzzy Galois connections on fuzzy sets, Fuzzy Sets Syst., 352, 26-55 (2018) · Zbl 1397.03075 |
| [17] | Jeřábek, E., Galois connection for multiple-output operations, Algebra Universalis, 79, 17 (2018) · Zbl 1402.08002 |
| [18] | Krídlo, O.; Ojeda-Aciego, M., Formal concept analysis and structures underlying quantum logics, Commun. Comput. Inf. Sci., 853, 574-584 (2018) · Zbl 1512.68326 |
| [19] | Studies in Computational Intelligence, vol 819, To appear. |
| [20] | Kursitys, V.; Ignatov, D. I., Understanding collaborative filtering with Galois connections, Proc. What Can FCA Do for AI? (FCA4AI@IJCAI), 127-143 (2018) |
| [21] | Liquière, M.; Sallantin, J., Structural machine learning with Galois lattices and graphs, Int. Conf. Mach. Learn. ICML98, 1-9 (1998) |
| [22] | (2nd edition). |
| [23] | Vychodil, V., Parameterizing the semantics of fuzzy attribute implications by systems of isotone galois connections, IEEE Trans. Fuzzy Syst., 24, 3, 645-660 (2016) |
| [24] | Vychodil, V., Closure structures parameterized by systems of isotone galois connections, Int. J. Approx. Reason., 91, 1-21 (2017) · Zbl 1419.68150 |
| [25] | Waiyamai, K.; Taouil, R.; Lakhal, L., Towards an object database approach for managing concept lattice based applications, Lectures Notes in Computer Science, 1331, 299-312 (1998) |
| [26] | Wille, R., Subdirect product constructions of concept lattices, Discrete Math., 63, 305-313 (1987) · Zbl 0621.06004 |
| [27] | Xia, W., Morphismen als formale Begriffe—Darstellung und Erzeugung (1993), Verlag Shake · Zbl 0847.06002 |
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.
