New Approaches of Rough Sets via Ideals

Abstract

An ideal I on a nonempty set X is a subfamily of P(X) which is closed under finite unions and subsets. In this chapter, a new definition of approximation operators and rough membership functions via ideal has been introduced. The concepts of lower and upper approximations via ideals have been mentioned. These new definitions are comparing with Pawlak's, Yao's and Allam's definitions. It's therefore shown that the current definitions are more generally. Also, it's shown that the present method decreases the boundary region. In addition to these points, the topology generated via present method finer than Allam's one which is a generalization of that obtained by Yao's method. Finally, T1 topological spaces are obtained by relations and ideals which are not discrete.