摘要
为进一步探讨形式背景的属性约简,基于简化的可辨识属性矩阵给出概念格的布尔矩阵的定义,并证明此布尔矩阵的初等行变换与辨识函数的运算是等价的。提出形式背景属性约简的方法以及属性特征的判别方法。
In order to further investigate attribute reduction of formal contexts,the boolean matrix of concept lattice is defined based on the simplified discernibility matrix,and the elementary row transformation of boolean matrixs and the operation of discernibility function are proved to be equivalent.On the basis of above results,the methods of attribute reduction and attribute characteristic judgement are proposed.
作者
万青
马盈仓
杨小飞
WAN Qing;MA Yingcang;YANG Xiaofei(School of Science,Xi′an Polytechnic University,Xi′an 710048,China)
出处
《纺织高校基础科学学报》
CAS
2019年第1期67-72,共6页
Basic Sciences Journal of Textile Universities
基金
国家自然科学基金青年科学基金项目(115013435)
西安工程大学博士科研启动基金(BS1528)
关键词
形式背景
概念格
属性约简
可辨识属性矩阵
布尔矩阵
formal context
concept lattice
attribute reduction
discernibility attribute matrix
boolean matrix
