# A General Theory of Concept Lattice (II): Tractable Lattice Construction and Implication Extraction

## TL;DR

This paper introduces a tractable method for constructing a general concept lattice that efficiently captures both its structure and logical implications, unifying formal-concept and rough-set lattices with a single scan.

## Contribution

It presents a feasible construction approach for the general concept lattice and demonstrates how to derive all implication relations from a single formula, simplifying inference processes.

## Key findings

- Single-scan construction of the general concept lattice is feasible.
- All implications can be derived from a single contextual formula.
- Formal-concept and rough-set implications are special cases within this framework.

## Abstract

As the second part of the treatise 'A General Theory of Concept Lattice', this paper speaks of the tractability of the general concept lattice for both its lattice structure and logic content. The general concept lattice permits a feasible construction that can be completed in a single scan of the formal context, though the conventional formal-concept lattice and rough-set lattice can be regained from the general concept lattice. The logic implication deducible from the general concept lattice takes the form of {\mu}_1 {\rightarrow} {\mu}_2 where {\mu}_1,{\mu}_2 {\in} M^{\ast} are composite attributes out of the concerned formal attributes M. Remarkable is that with a single formula based on the contextual truth 1_{\eta} one can deduce all the implication relations extractable from the formal context. For concreteness, it can be shown that any implication A {\rightarrow} B (A, B being subsets of the formal attributes M) discussed in the formal-concept lattice corresponds to a special case of {\mu}_1 {\rightarrow} {\mu}_2 by means of {\mu}_1 = {\prod} A and {\mu}_2 = {\prod} B. Thus, one may elude the intractability due to searching for the Guigues-Duquenne basis appropriate for the implication relations deducible from the formal-concept lattice. Likewise, one may identify those {\mu}_1 {\rightarrow} {\mu}_2 where {\mu}_1 = {\sum} A and {\mu}_2 = {\sum} B with the implications that can be acquired from the rough-set lattice. (Here, the product {\prod} stands for the conjunction and the summation {\sum} the disjunction.)}