Evolution of objects and concepts. (English) Zbl 1430.06002

Summary: The method for producing concepts within a given context was developed by R. Wille, and it is known under the name formal concept analysis. Every concept is fully determined by its extent and intent where extent is the set of all objects and intent the set of all attributes of this concept. We show in examples that in situations of real world this method need not be satisfactory because time dimension plays a crucial role in human thinking. Hence, it is necessary to consider tense operators on time depending objects or on the whole concepts. A formal method how to evaluate these operators is investigated in this paper.


06B23 Complete lattices, completions
06A15 Galois correspondences, closure operators (in relation to ordered sets)
68T30 Knowledge representation
Full Text: DOI


[1] Andrews S (2015) A best-of-breed approach for designing a fast algorithm for computing fixpoints of Galois connections. Inf Sci 295:633-649 · Zbl 1360.68797
[2] Banaschewski B, Niefield SB (1991) Projective and supercoherent frames. J Pure Appl Algebra 70:45-51 · Zbl 0744.06006
[3] Bělohlávek R (2002) Fuzzy relational systems: foundations and principles. Springer, New York. ISBN 9780306467776 · Zbl 1067.03059
[4] Bělohlávek R, Klir GJ (eds) (2011) Concepts and fuzzy logic. MIT Press, Cambridge. ISBN 9780262016476 · Zbl 1231.03002
[5] Burgess, J.; Gabbay, DM (ed.); Günther, F. (ed.), Basic tense logic, 89-139 (1984), Dordrecht
[6] Chajda I, Paseka J (2015) Algebraic approach to tense operators. Helderman Verlag, Lemgo. ISBN 9783885382355 · Zbl 1350.03002
[7] Erné M, Gehrke M, Pultr A (2007) Complete congruences on topologies and down-set lattices. Appl Categorical Struct 15:163-184 · Zbl 1122.06015
[8] Ganter B, Wille R (1999) Formal concept analysis. Springer, Berlin. ISBN 9783540627715 · Zbl 0909.06001
[9] Outrata J, Vychodil V (2012) Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data. Inf Sci 185:114-127 · Zbl 1239.68070
[10] Rump W (2013) Quantum B-algebras, Central European. J Math 11:1881-1899 · Zbl 1326.03077
[11] Rump W, Yang YC (2014) Non-commutative logical algebras and algebraic quantales. Ann Pure Appl Logic 165:759-785 · Zbl 1322.03049
[12] Tříska J, Vychodil V (2017) Logic of temporal attribute implications. Ann Math Artif Intell 79:307-335 · Zbl 1409.68283
[13] Wolff KE. (2001) Temporal concept analysis. In: Mephu Nguifo E et al (eds) ICCS-2001 international workshop on concept lattices-based theory, methods and tools for knowledge discovery in databases. Stanford University, Palo Alto, pp 91-107
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.