We consider the following problem: Given a “universe” of primitive and composed entities, where non-primitive entities may contain other ones. How should we represent these entities, such that their containment relation is decidable? As an answer to this problem we propose a representation based on a Galois connection. An application of this idea in modelling human memory is given as well.
CITATION STYLE
Sarbo, J., & Farkas, J. (1994). Concept sublattices. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 784 LNCS, pp. 407–410). Springer Verlag. https://doi.org/10.1007/3-540-57868-4_85
Mendeley helps you to discover research relevant for your work.