Unified Fast Algorithms for Building Concept Lattices

Xifeng Wang,Jianqin Zhou,Sichun Yang
DOI: https://doi.org/10.3934/mfc.2023037
2025-01-01
Mathematical Foundations of Computing
Abstract:There are various algorithms for computing various concepts from a formal context.In this paper, based on the logical representations of various concepts, we first prove that the following concepts are all equivalent to formal concept in some forms: object oriented concept, object-induced three-way concept, object-induced three-way attribute-oriented concept, attribute-induced three-way dual concept and common-possible concept.Second, based on the fast In-Close4 algorithm for computing formal concept lattice, much concise and unified algorithms are proposed to construct all five different kinds of concept lattice respectively.Both theoretical analysis and experiment results demonstrate that every proposed algorithm is simple and effective.As far as we know, various concepts are all equivalent to some form of formal concepts, which provides a new perspective for us to study these concepts and their applications.
What problem does this paper attempt to address?