形式概念分析是用于知识表示和知识发现的一个重要方法.将布尔矩阵方法引入形式概念分析之中,提出布尔形式背景的概念,利用布尔向量和布尔矩阵的蕴含运算,给出了布尔形式概念的定义,研究了布尔形式概念的计算和性质.同时,针对布尔形式背景的与、或和乘积运算,研究对应的布尔形式概念的计算问题.
Formal concept analysis is an approach for knowledge representation and knowledge discovery. Boolean matrix theory is an important mathematical theory. It has been applied to many practical problems, and can also be used for formal concept analysis. In this paper, the notion of Boolean formal context is proposed, and Boolean formal concept is defined via the implication of Boolean vectors and Boolean matrixes. The properties of Boolean formal context are investigated, and the mathematical structure and computation of Boolean formal concepts are examined in detail. Meanwhile, according to three types of Boolean matrix operations, which are meet,join and product, the computation of corresponding Boolean formal concepts is studied.