Multi-ply attribute reduction in information concept lattice

By using parent-child concept, a new discernibility matrix of information formal context is proposed, and the discernibility function of concepts and sub-concept lattices (including concept lattice) are defined. Judgment theorems of consistent sets in information formal context and similarity concept in information concept lattice are examined. At the same time, an approach to calculating all attribute reductions of concepts and sub-concept lattices (including concept lattice) are formulated via the use of discernibility matrix and discernibility functions. Finally, a real example is used to demonstrate both its feasibility and effectiveness.