An axiomatic characterization of a fuzzy generalization of rough sets

In rough set theory, the lower and upper approximation operators defined by a fixed binary relation satisfy many interesting properties. Several authors have proposed various fuzzy generalizations of rough approximations. In this paper, we introduce the definitions for generalized fuzzy lower and upper approximation operators determined by a residual implication. Then we find the assumptions which permit a given fuzzy set-theoretic operator to represent a upper (or lower) approximation derived from a special fuzzy relation. Different classes of fuzzy rough set algebras are obtained from different types of fuzzy relations. And different sets of axioms of fuzzy set-theoretic operator guarantee the existence of different types of fuzzy relations which produce the same operator. Finally, we study the composition of two approximation spaces. It is proved that the approximation operators in the composition space are just the composition of the approximation operators in the two fuzzy approximation spaces.