An augment algorithm based on sufficient formal context

Formal Concept Analysis(FCA) is one of the powerful tools for cognitive science. A concept lattice induced by a context is the core data structure of FCA. A formal context expresses the incidence relation between objects and attributes. It is obvious that the constraint relation between attributes exists. An attribute hierarchy constituted by the attribute relation inevitably restricts the formation of context. Based on an attribute hierarchy, studying the property of the attribute hierarchy, sufficient formal context is defined, the augment algorithm of generating sufficient context is given, and its performance is shown.