Abstract
In this paper we provide an embedding of finite lattices into \((\mathbb N, \mid )\), the lattice of divisibility of natural numbers. For that purpose, we explore two representations: vector clocks, a device to provide a virtual time used in distributed systems that has gained traction as a finite lattice representation, and the log-prime function that transforms natural numbers into sequences of prime exponents. Using a generalized log-prime function and its inverse we describe how to embed any finite (width, height) lattice into \((\mathbb N, \mid )\) and provide examples for such process, prior to analysing the affordances of such encoding vis-a-vis the representation of non-global, distributed time. We also discuss how this representation may help improve the affordances of using complete lattices in data analysis both for time- and non-time related data.
CPM and FJVA have been partially supported by the Department of Research and Innovation of Madrid Regional Authority, in the EMPATIA-CM research project (reference Y2018/TCS-5046), and Grant PDC2021-121071-I00 funded by MCIN/AEI/ 10.13039/501100011033 and by the European Union “NextGenerationEU/PRTR” for this work. IPC, PC and MOA have been partially supported by the Spanish Ministry of Science, Innovation, and Universities (MCIU), State Agency of Research (AEI), Junta de Andalucía (JA), Universidad de Málaga (UMA) and European Regional Development Fund (FEDER) through the projects PGC2018-095869-B-I00 and TIN2017-89023-P (MCIU/AEI/FEDER), and UMA2018-FEDERJA-001 (JA/UMA/FEDER).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Recall that an element x of a finite lattice L is join-irreducible if \(x = a \vee b\) implies \(x = a\) or \(x = b\). And lattice-dually for meet-irreducibles.
- 2.
In the words of Gibson, “The affordances of the environment are what it offers the animal, what it provides or furnishes [7]”.
References
Baquero, C., Preguiça, N.M.: Why logical clocks are easy. ACM Commun. 59, 43–47 (2016)
Charron-Bost, B.: Concerning the size of logical clocks in distributed systems. Inf. Process. Lett. 39(1), 11–16 (1991)
Davey, B., Priestley, H.: Introduction to lattices and order, Cambridge, UK (2002)
Fidge, C.J.: Timestamps in message-passing systems that preserve the partial ordering. Austral. Comput. Sci. Comm. 10(1), 56–65 (1988)
Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Heidelberg (1999). https://doi.org/10.1007/978-3-642-59830-2
Garg, V.K.: Introduction to Lattice Theory with Computer Science Applications. f. John Wiley & Sons, Hoboken, March 2016
Gibson, J.J.: The Ecologial Approach to Visual Perception. Lawrence Erlbaum Associates (1979)
Gondran, M., Minoux, M.: Graphs, Dioids and Semirings. New Models and Algorithms. Operations Research Computer Science Interfaces series. Springer (2008). https://doi.org/10.1007/978-0-387-75450-5
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)
Mattern, F.: Virtual time and global states of distributed systems. In: Corsnard, M., Quinton, P., (eds.) Parallel and Distributed Algorithms Proceeding of International Workshop on Parallel and Distributed Algorithm, October 1988
Rietveld, E., Denys, D., van Westen, M.: Ecological-enactive cognition as engaging with a field of relevant affordances: the skilled intentionality framework, SIF. In: The Oxford Handbook of \(\{4E\}\) Cognition, pp. 41–70. Oxford University Press (2018)
Valverde-Albacete, F.J., Peláez-Moreno, C.: K-formal concept analysis as linear algebra over idempotent semifields. Inf. Sci. 467, 579–603 (2018)
Valverde-Albacete, F.J., Peláez-Moreno, C.: Four-fold formal concept analysis based on complete idempotent semifields. Math. MDPI 9(2), 173 (2021)
Valverde-Albacete, F.J., Peláez-Moreno, C., Cabrera, I.P., Cordero, P., Ojeda-Aciego, M.: A data analysis application of formal independence analysis. In: Concept Lattices and their Applications, CLA 2018, pp. 1–12. Palacky University Olomouc (2018)
Valverde-Albacete, F.J., Peláez-Moreno, C., Cabrera, I.P., Cordero, P., Ojeda-Aciego, M.: Formal independence analysis. In: Medina, J., et al. (eds.) IPMU 2018. CCIS, vol. 853, pp. 596–608. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91473-2_51
Valverde Albacete, F.J., Pelaez-Moreno, C., Cabrera, I.P., Cordero, P., Ojeda-Aciego, M.: Exploratory data analysis of multi-label classification tasks with formal context analysis. In: Trnecka, M., Valverde Albacete, F.J. (eds.) Concept Lattices and their Applications CLA, pp. 171–183. Tallinn University of Technology (2020)
Valverde-Albacete, F.J., Peláez-Moreno, C., Cordero, P., Ojeda-Aciego, M.: Formal equivalence analysis. In: Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019 (2019)
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Ordered Sets, Banff, Alta., 1981, pp. 445–470. Reidel, Dordrecht-Boston (1982)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Valverde-Albacete, F.J., Peláez-Moreno, C., Cabrera, I.P., Cordero, P., Ojeda-Aciego, M. (2022). Encoding Non-global Time Representations into the Lattice of Divisibility. In: Ciucci, D., et al. Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2022. Communications in Computer and Information Science, vol 1601. Springer, Cham. https://doi.org/10.1007/978-3-031-08971-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-031-08971-8_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-08970-1
Online ISBN: 978-3-031-08971-8
eBook Packages: Computer ScienceComputer Science (R0)