Approach to Knowledge Reduction in Formal Context Based on Concept Lattice