Generating complete set of implications for formal contexts

In this paper, a necessary and sufficient condition on which a set of implications is complete is proposed with the help of the notion of model from logic. Besides, using the closure of an attribute subset to a set of implications, we present a formal method to remove the redundant implications from a complete set. Subsequently, we provide an algorithm to generate a complete set of implications and an illustrative example guarantees the availability of the algorithm.

[1]  Ivan Bratko,et al.  Learning by Discovering Concept Hierarchies , 1999, Artif. Intell..

[2]  Yiyu Yao,et al.  Concept lattices in rough set theory , 2004, IEEE Annual Meeting of the Fuzzy Information, 2004. Processing NAFIPS '04..

[3]  ZhongzhiShi,et al.  The Algebraic Properties of Concept Lattice , 2004 .

[4]  Nicolas Pasquier,et al.  Discovering Frequent Closed Itemsets for Association Rules , 1999, ICDT.

[5]  Otto Optiz,et al.  Conceptual and Numerical Analysis of Data , 1989 .

[6]  Claudio Carpineto,et al.  A Lattice Conceptual Clustering System and Its Application to Browsing Retrieval , 1996, Machine Learning.

[7]  Rokia Missaoui,et al.  Generating frequent itemsets incrementally: two novel approaches based on Galois lattice theory , 2002, J. Exp. Theor. Artif. Intell..

[8]  Tom Mens,et al.  Analysing Object-Oriented Application Frameworks Using Concept Analysis , 2002, OOIS Workshops.

[9]  Min Chen,et al.  Study of decision implications based on formal concept analysis , 2007, Int. J. Gen. Syst..

[10]  Mohammed J. Zaki,et al.  Theoretical Foundations of Association Rules , 2007 .

[11]  W. W. Armstrong,et al.  Dependency Structures of Data Base Relationships , 1974, IFIP Congress.

[12]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[13]  Rudolf Wille,et al.  Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

[14]  Paolo Tonella,et al.  Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis , 2003, IEEE Trans. Software Eng..

[15]  Wolfgang Kollewe,et al.  Evaluation of a Survey with Methods of Formal Concept Analysis , 1989 .