摘要： 给出形式背景新的差别矩阵，利用差别矩阵定义概念与子概念格的特征函数，得到形式背景属性协调集及概念格中存在相似概念的判定定理。采用差别矩阵和特征函数，设计计算概念与子概念格(包括概念格)属性约简的方法，通过实例表明该约简方法的可行性与有效性。

关键词: 形式背景, 子概念格, 特征函数, 属性约简, 差别矩阵

Abstract: This paper proposes a discernibility matrix of a formal context. By using the discernibility matrix, the characteristic functions of concepts and sub-concept lattices are defined. The judgement theorems for consistent sets in formal context and similarity concept in concept lattices are examined. At the same time, an approach for calculating all attribute reducts of concept and sub-concept lattices (including concept lattice) are formulated via the use of discernibility matrix and characteristic functions. A real example is used to demonstrate both its feasibility and effectiveness.

Key words: formal context, sub-concept lattice, characteristic function, attribute reduction, discernibility matrix

中图分类号: 

• TP18