Fuzzy Reasoning and Rough Sets

Abstract

Fuzzy concepts are represented by fuzzy sets, so a fuzzy knowledge is defined to be a collection of fuzzy sets (concepts) which includes two constants, 1 (true) and 0 (false). Abstractly, a logical derivation is a finite series of logical operations acting on a given knowledge. In fuzzy world, logical operations are defined by mathematical operations. So fuzzy logical derivations are mathematical derivations, and vice versa In this paper, the closure of fuzzy reasoning is characterized by fuzzy rough sets, and by topologies (neighborhood systems). A new fuzzy concept F N is derivable from the old knowledge K iff the membership function of F N is continuous in K-topology, or equivalently, iff F N is a rough fuzzy set (concept) of I N D(K),or plainly, iff the membership function of F N is a “step” function in the sense that it takes a constant value in each equivalence class of I N D(K).A fuzzy set L partitions the universe into equivalence classes; each equivalence class consists of those elements which have the same degree of membership. The indiscernibility relation I N D(K)over K is the “intersection” of all the equivalence relations induced by the fuzzy sets in K. The membership function of a fuzzy set is a real valued function, so U can be given the minimal topology such that the membership function of each fuzzy set in K is a continuous function. Such topology is called K-topology.