Papers
Topics
Authors
Recent
Assistant
AI Research Assistant
Well-researched responses based on relevant abstracts and paper content.
Custom Instructions Pro
Preferences or requirements that you'd like Emergent Mind to consider when generating responses.
Gemini 2.5 Flash
Gemini 2.5 Flash 161 tok/s
Gemini 2.5 Pro 48 tok/s Pro
GPT-5 Medium 34 tok/s Pro
GPT-5 High 24 tok/s Pro
GPT-4o 120 tok/s Pro
Kimi K2 142 tok/s Pro
GPT OSS 120B 433 tok/s Pro
Claude Sonnet 4.5 35 tok/s Pro
2000 character limit reached

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

Published 25 Jul 2019 in cs.LO

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.)}

Citations (1)

Summary

We haven't generated a summary for this paper yet.

Dice Question Streamline Icon: https://streamlinehq.com

Open Questions

We haven't generated a list of open questions mentioned in this paper yet.

Lightbulb Streamline Icon: https://streamlinehq.com

Continue Learning

We haven't generated follow-up questions for this paper yet.

List To Do Tasks Checklist Streamline Icon: https://streamlinehq.com

Collections

Sign up for free to add this paper to one or more collections.

Don't miss out on important new AI/ML research

See which papers are being discussed right now on X, Reddit, and more:

“Emergent Mind helps me see which AI papers have caught fire online.”

Philip

Philip

Creator, AI Explained on YouTube