Affiliations: School of Mathematics, Physics and Information Science, Zhejiang Ocean University, Zhoushan, Zhejiang 316000, PR China. ltj722@163.com | School of Mathematics, Physics and Information Science, Zhejiang Ocean University, Zhoushan, Zhejiang 316000, PR China. wuwz@zjou.edu.cn
Note: [] Address for correspondence: School of Mathematics, Physics and Information Science, Zhejiang Ocean University, Haiyuan Road 18, Dinghai, Zhoushan, Zhejiang 316000, P.R. China
Abstract: This paper proposes an approach to attribute reduction in formal contexts via a covering rough set theory. The notions of reducible attributes and irreducible attributes of a formal context are first introduced and their properties are examined. Judgment theorems for determining all attribute reducts in the formal context are then obtained. According to the attribute reducts, all attributes of the formal context are further classified into three types and the characteristic of each type is characterized by the properties of irreducible classes of the formal context. Finally, by using the discernibility attribute sets, a method of distinguishing the reducible attributes and the irreducible attributes in formal contexts is presented.
