Rough set theory was introduced by Pawlak in 1982 to handle imprecision, vagueness, and uncertainty in data analysis. Our aim is to generalize rough set theory by introducing concepts of ⋀β-lower and ⋀β-upper approximations which depends on the concept of ⋀β-sets. Also, we study some of their basic properties.
1. Introduction
Pawlak is credited with creating the “rough set theory” [1], a mathematical tool for dealing with vagueness or uncertainty. Since 1982, the theory and applications of rough set have impressively developed. There are many applications of rough set theory especially in data analysis, artificial intelligence, and cognitive sciences [2–4]. Some basic aspects of the research of rough sets and several applications have recently been presented by Pawlak and Skowron [5, 6]. Rough set theory [5–8] is an extension of set theory in which a subset of a universe is described by a pair of ordinary sets called the lower and upper approximation. Yao [9] classified broadly methods for the development of rough set theory into two classes, namely, the constructive and axiomatic (algebraic) approaches. In constructive methods, lower and upper approximations are constructed from the primitive notions, such as equivalence relations on a universe and neighborhood systems. In rough sets, the equivalence classes are the building blocks for the construction of the lower and upper approximations. The lower approximation of a given set is the union of all the equivalence classes which are subsets of the set, and the upper approximation is the union of all the equivalence classes which have a nonempty intersection with the set. It is well known that a partition induces an equivalence relation on a set and vice versa. The properties of rough sets can thus be examined via either partition or equivalence classes. Rough sets are a suitable mathematical model of vague concepts. The main idea of rough sets corresponds to the lower and upper approximations. Pawlak’s definitions for lower and upper approximations were originally introduced with reference to an equivalence relation. Many interesting properties of the lower and upper approximations have been derived by Pawlak and Skowron [5, 6] based on the equivalence relations. However, the equivalence relation appears to be a stringent condition that may limit the applicability of Pawlak’s rough set model. Many extensions have been made in recent years by replacing equivalence relation or partition by notions such as binary relations [10–12], neighborhood systems, and Boolean algebras [12–16]. Abu-Donia [17] discussed three types of upper (lower) approximations depending on the right neighborhood by using general relation, also generalized this types by using a family of finite binary relations in two ways. Many proposals have been made for generalizing and interpreting rough sets [4, 18–25]. In 1983, Abd El-Monsef et al. [26] introduced the concept of β-open sets. In 1986, Maki [27] has introduced the concept of ⋀-sets in topological spaces as the sets that coincide with their kernel. The kernel of a set A is the intersection of all open supersets of A. In 2004, Noiri and Hatir [28] introduced the ⋀sp-sets (or ⋀β-sets) and investigated some of their properties. In 2008, Abu-Donia and Salama [29] introduced and investigated the concept of β-approximation space. The theory of rough sets can be generalized in several directions. Within the set-theoretic framework, generalizations of the element based definition can be obtained by using nonequivalence binary relations [9, 23, 30–32], generalizations of the granule based definition can be obtained by using coverings [12, 30, 33–35], and generalizations of subsystem based definition can be obtained by using other subsystems [36, 37]. In the standard rough set model, the same subsystem is used to define lower and upper approximation operators. When generalizing the subsystem based definition, one may use two subsystems, one for the lower approximation operator and the other for the upper approximation operator. Yao [24] defined a pair of generalized approximation operators by replacing the equivalence relations with the family of open sets for lower approximation operator "interior operators" and the equivalence relations with the family of closed sets for upper approximation operator “closure operators”. In this paper we used a new subsystem called ⋀β-sets to define new types of lower and upper approximation operators, called ⋀β-lower approximation and ⋀β-upper approximation. We study ⋀β-rough sets, the comparison between this concept and rough sets is studied. Also, we give some counter examples.
2. Basic Concepts
A topological space [10] is a pair (X,τ) consisting of a set X and family τ of subset of X satisfying the following conditions:
(1) ϕ,X∈τ,
(2) τ is closed under arbitrary union,
(3) τ is closed under finite intersection.
The pair (X,τ) is called a topological space, the elements of X are called points of the space, the subsets of X belonging to τ are called open sets in the space, and the complement of the subsets of X belonging to τ are called closed set. The family τ of open subsets of X is also called a topology for X.
A¯=⋂{F⊆X:A⊆FandFisclosed} is called τ-closure of a subset A⊂X.
Evidently, A¯ is the smallest closed subset of X which contains A. Note that A is closed if and only if A=A¯.
A∘=⋃{G⊆X:G⊆AandGisopen} is called the τ-interior of a subset A⊆X.
Evidently, A∘ is the union of all open subsets of X which containing in A. Note that A is open if and only if A=A∘. And b(A)=A¯-A∘ is called the τ-boundary of a subset A⊆X.
Let A be a subset of a topological spaces (X,τ). Let A¯, A∘ and b(A) be closure, interior, and boundary of A, respectively. A is exact if b(A)=ϕ, otherwise A is rough. It is clear A is exact if and only if A¯=A∘.
Definition 1 (see [26]).
A subset A of a topological space (X,τ) is called β-open if A⊆(A¯)∘¯.
The complement of β-open set is called β-closed set. We denote the family of all β-open (resp., β-closed) sets by βO(X) (resp., βC(X)).
Remark 2.
For any topological space (X,τ), we have τ⊆βO(X)
Definition 3 (see [28]).
Let A be a subset of a topological space (X,τ). A subset ⋀β(A) is defined as follows: ⋀β(A)=∩{G:A⊆G,G∈βO(X)}.
The complement of ⋀β(A)-set is called ⋁β(A)-set.
Noiri and Hater [28] stated some properties of ⋀β(A) in the following lemma.
Lemma 4.
For subsets A,B, and Aα (α∈Δ) of a topological space (X,τ), the following hold.
A⊆⋀β(A).
If A⊂B, then ⋀β(A)⊆⋀β(B).
⋀β(⋀β(A))=⋀β(A).
If A∈βO(X), A=⋀β(A).
⋀β(⋃{Aα:α∈Δ})=⋃{⋀β(Aα):α∈Δ}.
⋀β(⋂{Aα:α∈Δ})⊆⋂{⋀β(Aα):α∈Δ}.
Definition 5.
A subset A of a topological space (X,τ) is called ⋀β-set if A=⋀β(A).
Lemma 6.
For subsets A and Aα,α∈Δ of a topological space (X,τ), the following hold.
⋀β(A) is ⋀β-set.
If A is β-open, then A is ⋀β-set.
If Aa is ⋀β-set for each α∈Δ, then ⋃α∈ΔAa is ⋀β-set.
If Aa is ⋀β-set for each α∈Δ, then ⋂α∈ΔAa is ⋀β-set.
Definition 7.
Let (X,τ) be a topological space the subset A⊆X is called:
α-open [38] if ⊆A∘¯∘,
Preopen [39] if ⊆(A¯)∘.
Remark 8.
the class of all ⋀β-sets is stronger than open (resp., α-open, preopen, and β-open) sets as shown in the following diagram:
(1)Open→α-open→Preopen→β-open→⋀β-set.
Motivation for rough set theory has come from the need to represent subsets of a universe in terms of equivalence classes of a partition of that universe. The partition characterizes a topological space, called approximation space K=(X,R), where X is a set called the universe and R is an equivalence relation [2]. The equivalence classes of R are also known as the granules, elementary sets, or blocks; we will use Rx⊆X to denote the equivalence class containing x∈X. In the approximation space, we consider two operators
(2)R¯(A)={x∈X:Rx∩A≠ϕ},R_(A)={x∈X:Rx⊆A},
called the lower approximation and upper approximation of A⊆X, respectively. Also let POSR(A)=R_(A) denote the positive region of A, NEGR(A)=X-R¯(A) denote the negative region of A and BNR(A)=R¯(A)-R_(A) denote the borderline region of X.
Let X be a finite nonempty universe, A⊆X, the degree of completeness can also be characterized by the accuracy measure as follows: (3)αR(A)=|R_(A)||R¯(A)|,A≠ϕ,
where |·| represents the cardinality of set. Accuracy measures try to express the degree of completeness of knowledge. αR(A) is able to capture how large the boundary region of the data sets is; however, we cannot easily capture the structure of the knowledge. A fundamental advantage of rough set theory is the ability to handle a category that cannot be sharply defined given a knowledge base. Characteristics of the potential data sets can be measured through the rough sets framework. We can measure inexactness and express topological characterization of imprecision with the following.
If R_(A)≠ϕ and R¯(A)≠X, then A is roughly R-definable.
If R_(A)=ϕ and R¯(A)≠X, then A is internally R-undefinable.
If R_(A)≠ϕ and R¯(A)=X, then A is externally R-undefinable.
If R_(A)=ϕ and R¯(A)=X, then A is totally R-undefinable.
We denote the set of all roughly R-definable (resp., internally R-undefinable, externally R-undefinable, and totally R-undefinable) sets by RD(X) (resp., IUD(X), EUD(X), and TUD(X)).
With αR(A) and classifications above we can characterize rough sets by the size of the boundary region and structure. Rough sets are treated as a special case of relative sets and integrated with the notion of Belnap’s logic [22].
Remark 9.
We denote the relation which used to get a subbase for a topology τ on X and a class of β-open sets (βO(X)) by Rβ. Also, we denote β-approximation space by (X,Rβ).
Definition 10.
Let (X,Rβ) be a β-approximation space β-lower (resp., β-upper) approximation of any nonempty subset A of X is defined as:
R_β(A)=⋃{G∈βO(X):G⊆A},
R¯β(A)=⋂{F∈βC(X):F⊇A}.
We can get the the β-approximation operator as follows.
Get the right neighborhoods xR from the given relation R as xR={y:xRy}.
Using right neighborhoods xR as a sub-base to get the topology τ.
Using the open sets in the topology τ to get the family of β-open sets “from Definition 1.”
Using the set of all β-open sets to get β-approximation operators (from Definition 10).
Definition 11.
Let (X,Rβ) be a β-approximation space and A⊆X. Then there are memberships ∈_, ∈-, ∈_β, and ∈¯β, say, strong, weak, β-strong, and β-weak memberships respectively which defined by
x∈_A iff x∈R_(A),
x∈¯A iff x∈R¯(A),
x∈_βA iff x∈R_β(A),
x∈¯βA iff x∈R¯β(A).
Remark 12.
According to Definition 11, β-lower and β-upper approximations of a set A⊆X can be written as
R_β(A)={x∈A:x∈_βA},
R¯β(A)={x∈A:x∈¯βA}.
Definition 13.
Let (X,Rβ) be a β-approximation space and A⊆X. the β-accuracy measure of A defined as follows:
(4)αRβ(A)=|R_β(A)||R¯β(A)|,A≠ϕ.
Definition 14.
Let (X,Rβ) be a β-approximation space, the set A⊆X is called
roughly Rβ-definable, if R_β(A)≠ϕ and R¯β(A)≠X,
internally Rβ-undefinable, if R_β(A)=ϕ and R¯β(A)≠X,
externally Rβ-undefinable, if R_β(A)≠ϕ and R¯β(A)=X,
totally Rβ-undefinable, if R_β(A)=ϕ and R¯β(A)=X.
We denote the set of all roughly Rβ-definable (resp., internally Rβ-undefinable, externally Rβ-undefinable, and totally Rβ-undefinable) sets by βRD(X) (resp., βIUD(X), βEUD(X) and βTUD(X)).
Remark 15.
For any β-approximation space (X,Rβ) the following hold:
βRD(X)⊇RD(X),
βIUD(X)⊆IUD(X),
βEUD(X)⊆EUD(X),
βTUD(X)⊆TUD(X).
3. A New Type of Rough Classification Based on ⋀β-Sets
In this section, we introduced and investigated the concept of ⋀β-approximation space. Also, we introduce the concepts of ⋀β-lower approximation and ⋀β-upper approximation for any subset and study their properties.
Remark 16.
We denote the relation which used to get a subbase for a topology τ on X and a class of ⋀β-sets by R∧β. Also, we denote⋀β-approximation space by (X,R∧β).
Example 17.
Let X={a,b,c,d} be a universe and a relation R∧β defined by R∧β={(a,a),(a,c),(a,d),(b,b),(b,d),(c,a),(c,b),(c,d),(d,a)}, thus aR∧β={a,c,d}, bR∧β={b,d}, cR∧β={a,b,d}, and dR∧β={a}. Then the topology associated with this relation is τ={X,ϕ,{a},{d}{a,d},{b,d},{a,b,d},{a,c,d}} and ⋀β-sets = {X,ϕ,{a},{c},{d},{a,c}{a,d},{b,d},{c,d},{a,b,d},{a,c,d},{b,c,d}}. So (X,R∧β) is a ⋀β-approximation space.
Definition 18.
Let (X,R∧β) be a ⋀β-approximation space. ⋀β-lower approximation and ⋀β-upper approximation of any nonempty subset A of X is defined as
⋀_β(A)=⋃{G:Gis⋀β-set,G⊆A},
⋀¯β(A)=⋂{F:Fis⋁β-set,F⊇A}.
The following proposition shows the properties of ⋀β-lower approximation and ⋀β-upper approximation of any nonempty subset.
Proposition 19.
Let (X,R∧β) be a ⋀β-approximation space and A,B⊆X. Then:
⋀_β(A)⊆A⊆⋀¯β(A),
⋀_β(ϕ)=⋀¯β(ϕ)=ϕ, ⋀_β(X)=⋀¯β(X)=X,
IfA⊆Bthen⋀_β(A)⊆⋀_β(B)and⋀¯β(A)⊆⋀¯β(B),
⋀_β(X∖A)=X∖⋀¯β(A),
⋀¯β(X∖A)=X∖⋀_β(A),
⋀_β(⋀_β(A))=⋀_β(A),
⋀¯β(⋀¯β(A))=⋀¯β(A),
⋀_β(⋀_β(A))⊆⋀¯β(A)),
⋀_β(⋀¯β(A))⊆⋀¯β(⋀¯β(A)),
⋀_β(A∪B)⊇⋀_β(A)∪⋀_β(B),
⋀¯β(A∪B)⊇⋀¯β(A)∪⋀¯β(B),
⋀_β(A∩B)⊆⋀_β(A)∩⋀_β(A),
⋀¯β(A∩B)⊆⋀¯β(A)∩⋀¯β(B).
Definition 20.
Let (X,R∧β) be a ⋀β-approximation space. The Universe X can be divided into 24 regions with respect to any A⊆X as follows.
The internal edg of A, Edg_(A)=A-R_(A).
The β-internal edg of A, βEdg_(A)=A-R_β(A).
The ⋀β-internal edg of A, ⋀βEdg_(A)=A-⋀_β(A).
The external edg of A, Edg¯(A)=R¯(A)-A.
The β-external edg of A, βEdg¯(A)=R¯β(A)-A.
The ⋀β-external edg of A, ⋀βEdg¯(A)=⋀¯β(A)-A.
The boundary of A, b(A)=R¯(A)-R_(A).
The β-boundary of A, βb(A)=R¯β(A)-R_β(A).
The ⋀β-boundary of A, ⋀βb(A)=⋀¯β(A)-⋀_β(A).
The exterior of A, ext(A)=X-R¯(A).
The β-exterior of A, βext(A)=X-R¯β(A).
The ⋀β-exterior of A, ⋀βext(A)=X-⋀¯β(A).
R¯(A)-R_β(A).
R¯(A)-⋀_β(A).
R¯(A)-⋀¯β(A).
R¯β(A)-R_(A).
R¯β(A)-⋀_β(A)
R¯β(A)-⋀¯β(A).
R_β(A)-R_β(A).
⋀¯β(A)-R_β(A).
⋀¯β(A)-R_(A).
⋀_β(A)-R_β(A).
⋀_β(A)-R_(A).
R¯(A)-R¯β(A).
Remark 21.
As shown in Figure 1, the study of ⋀_β-approximation spaces is a generalization for study of approximation spaces. Because of the elements of the regions [R_β(A)-R_(A)], [⋀_β(A)-R_β(A)], and [⋀_β(A)-R_(A)] will be defined well in A, while this points was undefinable in Pawlak’s approximation spaces. Also, the elements of the region [R¯(A)-⋀_β(A)], [R¯β(A)-⋀¯β(A)], and [R¯(A)-R¯β(A)] do not be belong to A, while these elements was not well defined in Pawlak’s approximation spaces.
Figure 1 shows the above 24 regions.
Theorem 22.
For any topological space (X,τ) generated by a binary relation R on X, we have, R_(A)⊆R_β(A)⊆⋀_β(A)⊆A⊆⋀¯β(A)⊆R¯β(A)⊆R¯(A).
Proof.
R_(A)=⋃{G∈τ:G⊆A}⊆⋃{G∈βO(X):G⊆A}=R_β(A)⊆⋃{G∈⋀β-set:G⊆A}=⋀_β(A)⊆A, that is, R_(A)⊆R_β(A)⊆⋀_β(A)⊆A.
Also, R¯(A)=⋂{F∈τc:F⊇A}⊇⋂{F∈βC(X):F⊇A}=R¯β(A)⊇
⋂{F∈⋁β-set:F⊇A}=⋀¯β(A)⊇A, that is, R¯(A)⊇R¯β(A)⊇⋀¯β(A)⊇A.
Let (X,R∧β) be a ⋀β-approximation space and A⊆X. Then there are memberships ∈_∧β and ∈¯∧β, say, ⋀β-strong and ⋀β-weak memberships respectively which defined by
x∈_∧βA iff x∈⋀_β(A),
x∈¯∧βA iff x∈⋀¯β(A).
Remark 24.
According to Definition 28, ⋀β-lower and ⋀β-upper approximations of a set A⊆X can be written as
⋀_β(A)={x∈A:x∈_∧βA},
⋀¯β(A)={x∈A:x∈¯∧βA}.
Remark 25.
Let (X,R∧β) be a ⋀β-approximation space and A⊆X. Then
x∈¯A⇒x∈_βA⇒x∈_∧βA,
x∈¯∧βA⇒x∈¯βA⇒x∈¯A.
The converse of Remark 25 may not be true in general as seen in the following example.
Example 26.
In Example 17. Let A={b,c}, we have c∈_∧βA but c∉_βA. Let A={c,d}, c∈_βA but c∉_A. Let A={d} we have c∈¯A but c∉¯βA. Let A={a,d}, c∈¯βA but c∉¯∧βA.
Let X be a finite nonempty universe, A⊆X, we can characterize the degree of completeness by a new tool named ⋀β-accuracy measure defined as follows
(5)α∧β(A)=|⋀_β(A)||⋀¯β(A)|,A≠ϕ.
Example 27.
In Example 17, we can deduce the following table showing the degree of accuracy measure αR(A), β-accuracy measure αRβ(A) and ⋀β-accuracy measure α∧β(A) for some sets, see Table 1.
We see that the degree of exactness of the set A={a,c} by using accuracy measure equal to 50%, by using ⋀β-accuracy measure equal to 100%. Also, the set A={a,b,d} by using β-accuracy measure equal to 75% and by using ⋀β-accuracy measure equal to 100%. Consequently ⋀β-accuracy measure is better than accuracy and β-accuracy measures in this case.
We investigate ⋀β-rough equality and ⋀β-rough inclusion based on rough equality and inclusion which introduced by Novotný and Pawlak in [7, 40].
The set A⊆X
αR(A)
αRβ(A)
α∧β(A)
{a}
1/2
1
1
{b}
0
0
0
{c}
0
0
1
{d}
1/3
1/2
1/2
{a,b}
1/3
1/2
1/2
{a,c}
1/2
1
1
{a,d}
1/2
1/2
2/3
{b,c}
0
0
1/2
{b,d}
2/3
1
1
{c,d}
1/3
2/3
2/3
{a,b,c}
1/3
2/3
2/3
{a,b,d}
3/4
3/4
1
{a,c,d}
3/4
3/4
3/4
{b,c,d}
2/3
1
1
Definition 28.
Let (X,R∧β) be a ⋀β-approximation space, A,B⊆X. Then we say that A and B are
⋀β-roughly bottom equal (A~-∧βB) if ⋀_β(A)=⋀_β(B),
⋀β-roughly top equal (A≃∧βB) if ⋀¯β(A)=⋀¯β(B),
⋀β-roughly equal (A≈∧βB) if (A~-∧βB) and (A≃∧βB).
Example 29.
In Example 17, we have the sets {a,c}, {a,b,c} are ⋀β-roughly bottom equal and {c,d}, {b,c,d} are ⋀β-roughly top equal.
Definition 30.
Let (X,R∧β) be a ⋀β-approximation space, A,B⊆X. Then we say that
A is ⋀β-roughly bottom included in B(A⊂~∧βB) if ⋀_β(A)⊆⋀_β(B),
A is ⋀β-roughly top included in B(A⊂~∧βB) if ⋀¯β(A)⊆⋀¯β(B).
A is ⋀β-roughly included in B(A⊂~~∧βB) if (A⊂~∧βB) and (A⊂~∧βB).
Example 31.
In Example 17, we have {b,c} is ⋀β- roughly bottom included in {a,b,c}. Also, {b,c} is ⋀β- roughly top included in {a,b,c}. Also, {b,c} is ⋀β-roughly included in {a,b,c}.
4. ⋀β-Rough Sets
We introduced a new concept of ⋀β-rough set.
Definition 32.
For any ⋀β-approximation space (X,R∧β), a subset A of X is called:
⋀β-definable (⋀β-exact) if ⋀¯β(A)=⋀_β(A),
⋀β-rough if ⋀¯β(A)≠⋀_β(A).
Example 33.
Let (X,R∧β) be a ⋀β-approximation space as in Example 17. We have the set {c} is ⋀β-exact while {c,d} is ⋀β-rough set.
Proposition 34.
Let (X,R∧β) be a ⋀β-approximation space. Then
every exact set in X is β-exact,
every β-exact set in X is ⋀β-exact,
every ⋀β-rough set in X is β-rough,
every β-rough set in X is rough.
Proof.
Obvious.
The converse of all parts of Proposition 34 may not be true in general as seen in the following example.
Example 35.
Let (X,R∧β) be an ⋀β-approximation space as in Example 17. Then the set {b,d} is β-exact but not exact, the set {c} is ⋀β-exact but not β-exact, the set {c} is β-rough but not ⋀β-rough and the set {a,c} is rough but not β-rough.
Definition 36.
Let (X,R∧β) be a ⋀β-approximation space, the set A⊆X is called:
roughly ⋀β-definable, if ⋀_β(A)≠ϕ and ⋀¯β(A)≠X,
internally ⋀β-undefinable, if ⋀_β(A)=ϕ and ⋀¯β(A)≠X,
externally ⋀β-undefinable, if ⋀_β(A)≠ϕ and ⋀¯β(A)=X,
totally ⋀β-undefinable, if ⋀_β(A)=ϕ and ⋀¯β(A)=X.
We denote the set of all roughly ⋀β-definable (resp., internally ⋀β-undefinable, externally ⋀β-undefinable and totally ⋀β-undefinable) sets by ⋀βRD(X) (resp., ⋀βIUD(X), ⋀βEUD(X) and ⋀βTUD(X)).
Remark 37.
For any ⋀β-approximation space (X,R∧β). The following are hold:
⋀βRD(X)⊇βRD(X)⊇RD(X),
⋀βIUD(X)⊆βIUD(X)⊆IUD(X),
⋀βEUD(X)⊆βEUD(X)⊆EUD(X),
⋀βTUD(X)⊆βTUD(X)⊆TUD(X).
Example 38.
In Example 17, we have the set {a,d}∈⋀βRD(X) but {a,d}∉βRD(X). The set {c}∈βIUD(X) but {c}∉⋀βIUD(X). The set {a,b,d}∈βEUD(X) but {a,b,d}∈⋀βEUD(X).
5. Conclusion
In this paper, we used the class of ⋀β-sets to introduce a new type of approximations named ⋀β-approximation operator. Also, using ⋀β-approximation we can obtain 24 dissimilar granules of the universe of discourse. Our approach is the largest granulation based on β-open sets in topological spaces. This made the accuracy measures higher than the use of any type of near open sets such as, α-open, β-open, and preopen sets. Some important properties of the classical. Pawlak’s rough sets are generalized. Also, we defined the concept of rough membership function using ⋀β-sets. It is a generalization of classical rough membership function of Pawlak rough sets. The generalized rough membership function can be used to analyze which decision should be made according to a conditional attribute in decision information system. The rough set approach to approximation of sets leads to useful forms of granular computing that are part of computational intelligence.
PawlakZ.Rough sets198211534135610.1007/BF01001956703291ZBL0525.04005PawlakZ.1991Boston, Mass, USAKluwer AcademicPolkowskiL.SkowronA.199819Heidelberg, GermanyPhysicalStudies in Fuzziness and Soft ComputingSlowinskiR.VanderpootenD.A generalized definition of rough approximations based on similarity2000122331336PawlakZ.SkowronA.Rough sets: some extensions20071771284010.1016/j.ins.2006.06.0062272733ZBL1142.68550PawlakZ.SkowronA.Rudiments of rough sets2007177132710.1016/j.ins.2006.06.0032272732ZBL1142.68549NovotnýM.PawlakZ.On rough equalities1985331-299104798734ZBL0569.68084PattaraintakornP.CerconeN.A foundation of rough sets theoretical and computational hybrid intelligent system for survival analysis20085671699170810.1016/j.camwa.2008.04.0302445314ZBL1152.68571YaoY. Y.Constructive and algebraic methods of the theory of rough sets19981091–4214710.1016/S0020-0255(98)00012-71634596ZBL0934.03071KelleyJ. L.1955London, UKD. Van Nostrand Companyxiv+2980070144WiwegerA.On topological rough sets1989371-689931101455ZBL0755.04010YaoY. Y.Relational interpretations of neighborhood operators and rough set approximation operators19981111–423925910.1016/S0020-0255(98)10006-31649908ZBL0949.68144BoixaderD.JacasJ.RecasensJ.Upper and lower approximations of fuzzy sets200029455556810.1080/030810700089609611807520ZBL0955.03056WuW.-Z.ZhangW.-X.Neighborhood operator systems and approximations20021441–420121710.1016/S0020-0255(02)00180-91930160ZBL1019.68109YangY.JohnR. I.Generalisation of roughness bounds in rough set operations200848386887810.1016/j.ijar.2008.02.0022437956ZBL1189.03065YaoY. Y.Two views of the theory of rough sets in finite universes199615429131710.1016/S0888-613X(96)00071-01431661ZBL0935.03063Abu-DoniaH. M.Comparison between different kinds of approximations by using a family of binary relations20082189119192-s2.0-5494908925510.1016/j.knosys.2008.03.046Abu-DoniaH. M.NasefA. A.MaraiE. A.Finite information systems20071113212299663ZBL1138.94335FoteaV. L.The lower and upper approximations in a hypergroup2008178183605361510.1016/j.ins.2008.05.0092438097ZBL1156.68585GrecoS.MatarazzoB.SlowinskiR.Rough approximation by dominance relations20021721531712-s2.0-003647210210.1002/int.10014MinF.LiuQ.FangC.Rough sets approach to symbolic value partition200849368970010.1016/j.ijar.2008.07.0022475269ZBL1184.68518MousaviA.Jabedar-MaralaniP.Relative sets and rough sets20011136376531866103ZBL0986.03042YaoY. Y.Generalized rough set models199818Heidelberg, GermanyPhysica2863181679381ZBL0946.68137YaoY.Y.On generalized rough set theory2639Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC '03)20034451Lecture Notes in Artificial IntelligenceYaoY.ChenY.Subsystem based generalizations of rough set approximations200534882102182-s2.0-26944433797Abd El-MonsefM. E.El-DeebS. N.MahmoudR. A.β-open sets and β-continuous mapping19831217790828081MakiH.Generalized Λ-sets and the associated clouser operatorThe special issue in commeration of prof. Kazusada Ikeda’s retirement, pp. 139–146, 1986NoiriT.HatirE.Λsp-sets and some weak separation axioms2004103322523210.1023/B:AMHU.0000028409.42549.722061619ZBL1059.54004Abu-DoniaH. M.SalamaA. S.β-approximation spaces200812PomykałaJ. A.Approximation operations in approximation space1987359-10653662937744ZBL0642.54002YaoY. Y.LinT. Y.Generalization of rough sets using modal logic19962103120YaoY. Y.WongS. K. M.LinT. Y.LinT. Y.CerconeN.A review of rough set models1997Boston, Mass, USAKluwer Academic Publishers4775Wybraniec-SkardowskaU.On a generalization of approximation space1989371–651621101451ZBL0755.04011YaoY. Y.Information granulation and rough set approximation20011687104ŻakowskiW.Approximations in the space (U,Π)1983163761769733737ZBL0553.04002YaoY. Y.On generalizing Pawlak approximation operators1424Proceedings of the 1st International Conference on Rough Sets and Current Trends in Computing (RSCTC' 98)1998298307Lecture Notes in Computer ScienceYaoY. Y.WangT.On rough relations: an alternative formulation1711Proceedings of the 7th International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing19998290Lecture Notes in Artificial IntelligenceNjastadO.On some classes of nearly open sets196515961970019504010.2140/pjm.1965.15.961MashhourA. S.Abd El-MonsefM. E.El-DeebS. N.On pre-continuous and week pre-continuous mappings1982534753NovotnýM.PawlakZ.Characterization of rough top equalities and rough bottom equalities1985331-29197798733ZBL0569.68083