Approach to Knowledge Reduction in Formal Context Based on Concept Lattice

Formal concept analysis of binary relations has proved to be useful in resolve of many problems of theoretical or interest. This paper deals with approach to knowledge reduction in formal context based on object oriented concept lattice and attribute oriented concept lattice. The concept of consistent set in formal context is first introduced and its equivalent definitions are given. The judgment theorem and discernibility matrix associated with formal context reducts are established, from which we can provide the approach to knowledge reduction in formal context