New Soft Rough Set Approximations

Shawkat Alkhazaleh and Emad A. Marei

doi:10.5391/IJFIS.2021.21.2.123

Original Article

Split Viewer

International Journal of Fuzzy Logic and Intelligent Systems 2021; 21(2): 123-134

Published online June 25, 2021

https://doi.org/10.5391/IJFIS.2021.21.2.123

New Soft Rough Set Approximations

Shawkat Alkhazaleh¹ and Emad A. Marei²

¹Department of Mathematics, Faculty of Science and Information Technology, Jadara University, Irbid, Jordan
²Department of Mathematics, Faculty of Science and Art, Shaqra University, Shaqra, Saudi Arabia

Correspondence to :
Shawkat Alkhazaleh (shmk79@gmail.com)

Received: December 18, 2020; Revised: April 10, 2021; Accepted: April 30, 2021

This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc/3.0/) which permits unrestricted noncommercial use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

The soft rough set model was introduced by Fing in 2011 and can be considered as a generalized rough set model, in which an interesting connection was established between two mathematical approaches to vagueness: rough sets and soft sets. It was also shown that Pawlak’s rough set model can be viewed as a special case of soft rough sets. There are two problems with this model in using this concept in real-life applications. The first problem is that some soft rough sets are not contained in their upper approximations, which contradicts Pawlak’s thoughts. The second problem is that the boundary region of any considered set, in the soft rough set model, must be decreased to make it possible to take a true decision of any application problem. In this study, the soft rough set model is modified to solve these problems. The basic properties of the modified approximations are introduced and supported with propositions and illustrative examples. Modified concepts can be viewed as a general mathematical model for qualitative and quantitative real-life problems. A comparison between the suggested approach to soft rough sets and the traditional soft rough set model is provided.

Keywords: Rough sets, Rough concepts, Soft sets, Soft rough sets, Rough set approximations, Soft rough set approximations

1. Introduction

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

The crisp in mathematics is the most important requirement in classical mathematics, whereas real-life problems involve imprecise data; thus, the solution to these problems involves the use of mathematical principles based on uncertainty (not crisp). Therefore, many scientists and engineers have been interested in vagueness modeling to describe and debrief useful information hidden in uncertain data. Therefore, many engineers and scientists have been interested in ambiguity modeling to describe and extract useful information hidden in unconfirmed data. In recent years, they have proposed a set of theories that help them deal with this uncertainty, such as fuzzy set theory [1], intuitionistic fuzzy set theory [2], vague set theory [3], and theory of interval mathematics [4].

Molodtsov [5] in 1999 proposed the soft set theory as a new mathematical tool for dealing with uncertainties. Therefore, researchers rush to study this concept and try to develop it, and then find applications to solve the uncertainties of some life problems. The application of soft set theory was proposed by Maji et al. [6] to solve the decision-making problem, and they also generalized the classical soft sets to fuzzy soft sets [7]. In 2009, Yang et al. [8] introduced the concept of the interval-valued fuzzy soft set, which is a combination of an interval-valued fuzzy set and a soft set. They illustrated an example to show the validity of the interval-valued fuzzy soft set in a decision-making problem. Chen et al. [9] defined a parameter reduction of soft sets and applied it to solve a decision-making problem. They also provided the basic difference between the parameterization reduction of soft sets and attribute reduction in rough sets. Recently, researchers have improved the novel soft set theory in many papers, such as [10?16].

Pawlak [17] in 1982 introduced the concept of rough set theory for the first time and initiated it as a mathematical tool dealing with uncertainties and as a new approach toward soft computing, finding a wide application with vagueness and granularity in information systems. It successfully discovers hidden patterns in a data system, based on what is already known by managing the vagueness in it. In classical rough set theory, objects can be classified by the meaning of their attributes (features) under an equivalence relation. In [17], the author replaced the vague concept with a pair of precise sets, namely, lower and upper approximations. This theory deals with the approximation of an arbitrary subset of a universe by two definable subsets, lower and upper approximations, which is well-known as an equivalence class. Researchers have addressed the problem of using rough set theory in real-life applications, which is that equivalence relations cannot be used to solve real-life applications. Hence, researchers and engineers, such as Slowinski and Vanderpooten [18], have attempted to solve this problem based on the ambiguity concept and proposed new definitions of lower and upper approximations that differ from classical definitions of approximations. In their paper, Yao and Wong [19] presented a systematic method for the construction of relations on the universe of objects based on their relationships with their properties, which is a generalization of Pawlak rough sets. Many extensions of rough set theory have been made on coverings [20,21]. In their study, Kim and Kim [22] investigated the properties of rough approximations defined by preordered sets. They studied the relations among the lower and upper rough approximations, closure and interior systems, and closure and interior operators. In 2015, Yun and Lee [23] introduced and investigated some properties of intuitionistic fuzzy rough approximation operators and intuitionistic fuzzy relations by means of topology. Yao [24] studied approximation operators and formulated approximation spaces in the context of set theory. Skowron and Stepaniuk [25] generalized the approximation space to tolerance approximation spaces by using lower and upper set approximations. Greco et al. [26] proposed a dominance-based rough set approach to deal with multicriteria classification. This approach takes into account preference orders in the domains of attributes and set of decision classes, so it is different from the classic rough set approach. Subsequently, many studies used rough approximation based on tolerance relation to derive decision rules in incomplete information systems, such as [27]. Recently, many researchers developed a rough set model and applied it to solve many real-life problems [28?35].

Feng et al. [36] introduced a soft rough set model and demonstrated its properties. In addition, they construed that the classical rough set model can be viewed as a special case of the soft rough set model. Subsequently, many researchers studied this concept [37] and presented abundant hybrid models through the combination of different types of sets, such as fuzzy sets, soft sets, and rough sets, to take advantage of each other and handle uncertainties. In 2018, Chatterjee et al. [38] integrated the opinions of both decision-makers and the company’s stake to select the best supplier; these opinions were taken as fuzzy soft sets and integrated by the rough approximation theory. In 2019, to handle all types of uncertainty in data to simultaneously exploit the advantages of rough sets and neutrosophic soft sets, Al-Quran et al. [39] introduced a new rough set model based on a neutrosophic soft set. Riaz et al. [40] in 2020 used a neutrosophic soft rough set to introduce the notion of a neutrosophic soft rough topology, and Ayub et al. [41] in 2020 introduced a pair of two soft sets, viz. soft lower and soft upper approximation spaces by applying the normal soft groups corresponding to each parameter.

However, back to the main concept defined by Feng et al. [36], there are two problems with using this concept in real-life applications. The first problem is that some soft rough sets are not contained in their upper approximations. This contradicts Pawlak’s thoughts. In the study of Pawlak [17], the real meaning of the lower approximation (resp. upper approximation) of any considered set is the elements, which are, surly (resp. may be) belonging to this set. Consequently, every rough set must be contained in its upper approximation. The second problem is that the boundary region of any considered set, in the soft rough set model, must be decreased to make it possible to take a true decision of any application problem, in an obvious view.

In this study, we modified the concept of soft rough sets to solve the previous problems. The properties of this modification model were proved, and classical rough concepts are redefined. Moreover, we support this modification with proven propositions and many other examples. Finally, a comparative analysis between the soft rough set model and the proposed modified model is presented.

2. Preliminaries

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

In this section, we recall the definition of the information system, soft set, rough set, and soft rough set approximations with their properties.

Definition 2.1 ([42])

Pawlak and Skowron [42] defined the information system as a quadruple IS = (U, A, V, f), such that U ≠ ?? is a set of finite objects, E ≠ ?? is a set of finite attributes, V = ∪{V_e, e ∈ E}, V_e is the value set of attribute e, and f : U × E → V, the information (knowledge) function.

Let U be a universe and E be a set of parameters where P(U) be the power set of U and A ⊆ E.

Definition 2.2 ([43])

Let F be a mapping

F : A \to P ? (U) .

Then, a pair (F,A) is called a soft set over U.

In the study of Pawlak [17], vague concepts were replaced by a pair of precise concepts, namely, lower and upper approximations. To explain this, let U be a set of universe and E be an equivalence relation. The space (U,E) is called the Pawlak approximation space. Now, let X ⊆ U be any vague concept with respect to E. Pawlak [17] introduced the following definitions and propositions to describe these concepts.

Definition 2.3

[x]_E is an equivalence class of an element x ∈ U, determined by the equivalence relation E, where

{[x]}_{E} = {x^{'} \in U : E (x) = E (x^{'})} .

Definition 2.4

The lower approximations E(X) of X ⊆ U are defined as follows:

\underline{E} (X) = \cup {{[x]}_{E} : {[x]}_{E} \subseteq X} .

The upper approximation ?(X) of X ⊆ U is defined as follows:

\overset{?}{E} (X) = \cup {{[x]}_{E} : {[x]}_{E} \cap X \neq φ},

The boundary approximations BND_E (X) of X ⊆ U are defined as follows:

{B N D}_{E} (X) = \overset{?}{E} (X) - \underline{E} (X) .

Definition 2.5

The accuracy measure of the degree of crispness for any X ⊆ U is denoted by α_E (X) and is defined as follows:

α_{E} (X) = \frac{? \underline{E} (X) ?}{? \overset{?}{E} (X) ?}, \overset{?}{E} (X) \neq ? .

Clearly, for 0 ≤ α_E (X) ≤ 1. X is a crisp set if ?(X) = E(X) with respect to E; otherwise, X is a rough set.

Definition 2.6

The rough membership relations to X ⊆ U for any element x ∈ U are defined as follows:

If? x \in \underline{E} (A) \Rightarrow x \underline{\in} X, ? and?if? x \in \overset{?}{E} (A) \Rightarrow x \overset{?}{\in} A .

Definition 2.7

For any two subsets X, Y ⊆ U, rough inclusion relations are defined as follows:

\begin{array}{l} X \underline{\subseteq} Y, if? \underline{E} (X) \subseteq \overline{E} (Y), \\ X \overset{?}{\subseteq} Y, if? \overset{?}{E} (X) \subseteq \overset{?}{E} (Y) . \end{array}

In the next proposition, Pawlak [17] gave the properties of its approximations as below:

Proposition 2.1

Let X, Y ⊆ U, and let (U,E) be a Pawlak approximation space. Then:

(1) E(X) ⊆ X ⊆ ?(X).
(2) E(φ) = φ = ? (φ) and E(U) = U = ? (U).
(3) ? (X ∪ Y) = ? (X) ∪ ? (Y).
(4) E(X ∩ Y) = E(X) ∩ E(Y).
(5) X ⊆ Y, then E(X) ⊆ E(Y) and ? (X) ⊆ ? (Y).
(6) E(X ∪ Y) ⊇ E(X) ∪ E(Y).
(7) ? (X ∩ Y) ⊆ ? (X) ∩ ? (Y).
(8) E(U \ X) = U \ ? (X).
(9) ? (U \ X) = U \ E(X).
(10) E(E(X)) = ? (E(X)) = E(X).
(11) ? (? (X)) = E(? (X)) = ? (X).

The following definitions and results relate to the soft rough set approximations and their properties: most of these definitions and results can be found in [36].

Definition 2.8

Let P = (U, S) be a soft approximation space, where S = (F,A) be a soft set over U. Then, soft rough lower, soft rough upper, and soft rough boundary approximations based on the soft approximation space P are given as follows:

\begin{array}{l} {\underline{a p r}}_{P} (X) = {u \in U : \exists a \in A, [u \in F (a) \subseteq X]}, \\ {\overset{?}{a p r}}_{P} (X) = {u \in U : \exists a \in A, [u \in F (a), F (a) \cap X \neq ?]}, \\ {B n d}_{P} (X) = {\overset{?}{a p r}}_{P} (X) - {\underline{a p r}}_{P} (X) . \end{array}

If ∪{F(a), a ∈ A} = U, then (F,A) is called a full soft set.

Definition 2.9

Let P = (U, S) be a soft approximation space. Based on P, the degree of crispness of any subset X ⊆ U is determined by a soft rough accuracy measure, which is defined as

α_{{a p r}_{P}} (X) = \frac{? {\underline{a p r}}_{P} (X) ?}{? {\overset{?}{a p r}}_{P} (X) ?}, ? ? ? {\overset{?}{a p r}}_{P} (X) \neq ? .

Obviously, 0 ≤ α_apr_{_P} (X) ≤ 1. If ${\overset{?}{a p r}}_{P} (X) = {\underline{a p r}}_{P} (X)$ , then X is a soft P-definable set; otherwise, X is a soft P-rough set.

Some properties of soft rough approximations are given in the following proposition.

Proposition 2.2

Suppose the soft approximation space P = (U, S) and X, Y ⊆ U. Then,

(1) ${\underline{a p r}}_{P} (?) = {\overset{?}{a p r}}_{P} (?) = (?)$ .
(2) ${\underline{a p r}}_{P} (U) = {\overset{?}{a p r}}_{P} (U) = \cup {F (a), a \in A}$ .
(3) X ⊆ Y ⇒ apr_P (X) ⊆ apr_P (Y).
(4) $X \subseteq Y \Rightarrow {\overset{?}{a p r}}_{P} (X) \subseteq {\overset{?}{a p r}}_{P} (Y)$ .
(5) apr_P (X ∩ Y) ⊆ apr_P (X) ∩ apr_P (Y).
(6) apr_P (X ∪ Y) ⊇ apr_P (X) ∪ apr_P (Y).
(7) ${\overset{?}{a p r}}_{P} (X \cap Y) \subseteq {\overset{?}{a p r}}_{P} (X) \cap {\overset{?}{a p r}}_{P} (Y)$ .
(8) ${\overset{?}{a p r}}_{P} (X \cup Y) = {\overset{?}{a p r}}_{P} (X) \cup {\overset{?}{a p r}}_{P} (Y)$ .
(9) apr_P (apr_P (X)) = apr_P (X).
(10) ${\overset{?}{a p r}}_{P} ? ({\overset{?}{a p r}}_{P} (X)) \supseteq {\overset{?}{a p r}}_{P} (X)$ .
(11) ${\underline{a p r}}_{P} ? ({\overset{?}{a p r}}_{P} (X)) = {\overset{?}{a p r}}_{P} (X)$ .
(12) ${\overset{?}{a p r}}_{P} ? ({\underline{a p r}}_{P} (X)) \supseteq {\underline{a p r}}_{P} (X)$ .

3. New Type of Soft Rough Set Approximations

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

In this section, we modify the soft rough set approximations introduced to solve the previous two problems of the soft rough set model. The properties of these new approximations were proved, and some counter examples were obtained.

Definition 3.1

Let P = (U, S) be a soft approximation space, where S = (F,A) be a soft set over a universe U. Based on P, the modified soft lower, modified soft upper, and modified soft boundary approximations of any subset X ⊆ U are defined as follows:

\begin{array}{l} {\underline{S R}}_{P} X = \cup {F (a), a \in A : F (a) \subseteq X}, \\ {\overset{?}{S R}}_{P} X = {[{\underline{S R}}_{P} X^{c}]}^{c}, ? where? X^{c} ? be?the?complement?of? X, \\ b_{S R_{P}} X = {\overset{?}{S R}}_{P} X - {\underline{S R}}_{P} X . \end{array}

The new soft rough approximations satisfy the following properties.

Proposition 3.1

Given a soft approximation space P = (U, S), let X, Y ⊆ U. Then:

(1) ${\underline{S R}}_{P} X \subseteq X \subseteq {\overset{?}{S R}}_{P} X$ .
(2) ${\underline{S R}}_{P} ? = ? ? and? {\overset{?}{S R}}_{P} U = U$ .
(3) X ⊆ Y ⇒ SR_P X ⊆ SR_P Y.
(4) $X \subseteq Y \Rightarrow {\overset{?}{S R}}_{P} X \subseteq {\overset{?}{S R}}_{P} Y$ .
(5) SR_P X ∩ Y ⊆ SR_P X ∩ SR_P Y.
(6) SR_P X ∪ Y ⊇ SR_P X ∪ SR_P Y.
(7) ${\overset{?}{S R}}_{P} X \cap Y \subseteq {\overset{?}{S R}}_{P} X \cap {\overset{?}{S R}}_{P} Y$ .
(8) ${\overset{?}{S R}}_{P} X \cup Y \supseteq {\overset{?}{S R}}_{P} X \cup {\overset{?}{S R}}_{P} Y$ .
(9) SR_PSR_P X = SR_P X.
(10) ${\overset{?}{S R}}_{P} {\overset{?}{S R}}_{P} X = {\overset{?}{S R}}_{P} X$ .
(11) ${\underline{S R}}_{P} {\overset{?}{S R}}_{P} X \subseteq {\overset{?}{S R}}_{P} X$ .
(12) ${\overset{?}{S R}}_{P} {\underline{S R}}_{P} X \supseteq {\underline{S R}}_{P} X$ .
(13) ${\underline{S R}}_{P} X^{c} = {[{\overset{?}{S R}}_{P} X]}^{c}$ .

Proof

(1) From Definition 3.1, obviously, we can infer that SR_P X ⊆ X, and ${\overset{?}{S R}}_{P} X^{c} = {[{\underline{S R}}_{P} X]}^{c}$ , but SR_P X ⊆ X, then [SR_P X]^c ⊇ X^c_, and ${\overset{?}{S R}}_{P} X^{c} \supseteq X^{c}$ Therefore, $X \subseteq {\overset{?}{S R}}_{P} X$ . Consequently, ${\underline{S R}}_{P} X \subseteq X \subseteq {\overset{?}{S R}}_{P} X$ .

(2) Where SR_P ?? = ∪{F(a), a ∈ A : F(a) ⊆ ??} = ?? and ${\overset{?}{S R}}_{P} U = {[{\underline{S R}}_{P} U^{c}]}^{c} = {[{\underline{S R}}_{P} ?]}^{c} = {[?]}^{c} = U$ . Thus, SR_P ?? = ?? and ${\overset{?}{S R}}_{P} U = U$ .

(3) Let X ⊆ Y and u ∈ SR_P X = ∪{F(a), a ∈ A : F(a) ⊆ X}. Thus, ∃F(a) such that u ∈ F(a) ⊆ X. But X ⊆ Y, then u ∈ F(a) ⊆ Y. Hence, u ∈ SR_P Y. Consequently, SR_P X ⊆ SR_P Y.

(4) Let X ⊆ Y, then X^c ⊇ Y^c and then, SR_P X^c ⊇ SR_P Y^c. Hence, [SR_P X^c]^c ⊆ [SR_P Y^c]^c. Consequently, ${\overset{?}{S R}}_{P} X \subseteq {\overset{?}{S R}}_{P} Y$ .

(5) Let u ∈ SR_P X ∩ Y = ∪{F(a), a ∈ A : F(a) ⊆ X ∩ Y }. Thus, ∃F(a) such that u ∈ F(a) ⊆ X ∩ Y, then u ∈ F(a) ⊆ X, and u ∈ F(a) ⊆ Y. Consequently, u ∈ SR_P X and u ∈ SR_P Y, and u ∈ SR_P X ∩ SR_P Y. Thus, SR_P X ∩ Y ⊆ SR_P X ∩ SR_P Y.

(6) Let u ? SR_P X∪ Y = ∪{F(a), a ∈ A : F(a) ⊆ X∪ Y }. Therefore, for all a ∈ A, u ∈ F(a) ? X ∪ Y, then for all a ∈ A, u ∈ F(a), we have F(a) ? X, and u ∈ F(a) ? Y. Consequently, u ? SR_P X and u ? SR_P Y, then u ? SR_P X ∪ SR_P Y. Thus, SR_P X ∪ Y ⊇ SR_P X ∪ SR_P Y.

(7) ${\overset{?}{S R}}_{P} X \cap Y = {[{\underline{S R}}_{P} {(X \cap Y)}^{c}]}^{c} = {[{\underline{S R}}_{P} X^{c} \cup Y^{c}]}^{c} \subseteq {[{\underline{S R}}_{P} X^{c} \cup {\underline{S R}}_{P} Y^{c}]}^{c} = {[{\underline{S R}}_{P} X^{c}]}^{c} \cap {[{\underline{S R}}_{P} Y^{c}]}^{c} = {\overset{?}{S R}}_{P} X \cap {\overset{?}{S R}}_{P} Y$ . Thus, ${\overset{?}{S R}}_{P} X \cap Y \subseteq {\overset{?}{S R}}_{P} X \cap {\overset{?}{S R}}_{P} Y$ .

(8) ${\overset{?}{S R}}_{P} X \cup Y = {[{\underline{S R}}_{P} {(X \cup Y)}^{c}]}^{c} = {[{\underline{S R}}_{P} X^{c} \cap Y^{c}]}^{c} \supseteq {[{\underline{S R}}_{P} X^{c} \cap {\underline{S R}}_{P} Y^{c}]}^{c} = {[{\underline{S R}}_{P} X^{c}]}^{c} \cup {[{\underline{S R}}_{P} Y^{c}]}^{c} = {\overset{?}{S R}}_{P} X \cup {\overset{?}{S R}}_{P} Y$ . Thus, ${\overset{?}{S R}}_{P} X \cup Y \supseteq {\overset{?}{S R}}_{P} X \cup {\overset{?}{S R}}_{P} Y$ .

(9) Let Y = SR_P X and u ∈ Y = ∪{F(a), a ∈ A : F(a) ⊆ X}. Then, for some a ∈ A, u ∈ F(a) ⊆ Y. So, u ∈ SR_P Y. Hence, Y ⊆ SR_P Y. Thus, SR_P X ⊆ SR_PSR_P X. In addition, from Property 1, we have SR_P X ⊆ X, and using Property 3, we obtain SR_PSR_P X ⊆ SR_P X. Consequently, SR_PSR_P X = SR_P X.

(10) ${\overset{?}{S R}}_{P} {\overset{?}{S R}}_{P} X = {[{\underline{S R}}_{P} {({\overset{?}{S R}}_{P} X)}^{c}]}^{c} = {[{\underline{S R}}_{P} {({[{\overset{?}{S R}}_{P} X^{c}]}^{c})}^{c}]}^{c} = {[{\underline{S R}}_{P} {\underline{S R}}_{P} X^{c}]}^{c}$ , by using Property 9, we deduce that, ${[{\underline{S R}}_{P} {\underline{S R}}_{P} X^{c}]}^{c} = {[{\underline{S R}}_{P} X^{c}]}^{c} = {\overset{?}{S R}}_{P} X$ . Thus, ${\overset{?}{S R}}_{P} ? {\overset{?}{S R}}_{P} X = {\overset{?}{S R}}_{P} X$ .

From Property 1, we get the proof of (11) and (12), directly as follows, Let Y = SR_P X and $Z = {\overset{?}{S R}}_{P} X$ , then SR_P Z ⊆ Z and ${\overset{?}{S R}}_{P} Y \supseteq Y$ . Hence, ${\underline{S R}}_{P} {\overset{?}{S R}}_{P} X \subseteq {\overset{?}{S R}}_{P} X$ and ${\overset{?}{S R}}_{P} {\underline{S R}}_{P} X \supseteq {\underline{S R}}_{P} X$ .

(13) ${[{\overset{?}{S R}}_{P} X]}^{c} = {[{({\underline{S R}}_{P} X^{c})}^{c}]}^{c} = {\underline{S R}}_{P} X^{c}$ .

The following example explains why the converse of Property 1 in Proposition 3.1 cannot be true.

Example 3.1

Consider Example (4) in [16], where a soft set (F,E) describes the conditions of patients suspected of having influenza. The following seven influenza symptoms: respiratory issues, headache, fever, cough, nasal discharge, sore throat, and lethargy were adopted from [44,45]. In this example, there were six patients under medical examination in the medical center.

U = {s_{1}, s_{2}, s_{3}, s_{4}, s_{5}, s_{6}},

and E is a set of parameters such as

E = {e_{1}, e_{2}, e_{3}, e_{4}, e_{5}, e_{6}, e_{7}},

where e₁ = fever, e₂ = respiratory issues, e₃ = nasal discharge, e₄ cough, e₅ = headache, e₆ = sore throat, and e₇ = lethargy.

Consider the mapping F : E → P(U) given by the following

\begin{array}{l} F (e_{1}) = {s_{1}, s_{3}, s_{4}, s_{5}, s_{6}}, \\ F (e_{2}) = {s_{1}, s_{2}}, \\ F (e_{3}) = {s_{1}, s_{2}, s_{4}}, \\ F (e_{4}) = {s_{1}}, \\ F (e_{5}) = {s_{1}, s_{4}}, \\ F (e_{6}) = {s_{1}, s_{4}}, \\ F (e_{7}) = {s_{1}, s_{3}, s_{5}, s_{6}} . \end{array}

Therefore, F(e₁) indicates that patients suffer from fever, whose functional value is the set {p₁, p₃, p₄, p₅, p₆}. Thus, we can view the soft set (F,E) as a collection of approximations, as shown in Table 1. To computerize this example, a Boolean tabular representation of the soft set (F,E) is deduced as shown in Table 2. If X = {s₁, s₅}, then SR_P X = {s₁} and ${\overset{?}{S R}}_{P} X = {s_{1}, s_{5}, s_{6}}$ . Hence, SR_P X ≠ X and $X \neq {\overset{?}{S R}}_{P} X$ .

In the following example, we show that the converse of Properties 1 and 3 in Proposition 3.1 do not hold.

Example 3.2

From Example 3.1, if X = {p₁} and Y = {s₁, s₂, s₃}, then SR_p X = {s₁}, SR_p Y = {s₁, s₂}, ${\overset{?}{S R}}_{p} X = {s_{1}, s_{5}, s_{6}}$ and ${\overset{?}{S R}}_{p} Y = U$ . Hence, SR_p X ≠ SR_p Y and ${\overset{?}{S R}}_{p} X \neq {\overset{?}{S R}}_{p} Y$ .

Further, in Proposition 3.1, the converse of Properties 5 and 8 cannot be true. The following example explains that:

Example 3.3

From Example 3.1, if X = {s₁, s₂} and Y = {s₂, s₄}, then SR_p X = {s₁, s₂}, SR_p Y = {s₂, s₄}, ${\overset{?}{S R}}_{p} X = {s_{1}, s_{5}, s_{5}, s_{6}}, ? {\overset{?}{S R}}_{p} Y = {s_{2}, s_{4}}$ , SR_p X ∩ Y = ?? and ${\overset{?}{S R}}_{p} X \cup Y = U$ . Hence, SR_p X ∩ Y ≠ SR_p X ∩ SR_p Y and $? {\overset{?}{S R}}_{p} X \cup Y \neq {\overset{?}{S R}}_{p} X \cup ? {\overset{?}{S R}}_{p} Y$ .

By the following example, we prove that the converse of Property 6, in Proposition 3.1, does not hold.

Example 3.4

From Example 3.1, if X = {s₂} and Y = {s₄}, then SR_p X = SR_p Y = ?? and SR_p X ∪ Y = {s₂, s₄}. Hence, SR_p X ∪ Y ≠ SR_p X ∪ SR_pY.

In addition, the converse of Property 7 in Proposition 3.1 does not hold. The following example explains that:

Example 3.5

From Example 3.1, if X = {s₁, s₂} and Y = {s₂, s₃}, then ${\overset{?}{S R}}_{p} X = {s_{1}, s_{5}, s_{5}, s_{6}}, {\overset{?}{S R}}_{p} Y = {s_{2}, s_{3}, s_{4}, s_{5}, s_{6}}$ and ${\overset{?}{S R}}_{p} X \cap Y = {s_{2}}$ . Hence, ${\overset{?}{S R}}_{p} X \cap Y \neq {\overset{?}{S R}}_{p} X \cap {\overset{?}{S R}}_{p} Y$ .

The converse of Properties 11 and 12 in Proposition 3.1 do not hold. The following example explains that:

Example 3.6

From Example 3.1, if X = {s₁, s₅}, then SR_p X = {s₁}, ${\overset{?}{S R}}_{p} X = {s_{1}, s_{5}, s_{6}}, {\underline{S R}}_{p} ? {\overset{?}{S R}}_{p} X = {s_{1}}$ and ${\overset{?}{S R}}_{p} {\underline{S R}}_{p} X = {s_{1}, s_{5}, s_{6}}$ . Hence, ${\underline{S R}}_{p} {\overset{?}{S R}}_{p} X \neq {\overset{?}{S R}}_{p} X$ and ${\overset{?}{S R}}_{p} {\underline{S R}}_{p} X \neq {\overset{?}{S R}}_{p} X$ .

Remark 3.1

Let P = (U, S) be a soft approximation space. Then, the following properties do not hold:

SR_pU = U.
${\overset{?}{S R}}_{p} ? = ?$ .

The following example explain 3.1.

Example 3.7

Let U = {s₁, s₂, s₃, s₄, s₅, s₆}, A = {e_1,e_2,e_3,e₄} and let S = (F,A) be a soft set over U, given in Table 3 and the soft approximation space P = (U, S), as follows: From Table 3, we can deduce that

\begin{array}{l} F (e_{1}) = {s_{1}, s_{6}}, \\ F (e_{2}) = {s_{3}}, \\ F (e_{3}) = ?, \\ F (e_{4}) = {s_{1}, s_{2}, s_{5}} . \end{array}

Hence, we obtain the following results: SR_pU = {s₁, s₂, s₃, s₅, s₆} and ${\overset{?}{S R}}_{p} ? = {s_{4}}$ . Thus, SR_pU ≠ U and ${\overset{?}{S R}}_{p} ? = ?$ .

Proposition 3.2

In a soft approximation space P = (U, S), let X, Y ⊆ U. Then,

(1) SR_p X ? Y ⊆ SR_p X ? SR_pY.
(1) ${\overset{?}{S R}}_{p} X - Y ? (need?not?to?be) \supseteq {\overset{?}{S R}}_{p} X - {\overset{?}{S R}}_{p} Y$ .

Proof

(1) Let u ∈ SR_P X ? Y = ∪{F(a), a ∈ A : F(a) ⊆ X ? Y }. Thus, there exists a ∈ A, such that u ∈ F(a) ⊆ X ? Y, then F(a) ⊆ X and F(a) ? Y. Consequently, u ∈ SR_P X and u ? SR_P Y, and u ∈ SR_P X ? SR_P Y. Therefore, SR_P X ? Y ⊆ SR_P X ? SR_P Y.

The converse of Property 1 in Proposition 3.2 does not hold. The following example explains that:

Example 3.8

In Example 3.1, if X = {s₁, s₂} and Y = {s₁}, then SR_p X = {s₁, s₂}, SR_pY = {s₁}, SR_p X ? Y = ??, and SR_p X ? SR_p Y = {s₂}. Hence, SR_p X ? SR_p Y ≠ SR_p X ? Y.

The following example proves Property 2 of Proposition 3.2.

Example 3.9

From Example 3.1, if X = {s₁, s₄} and Y = {s₄}, then ${\overset{?}{S R}}_{p} X = U, ? {\overset{?}{S R}}_{p} Y = {s_{4}}, ? {\overset{?}{S R}}_{p} X - Y = {s_{1}, s_{5}, s_{6}} ?$ and ${\overset{?}{S R}}_{p} X - {\overset{?}{S R}}_{p} Y = {s_{1}, s_{2}, s_{3}, s_{5}, s_{6}}$ . Hence, ${\overset{?}{S R}}_{p} X - Y ? {\overset{?}{S R}}_{p} X - {\overset{?}{S R}}_{p} Y$ .

A comparison between soft rough and modified soft rough properties is presented in Table 4.

Remark 3.2

Let P = (U, S) be a soft approximation space and X, Y ⊆ U. Then, we can create Table 4 as a comparison between the soft rough and modified soft rough properties as follows:

The following example illustrates 1, 2 and 3, of Table 4.

Example 3.10

According to Example 3.7, we can deduce the following results, ${\overset{?}{a p r}}_{p} ({s_{4}}) \neq ?, {\overset{?}{S R}}_{p} {s_{4}} = {s_{4}}, {\overset{?}{a p r}}_{p} (U) = {s_{1}, s_{2}, s_{3}, s_{4}, s_{5}, s_{6}}, ? {\overset{?}{S R}}_{p} U = U {\overset{?}{a p r}}_{p} (?) = ?$ and ${\overset{?}{S R}}_{p} ? = {s_{4}}$ . Hence, ${\overset{?}{a p r}}_{p} ({s_{4}}) \subset {s_{4}}, {\overset{?}{a p r}}_{p} (U) \neq U$ , and ${\overset{?}{a p r}}_{p} (?) = ?$ .

The following example illustrates 4, of Table 4.

Example 3.11

In Example 3.1, if X = {s₁, s₅} and Y = {s₄}, then ${\overset{?}{S R}}_{p} X = {s_{1}, s_{5}, s_{6}}, {\overset{?}{a p r}}_{p} (X) = {\overset{?}{a p r}}_{p} (Y) = U, {\overset{?}{S R}}_{p} Y = {s_{4}}$ , and ${\overset{?}{a p r}}_{p} (X \cup Y) = {\overset{?}{S R}}_{p} X \cup Y$ . Hence, ${\overset{?}{S R}}_{p} X \cup Y \supset {\overset{?}{S R}}_{p} X \cup {\overset{?}{S R}}_{p} Y$ and ${\overset{?}{a p r}}_{p} (X \cup Y) = {\overset{?}{a p r}}_{p} (X) \cup {\overset{?}{a p r}}_{p} (Y)$ .

The following example illustrates 5, of Table 4.

Example 3.12

In Example 3.1, if X = {s₃}, then ${\overset{?}{a p r}}_{p} (X) = {s_{1}, s_{3}, s_{4}, s_{5}, s_{6}}, {\overset{?}{a p r}}_{p} ? ({\overset{?}{a p r}}_{p} (X)) = U$ and ${\overset{?}{S R}}_{p} ? {\overset{?}{S R}}_{p} X = {\overset{?}{S R}}_{p} X = {s_{3}, s_{5}, s_{6}}$ . Hence, ${\overset{?}{S R}}_{p} ? {\overset{?}{S R}}_{p} X = {\overset{?}{S R}}_{p} X$ and ${\overset{?}{a p r}}_{p} ? ({\overset{?}{a p r}}_{p} (X)) \supset {\overset{?}{a p r}}_{p} (X)$ .

The following example illustrates 6, of Table 4.

Example 3.13

From Example 3.1, if X = {s₃, s₅}, then ${\overset{?}{a p r}}_{p} (X) = {s_{1}, s_{3}, s_{4}, s_{5}, s_{6}}, {\overset{?}{S R}}_{p} X = {s_{3}, s_{5}, s_{6}}, ? {\underline{a p r}}_{p} ({\overset{?}{a p r}}_{p} (X)) = {s_{1}, s_{3}, s_{4}, s_{5}, s_{6}}$ and ${\underline{S R}}_{p} {\overset{?}{S R}}_{p} X = ?$ . Hence, ${\underline{a p r}}_{p} ({\overset{?}{a p r}}_{p} (X)) = {\overset{?}{a p r}}_{p} (X)$ and ${\underline{S R}}_{p} {\overset{?}{S R}}_{p} X \subset {\overset{?}{S R}}_{p} X$ .

The following example illustrates 7, of Table 4.

Example 3.14

From Example 3.1, if X = {s₂, s₆}, then apr_p (X^c) = {s₁, s₃, s₄}, ${[{\overset{?}{a p r}}_{p} X]}^{c} = ?$ , SR_p X^c = {s₁, s₃, s₄} and ${[{\overset{?}{S R}}_{p} X]}^{c} = {s_{1}, s_{3}, s_{4}}$ . Hence, ${\underline{S R}}_{p} X^{c} = {[{\overset{?}{S R}}_{p} X]}^{c}$ and apr_p (X^c) ⊃ [apr_p(X)]^c_.

4. Modified Soft Rough Concepts

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

In this section, we redefine some soft rough concepts as modified soft rough concepts. Moreover, by using the accuracy measure of soft rough and modified soft rough approaches, we introduce a comparison between these approaches.

For any subset X ⊆ U, the modified soft definability is defined below.

Definition 4.1

Let S = (F,A) be a soft set over a universe U, and let P = (U, S) be a soft approximation space. Based on P, X ⊆ U is called

(1) Totally SR_P-definable (SR_P-exact) set, if ${\underline{S R}}_{p} X = {\overset{?}{S R}}_{p} X = X$ .
(2) Internally SR_P-definable set, if SR_p X = X and ${\overset{?}{S R}}_{p} X \neq X$ .
(3) Externally SR_P-definable set, if SR_p X ≠ X and ${\overset{?}{S R}}_{p} X = X$ .
(4) Totally SR_P-rough set, if SR_p X ≠ X and ${\overset{?}{S R}}_{p} X \neq X$ .

The following example explains Definition 4.1.

Example 4.1

By using Example 3.1, we can infer that, {s₂, s₄}, {s₁, s₃, s₅, s₆} are totally SR_P-definable sets, {s₁}, {s₁, s₂}, {s₃, s₄}, {s₁, s₂, s₄}, {s₁, s₃, s₄}, {s₂, s₃, s₄}, {s₁, s₂, s₃, s₄}, {s₁, s₂, s₃, s₅, s₆}, {s₁, s₃, s₄, s₅, s₆} are internally SR_P-definable sets, {s₂}, {s₄}, {s₅, s₆}, {s₁, s₅, s₆}, {s₂, s₅, s₆}, {s₃, s₅, s₆}, {s₁, s₂, s₅, s₆}, {s₃, s₄, s₅, s₆}, {s₂, s₃, s₄, s₅, s₆} are externally SR_P-definable sets and the rest of all subsets of U are totally SR_P-rough sets.

The SR_P-soft rough membership relations is defined as follows:

Definition 4.2

Let U be a set of universe and P = (U, S) be a soft approximation space such that S = (F,A) be a soft set over U. Let X ⊆ U and x ∈ U. Based on P, the SR_P-soft rough membership relations, denoted by ??_SR_{_P} and ∈_SR_{_P}, are given as follows:

\begin{array}{l} x {\overset{?}{\in}}_{S R_{P}} X, ? ? ? if? ? ? x \in {\overset{?}{S R}}_{p} X, \\ x {\underset{?}{\in}}_{S R_{P}} X, ? ? ? if? ? ? x \in {\underline{S R}}_{p} X . \end{array}

Proposition 4.1

In a soft approximation space P = (U, S), let X ⊆ U and x ∈ U. Then,

(1) x∈_SR_{_P}X → x ∈ X.
(2) x??_SR_{_P}X → x ? X.

Proof

The proof is straightforward from Definition 4.2 and Proposition 3.1.

The converse of Proposition 4.1 does not hold. The following example explains that:

Example 4.2

In Example 3.1, if X = {s₂, s₄, s₅}, then SR_p X = {s₂, s₄} and ${\overset{?}{S R}}_{p} X = {s_{2}, s_{3}, s_{4}, s_{5}, s_{6}}$ . Hence, s₅?_SR_{_P}X, s₅ ∈ X, and s₃, s₆ ? X, s₃, s₆ ??_SR_{_P}X.

In the following definition, SR_P-soft rough inclusion relations are defined.

Definition 4.3

Let S = (F,A) be a soft set over a universe U, P = (U, S) be a soft approximation space, and let X, Y ⊆ U. Based on P, SR_P-soft rough inclusion relations, denoted by $\underset{?}{\subset}$ _SR_{_P} and ⊂?_SR_{_P}, are defined as follows:

\begin{array}{l} X {\underset{?}{\subset}}_{S R_{P}} Y, ? if? ? ? {\underline{S R}}_{p} X \subseteq {\underline{S R}}_{p} Y, \\ X {\overset{?}{\subset}}_{S R_{P}} Y, ? if? ? ? {\overset{?}{S R}}_{p} X \subseteq {\overset{?}{S R}}_{p} Y . \end{array}

Proposition 4.2

In a soft approximation space P = (U, S), let X, Y ⊆ U. Then,

(1) X ⊆ Y → X $\underset{?}{\subset}$ _SR_{_P}Y.
(2) X ⊆ Y → X ⊂?_SR_{_P}Y.

Proof

The proof is straightforward from Proposition 3.1.

The converse of Proposition 4.2 does not hold. The following example explains that:

Example 4.3

In Example 3.1, if X = {s₁, s₃} and Y = {s₁, s₂, s₄}, then SR_p X = {s₁}, SR_p Y = {s₁, s₂, s₄}, ${\overset{?}{S R}}_{p} X = {s_{1}, s_{3}, s_{5}, s_{6}}$ and ${\overset{?}{S R}}_{p} Y = U$ . Hence, X $\underset{?}{\subset}$ _SR_{_P}Y and X ⊂?_SR_{_P}. However, X ? Y.

In the following definition, SR_P-soft rough equalities relations are defined.

Definition 4.4

Let S = (F,A) be a soft set over a universe U, and let P = (U, S) be a soft approximation space and let X, Y ⊆ U. Based on P, SR_P-soft rough equality relations are defined as follows:

\begin{array}{l} X {\overset{?}{\sim}}_{S R_{P}} Y, ? if? ? ? {\underline{S R}}_{p} X = {\underline{S R}}_{p} Y, \\ X {\underline{\sim}}_{S R_{P}} Y, ? if? ? ? {\overset{?}{S R}}_{p} X = {\overset{?}{S R}}_{p} Y, \\ X ?_{S R_{P}} Y, ? if? ? ? X {\overset{?}{\sim}}_{S R_{P}} Y ? and? X {\underline{\sim}}_{S R_{P}} Y . \end{array}

The following example illustrates Definition 4.4.

Example 4.4

In Example 3.1, if X₁ = {s₂}, X₂ = {s₃}, X₃ = {s₃, s₅}, X₄ = {s₃, s₆}, X₅ = {s₁, s₅} and X₆ = {s₁, s₆}. Then, SR_p X₁ = SR_p X₂ = ??, ${\overset{?}{S R}}_{p} X_{3} = {\overset{?}{S R}}_{p} X_{4} = {s_{3}, ? s_{6}, ? s_{6}}$ , SR_p X₅ = SR_p X₆ = {s₁} and ${\overset{?}{S R}}_{p} X_{5} = {\overset{?}{S R}}_{p} X_{6} = {s_{1}, ? s_{5}, ? s_{6}}$ . Consequently, X₁?_SR_{_P}X_2,X₃?_SR_{_P}X_4, and X₅ ? _SR_{_P}X_6.

Proposition 4.3

In a soft approximation space P = (U, S), let X, Y ⊆ U. Then,

(1) X ? _SR_{_P}SR_p X.
(2) $X {\underline{\sim}}_{S R_{P}} {\overset{?}{S R}}_{p} X$ .
(3) X = Y → X ?_SR_{_P}Y.
(4) X ⊆ Y, Y ? _SR_{_P} ?? → X ? _SR_{_P} ??.
(5) X ⊆ Y, X ? _SR_{_P}U → Y ? _SR_{_P}U.
(6) X ⊆ Y, Y ? _SR_{_P} ?? → X ? _SR_{_P} ??.
(7) X ⊆ Y, X ? _SR_{_P}U → Y ? _SR_{_P}U.
(8) X^c ? _SR_{_P}Y^c → X ? _SR_{_P}Y.
(9) X^c ? _SR_{_P}Y^c → X ? _SR_{_P}Y.

Proof

The proof is straightforward from Proposition 3.1.

Using the SR_P-accuracy measure, the degree of SR_P-crispness of any X ⊆ U, denoted by C_SR_{_P}X is defined as follows:

Definition 4.5

Let S = (F,A) be a soft set over a universe U, and let P = (U, S) be a soft approximation space and let X ⊆ U. Based on P, C_SR_{_P}X is

C_{S R_{P}} X = \frac{{\underline{S R}}_{p} X}{{\overset{?}{S R}}_{p} X}, ? X \neq φ .

Proposition 4.4

Let S = (F,A) be a full soft set over a universe U, and let P = (U, S) be a soft approximation space and let X ⊆ U. Then,

(1) ${\overset{?}{S R}}_{p} X \subseteq {\overset{?}{a p r}}_{p} (X)$ .
(2) X is totally SR_P-soft definable set, if and only if, C_SR_{_P}X = 1.
(3) X is soft P-definable set → X is totally SR_P-soft definable set.
(4) X is totaly SR_P-soft rough set → X is soft P-soft rough set.

Proof

(1) Let $u ? {\overset{?}{a p r}}_{p} X = \cup {F (a), a \in A : F (a) \cap K \neq ?}$ . Then, for all a ∈ A, we have F(a) ∩ X = ??, then F(a) ⊆ X^c_, which follows that u ∈ SR_p X^c_. Hence, $u ? {[{\underline{S R}}_{p} X^{c}]}^{c} = {\overset{?}{S R}}_{p} X$ . Thus, ${\overset{?}{S R}}_{p} X \subseteq {\overset{?}{a p r}}_{p} X$ .

(2) Let X be totally SR_P-soft definable set. Then, ${\overset{?}{S R}}_{p} X = {\underline{S R}}_{p} X = X$ , and C_SR_{_P} = 1. On the other hand, if C_SR_{_P}X = 1, then ${\overset{?}{S R}}_{p} X = {\underline{S R}}_{p} X$ , but from Proposition 3.1, we have ${\overset{?}{S R}}_{p} X \supseteq X$ and SR_p X ⊆ X, then ${\overset{?}{S R}}_{p} X = {\underline{S R}}_{P} X = X$ .

(3) Let X be soft P-definable set. Then, ${\overset{?}{a p r}}_{p} X = {\underline{a p r}}_{p} X$ , but SR_p X = apr_p X and ${\overset{?}{a p r}}_{p} X \supseteq {\overset{?}{S R}}_{p} X$ . Hence, ${\overset{?}{S R}}_{p} X = {\underline{S R}}_{p} X$ , but from Proposition 3.1, it follows that ${\overset{?}{S R}}_{p} X \supseteq X \supseteq {\underline{S R}}_{p} X$ , it follows that ${\overset{?}{S R}}_{p} X = {\underline{S R}}_{p} X = X$ . Thus, X is a totally SR_P-soft definable set.

(4) Proof of Property 4 comes directly from Property 3.

The following example shows that the inverse of Properties 1, 2, and 4, from Proposition 4.4, does not hold.

Example 4.5

In Example 3.1, if X = {s₂, s₄}, then ${\overset{?}{a p r}}_{p} X = U$ and ${\underline{S R}}_{p} X = {\overset{?}{S R}}_{p} X = {s_{2}, s_{4}}$ . Hence, X is a totally SR_p-definable set, and it is a soft P-rough set. Also, C_SR_{_P}X = 1.

By using the meaning of the accuracy measure, we can determine the degree of exactness of any subset of the universe. Hence, we can compare the full soft rough and modified soft rough approaches by using their accuracy measures, as shown in Table 5.

Example 4.6

From Example 3.1, we can create Table 5.

From Table 5, by using the modified approach to soft rough sets, many subsets became more exact (crisp) than their exactness by using traditional soft rough approaches, such as {s₁}, {s₁, s₂}, {s₁, s₃}, {s₁, s₅}, {s₃, s₄}, {s₁, s₂, s₅}, {s₁, s₃, s₅}, {s₁, s₅, s₆}, {s₂, s₃, s₄}, {s₂, s₄, s₅}, {s₃, s₄, s₅}, {s₂, s₃, s₄, s₅}, {s₂, s₄, s₅, s₆}, {s₃, s₄, s₅, s₆} and {s₂, s₃, s₄, s₅, s₆}. Moreover, {s₁, s₃, s₅, s₆} is soft P-definable with 66.7% (soft P-rough with 33.3%), but it is totally SR_P-definable (SR_P-exact with 100%). In addition, {s₂, s₄} is soft P-definable with 33.3% (soft P-rough with 66.7%), but it is totally SR_P-definable (SR_P-exact with 100%). It follows that the suggested modified approach to soft rough sets is better than the traditional approach.

5. Conclusion

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

In this paper, we solve some problems of the soft rough set model, introduced by Feng et al. [36], by using a new definition of soft rough upper approximation. The properties of the suggested soft rough set approximations were deduced. Various operators on soft rough sets are redefined. These modified concepts are supported by proven propositions and many other examples. Finally, we illustrate that the proposed approach to soft rough sets is better than the traditional one and that this modification can be used to make a correct decision. In future work, we will introduce another modification of the traditional soft rough set model, based on topological structures, and then apply it in a medical application as a real-life problem in decision making.

Acknowledgments

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

The authors would like to acknowledge the financial support received from Jadara University. Also, I would also like to dedicate this work to the soul of the co-author of this work Dr. Emad Mari, who passed away in 2018.

Conflict of Interest

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

No potential conflict of interest relevant to this article was reported.

Tables

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

Table. 1.

Tabular representation of the soft set (F,E).

Object	e₁	e₂	e₃	e₄	e₅	e₆	e₇
s₁	Yes	Yes	Yes	Yes	No	No	Yes
s₂	No	Yes	Yes	No	No	Yes	No
s₃	Yes	No	No	No	Yes	No	Yes
s₄	Yes	No	Yes	No	Yes	Yes	No
s₅	Yes	No	No	No	No	No	Yes
s₆	Yes	No	No	No	No	No	Yes

Table. 2.

Boolean tabular representation of the soft set (F,E).

Object	e₁	e₂	e₃	e₄	e₅	e₆	e₇
s₁	1	1	1	1	0	0	1
s₂	0	1	1	0	0	1	0
s₃	1	0	0	0	1	0	1
s₄	1	0	1	0	1	1	0
s₅	1	0	0	0	0	0	1
s₆	1	0	0	0	0	0	1

Table. 3.

Boolean tabular representation of the soft set in Example 3.7.

Objects	e₁	e₂	e₄
s₁	1	0	1
s₂	0	0	1
s₃	0	1	0
s₄	0	0	0
s₅	0	0	1
s₆	1	0	0

Table. 4.

Comparison between soft rough and modified soft rough properties.

	Traditional soft rough properties	Modified soft rough
1	apr?p(X)?(may?be)⊆X	X⊆SR?pX
2	apr?p(U)⊆U	SR?pU=U
3	apr?p(?)=?	SR?p??(need?not?be)=?
4	apr?p(X∪Y)=apr?p(X)∪apr?p(Y)	SR?pX∪Y⊇SR?pX∪SR?pY,
5	apr?p(apr?p(X))⊇apr?p(X)	SR?pSR?pX=SR?pX
6	apr_p(apr?p(X))=apr?p(X)	SR_pSR?pX⊆SR?pX
7	apr_p(Xc)⊇[apr?p(X)]c, if ∪F(a) = U, a ∈A	SR_pXc=[SR?pX]c

Table. 5.

Comparison between traditional full and modified soft rough approaches.

X ⊆ U	α_apr_PX	C_SR_PX
{s₁}	1/6	1/3
{s₁, s₂}	1/3	1/2
{s₁, s₃}	1/6	1/4
{s₁, s₅}	1/6	1/3
{s₂, s₄}	1/3	1
{s₃, s₄}	1/3	1/2
{s₁, s₂, s₅}	1/3	1/2
{s₁, s₃, s₅}	1/6	1/4
{s₁, s₅, s₆}	1/6	1/3
{s₂, s₃, s₄}	1/2	3/5
{s₂, s₄, s₅}	1/3	2/5
{s₃, s₄, s₅}	1/3	1/2
{s₁, s₃, s₅, s₆}	2/3	1
{s₂, s₃, s₄, s₅}	1/2	3/5
{s₂, s₄, s₅, s₆}	1/3	2/5
{s₃, s₄, s₅, s₆}	1/3	1/2
{s₂, s₃, s₄, s₅, s₆}	1/2	3/5

References

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

Zadeh, LA (1965). Fuzzy sets. Information and Control. 8, 338-353. https://doi.org/10.1016/S0019-9958(65)90241-X
Atanassov, KT (1986). Intuitionistic fuzzy sets. Fuzzy Sets and Systems. 20, 87-96. https://doi.org/10.1016/S0165-0114(86)80034-3
Gau, WL, and Buehrer, DJ (1993). Vague sets. IEEE Transactions on Systems, Man, and Cybernetics. 23, 610-614. https://doi.org/10.1109/21.229476
Gorzałczany, MB (1987). A method of inference in approximate reasoning based on interval-valued fuzzy sets. Fuzzy Sets and Systems. 21, 1-17. https://doi.org/10.1016/0165-0114(87)90148-5
Molodtsov, D (1999). Soft set theory: first results. Computers & Mathematics with Applications. 37, 19-31. https://doi.org/10.1016/S0898-1221(99)00056-5
Maji, PK, Roy, AR, and Biswas, R (2002). An application of soft sets in a decision making problem. Computers & Mathematics with Applications. 44, 1077-1083. https://doi.org/10.1016/S0898-1221(02)00216-X
Maji, P, Biswas, R, and Roy, A (2001). Fuzzy soft sets. Journal of Fuzzy Mathematics. 9, 589-602.
Yang, X, Lin, TY, Yang, J, Li, Y, and Yu, D (2009). Combination of interval-valued fuzzy set and soft set. Computers & Mathematics with Applications. 58, 521-527. https://doi.org/10.1016/j.camwa.2009.04.019
Chen, D, Tsang, ECC, Yeung, DS, and Wang, X (2005). The parametrization reduction of soft sets and its applications. Computers & Mathematics with Applications. 49, 757-763. https://doi.org/10.1016/j.camwa.2004.10.036
Adam, F, and Hassan, N (2014). Q-fuzzy soft set. Applied Mathematical Sciences. 8, 8689-8695. http://dx.doi.org/10.12988/ams.2014.410865
Alkhazaleh, S, and Salleh, A (2014). Fuzzy soft expert set and its application. Applied Mathematics. 5, 1349-1368. http://dx.doi.org/10.4236/am.2014.59127
Broumi, S, Majumdar, P, and Smarandache, F (2014). New operations on intuitionistic fuzzy soft sets based on second Zadeh’s logical operators. Journal of New Results in Science. 3, 71-81.
Chakraborty, RP, and Mukherjee, P (2015). On generalised fuzzy soft topological spaces. African Journal of Mathematics and Computer Science Research. 8, 1-11. https://doi.org/10.5897/AJMCSR2014.0562
Demir, I, and Ozbakir, OB (2015). Some properties of fuzzy soft proximity spaces. The Scientific World Journal. 2015. article no 752634
Li, Z, and Xie, T (2015). Roughness of fuzzy soft sets and related results. International Journal of Computational Intelligence Systems. 8, 278-296. https://doi.org/10.1080/18756891.2015.1001951
Alkhazaleh, S, and Hazaymeh, AA (2018). N-valued refined neutrosophic soft sets and their applications in decision making problems and medical diagnosis. Journal of Artificial Intelligence and Soft Computing Research. 8, 79-86. https://doi.org/10.1515/jaiscr-2018-0005
Pawlak, Z (1982). Rough sets. International Journal of Computer & Information Sciences. 11, 341-356. https://doi.org/10.1007/BF01001956
Slowinski, R, and Vanderpooten, D (2000). A generalized definition of rough approximations based on similarity. IEEE Transactions on Knowledge and Data Engineering. 12, 331-336.
Yao, YY, and Wong, SKM . Generalization of rough sets using relationships between attribute values., Proceedings of the 2nd Annual Joint Conference on Information Sciences, 1995, Wrightsville Beach, NC, pp.30-33.
Pomykala, JA (1987). Approximation operations in approximation space. Bulletin of the Polish Academy of Sciences. 35, 653-662.
Tsang, EC, Chen, D, Lee, JW, and Yeung, DS . On the upper approximations of covering generalized rough sets., Proceedings of 2004 International Conference on Machine Learning and Cybernetics (IEEE Cat 04E X826), 2004, Shanghai, China, Array, pp.4200-4203. https://doi.org/10.1109/ICMLC.2004.1384576
Kim, YC, and Kim, YS (2011). Rough approximations on preordered sets. International Journal of Fuzzy Logic and Intelligent Systems. 11, 299-304. https://doi.org/10.5391/IJFIS.2011.11.4.299
Yun, SM, and Lee, SJ (2015). Intuitionistic fuzzy rough approximation operators. International Journal of Fuzzy Logic and Intelligent Systems. 15, 208-125. https://doi.org/10.5391/IJFIS.2015.15.3.208
Yao, YY (1996). Two views of the theory of rough sets in finite universes. International Journal of Approximate Reasoning. 15, 291-317. https://doi.org/10.1016/S0888-613X(96)00071-0
Skowron, A, and Stepaniuk, J (1996). Tolerance approximation spaces. Fundamenta Informaticae. 27, 245-253. https://doi.org/10.3233/fi-1996-272311
Greco, S, Matarazzo, B, and Slowinski, R (2002). Rough approximation by dominance relations. International Journal of Intelligent Systems. 17, 153-171. https://doi.org/10.1002/int.10014
Leung, Y, and Li, D (2003). Maximal consistent block technique for rule acquisition in incomplete information systems. Information Sciences. 153, 85-106. https://doi.org/10.1016/S0020-0255(03)00061-6
Abd El-Monsef, ME, Kozae, AM, and Iqelan, MJ (2010). Near approximations in topological spaces. International Journal of Mathematical Analysis. 4, 279-290.
Abd El-Monsef, ME, Kozae, AM, and Abu-Gdairi, RA (2011). Generalized near rough probability in topological spaces. International Journal of Contemporary Mathematical Sciences. 6, 1099-1110.
Ge, X, Bai, X, and Yun, Z (2012). Topological characterizations of covering for special covering-based upper approximation operators. Information Sciences. 204, 70-81. https://doi.org/10.1016/j.ins.2012.04.005
Wu, WZ, Leung, Y, and Shao, MW (2013). Generalized fuzzy rough approximation operators determined by fuzzy implicators. International Journal of Approximate Reasoning. 54, 1388-1409. https://doi.org/10.1016/j.ijar.2013.05.004
Thivagar, ML, Richard, C, and Paul, NR (2012). Mathematical innovations of a modern topology in medical events. International Journal of Information Science. 2, 33-36. http://doi.org/10.5923/j.ijis.20120204.01
Tripathy, BK, and Nagaraju, M (2012). On some topological properties of pessimistic multigranular rough sets. International Journal of Intelligent Systems and Applications. 4, 10-17. https://doi.org/10.5815/ijisa.2012.08.02
Wang, C, Chen, D, and Hu, Q (2013). On rough approximations of groups. International Journal of Machine Learning and Cybernetics. 4, 445-449. https://doi.org/10.1007/s13042-012-0108-6
Xu, J, Yin, Y, and Tao, Z (2013). Rough approximation-based random model for quarry location and stone materials transportation problem. Canadian Journal of Civil Engineering. 40, 897-908. https://doi.org/10.1139/cjce-2012-0212
Feng, F, Liu, X, Leoreanu-Fotea, V, and Jun, YB (2011). Soft sets and soft rough sets. Information Sciences. 181, 1125-1137. https://doi.org/10.1016/j.ins.2010.11.004
Liu, Y, Martinez, L, and Qin, K (2017). A comparative study of some soft rough sets. Symmetry. 9. article no 252
Chatterjee, A, Mukherjee, S, and Kar, S (2018). A rough approximation of fuzzy soft set-based decision-making approach in supplier selection problem. Fuzzy Information and Engineering. 10, 178-195. https://doi.org/10.1080/16168658.2018.1517973
Al-Quran, A, Hassan, N, and Marei, E (2019). A novel approach to neutrosophic soft rough set under uncertainty. Symmetry. 11. article no 384
Riaz, M, Smarandache, F, Karaaslan, F, Hashmi, MR, and Nawaz, I (2020). Neutrosophic soft rough topology and its applications to multi-criteria decision-making. Neutrosophic Sets and Systems. 35, 198-219.
Ayub, S, Shabir, M, and Mahmood, W (2020). New types of soft rough sets in groups based on normal soft groups. Computational and Applied Mathematics. 39. article no 67
Pawlak, Z, and Skowron, A (2007). Rudiments of rough sets. Information Sciences. 177, 3-27. https://doi.org/10.1016/j.ins.2006.06.003
Maji, PK, Biswas, R, and Roy, AR (2003). Soft set theory. Computers & Mathematics with Applications. 45, 555-562. https://doi.org/10.1016/S0898-1221(03)00016-6
Herawan, T, and Deris, MM (2010). Soft decision making for patients suspected influenza. Computational Science and Its Applications ? ICCSA2010. Heidelberg, Germany: Springer, pp. 405-418 https://doi.org/10.1007/978-3-642-12179-134
Abbas, K, Mikler, AR, and Gatti, R . Temporal analysis of infectious diseases: influenza., Proceedings of the 2005 ACM Symposium on Applied Computing, 2005, Santa Fe, NM, Array, pp.267-271. https://doi.org/10.1145/1066677.1066740

Biographies

Go to

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion
Acknowledgments
Conflict of Interest
Tables
References
Biographies

Shawkat Alkhazaleh is an associate professor in the Department of Mathematics at Jadara University in Jordan. He received his M.A. and Ph.D. from the National University of Malaysia (UKM). He specializes in fuzzy sets and soft fuzzy sets and topics related to uncertainty, and has extensive research in this field. He is currently working as a vice dean for scientific research at Jadara University in addition to his work as a faculty member at the College of Science and Information Technology.

E-mail: shmk79@gmail.com

Emad A. Marei received B.Sc. degrees in mathematics from Zagazig University, Egypt (1999), M.Sc. degrees in Topology, Zagazig University, Egypt (2007), and PhD. degrees in Topological Near Sets from Tanta University, Tanta, Egypt, in 2012. He worked as a teacher of mathematics at El-Azher, Egypt(2001–2008), a lecturer in the Department of Mathematics, College of Science in Dawadmi, King Saud University, KSA(2009–2012), and an assistant professor in the Department of Mathematics, College of Science and Art, Shaqra, Shaqra University, KSA, from 2012. His research interests included information systems, topology, rough sets, near sets, fuzzy logic, and neutrosophic logic. He passed away in 2018.

Article

Original Article

International Journal of Fuzzy Logic and Intelligent Systems 2021; 21(2): 123-134

Published online June 25, 2021 https://doi.org/10.5391/IJFIS.2021.21.2.123

New Soft Rough Set Approximations

Shawkat Alkhazaleh¹ and Emad A. Marei²

Correspondence to:Shawkat Alkhazaleh (shmk79@gmail.com)

Received: December 18, 2020; Revised: April 10, 2021; Accepted: April 30, 2021

Abstract

Keywords: Rough sets, Rough concepts, Soft sets, Soft rough sets, Rough set approximations, Soft rough set approximations

1. Introduction

2. Preliminaries

In this section, we recall the definition of the information system, soft set, rough set, and soft rough set approximations with their properties.

Definition 2.1 ([42])

Let U be a universe and E be a set of parameters where P(U) be the power set of U and A ⊆ E.

Definition 2.2 ([43])

Let F be a mapping

F : A \to P ? (U) .

Then, a pair (F,A) is called a soft set over U.

Definition 2.3

[x]_E is an equivalence class of an element x ∈ U, determined by the equivalence relation E, where

{[x]}_{E} = {x^{'} \in U : E (x) = E (x^{'})} .

Definition 2.4

The lower approximations E(X) of X ⊆ U are defined as follows:

\underline{E} (X) = \cup {{[x]}_{E} : {[x]}_{E} \subseteq X} .

The upper approximation ?(X) of X ⊆ U is defined as follows:

\overset{?}{E} (X) = \cup {{[x]}_{E} : {[x]}_{E} \cap X \neq φ},

The boundary approximations BND_E (X) of X ⊆ U are defined as follows:

{B N D}_{E} (X) = \overset{?}{E} (X) - \underline{E} (X) .

Definition 2.5

The accuracy measure of the degree of crispness for any X ⊆ U is denoted by α_E (X) and is defined as follows:

α_{E} (X) = \frac{? \underline{E} (X) ?}{? \overset{?}{E} (X) ?}, \overset{?}{E} (X) \neq ? .

Clearly, for 0 ≤ α_E (X) ≤ 1. X is a crisp set if ?(X) = E(X) with respect to E; otherwise, X is a rough set.

Definition 2.6

The rough membership relations to X ⊆ U for any element x ∈ U are defined as follows:

If? x \in \underline{E} (A) \Rightarrow x \underline{\in} X, ? and?if? x \in \overset{?}{E} (A) \Rightarrow x \overset{?}{\in} A .

Definition 2.7

For any two subsets X, Y ⊆ U, rough inclusion relations are defined as follows:

\begin{array}{l} X \underline{\subseteq} Y, if? \underline{E} (X) \subseteq \overline{E} (Y), \\ X \overset{?}{\subseteq} Y, if? \overset{?}{E} (X) \subseteq \overset{?}{E} (Y) . \end{array}

In the next proposition, Pawlak [17] gave the properties of its approximations as below:

Proposition 2.1

Let X, Y ⊆ U, and let (U,E) be a Pawlak approximation space. Then:

(1) E(X) ⊆ X ⊆ ?(X).
(2) E(φ) = φ = ? (φ) and E(U) = U = ? (U).
(3) ? (X ∪ Y) = ? (X) ∪ ? (Y).
(4) E(X ∩ Y) = E(X) ∩ E(Y).
(5) X ⊆ Y, then E(X) ⊆ E(Y) and ? (X) ⊆ ? (Y).
(6) E(X ∪ Y) ⊇ E(X) ∪ E(Y).
(7) ? (X ∩ Y) ⊆ ? (X) ∩ ? (Y).
(8) E(U \ X) = U \ ? (X).
(9) ? (U \ X) = U \ E(X).
(10) E(E(X)) = ? (E(X)) = E(X).
(11) ? (? (X)) = E(? (X)) = ? (X).

The following definitions and results relate to the soft rough set approximations and their properties: most of these definitions and results can be found in [36].

Definition 2.8

\begin{array}{l} {\underline{a p r}}_{P} (X) = {u \in U : \exists a \in A, [u \in F (a) \subseteq X]}, \\ {\overset{?}{a p r}}_{P} (X) = {u \in U : \exists a \in A, [u \in F (a), F (a) \cap X \neq ?]}, \\ {B n d}_{P} (X) = {\overset{?}{a p r}}_{P} (X) - {\underline{a p r}}_{P} (X) . \end{array}

If ∪{F(a), a ∈ A} = U, then (F,A) is called a full soft set.

Definition 2.9

Let P = (U, S) be a soft approximation space. Based on P, the degree of crispness of any subset X ⊆ U is determined by a soft rough accuracy measure, which is defined as

α_{{a p r}_{P}} (X) = \frac{? {\underline{a p r}}_{P} (X) ?}{? {\overset{?}{a p r}}_{P} (X) ?}, ? ? ? {\overset{?}{a p r}}_{P} (X) \neq ? .

Obviously, 0 ≤ α_apr_{_P} (X) ≤ 1. If ${\overset{?}{a p r}}_{P} (X) = {\underline{a p r}}_{P} (X)$ , then X is a soft P-definable set; otherwise, X is a soft P-rough set.

Some properties of soft rough approximations are given in the following proposition.

Proposition 2.2

Suppose the soft approximation space P = (U, S) and X, Y ⊆ U. Then,

(1) ${\underline{a p r}}_{P} (?) = {\overset{?}{a p r}}_{P} (?) = (?)$ .
(2) ${\underline{a p r}}_{P} (U) = {\overset{?}{a p r}}_{P} (U) = \cup {F (a), a \in A}$ .
(3) X ⊆ Y ⇒ apr_P (X) ⊆ apr_P (Y).
(4) $X \subseteq Y \Rightarrow {\overset{?}{a p r}}_{P} (X) \subseteq {\overset{?}{a p r}}_{P} (Y)$ .
(5) apr_P (X ∩ Y) ⊆ apr_P (X) ∩ apr_P (Y).
(6) apr_P (X ∪ Y) ⊇ apr_P (X) ∪ apr_P (Y).
(7) ${\overset{?}{a p r}}_{P} (X \cap Y) \subseteq {\overset{?}{a p r}}_{P} (X) \cap {\overset{?}{a p r}}_{P} (Y)$ .
(8) ${\overset{?}{a p r}}_{P} (X \cup Y) = {\overset{?}{a p r}}_{P} (X) \cup {\overset{?}{a p r}}_{P} (Y)$ .
(9) apr_P (apr_P (X)) = apr_P (X).
(10) ${\overset{?}{a p r}}_{P} ? ({\overset{?}{a p r}}_{P} (X)) \supseteq {\overset{?}{a p r}}_{P} (X)$ .
(11) ${\underline{a p r}}_{P} ? ({\overset{?}{a p r}}_{P} (X)) = {\overset{?}{a p r}}_{P} (X)$ .
(12) ${\overset{?}{a p r}}_{P} ? ({\underline{a p r}}_{P} (X)) \supseteq {\underline{a p r}}_{P} (X)$ .

3. New Type of Soft Rough Set Approximations

Definition 3.1

\begin{array}{l} {\underline{S R}}_{P} X = \cup {F (a), a \in A : F (a) \subseteq X}, \\ {\overset{?}{S R}}_{P} X = {[{\underline{S R}}_{P} X^{c}]}^{c}, ? where? X^{c} ? be?the?complement?of? X, \\ b_{S R_{P}} X = {\overset{?}{S R}}_{P} X - {\underline{S R}}_{P} X . \end{array}

The new soft rough approximations satisfy the following properties.

Proposition 3.1

Given a soft approximation space P = (U, S), let X, Y ⊆ U. Then:

(1) ${\underline{S R}}_{P} X \subseteq X \subseteq {\overset{?}{S R}}_{P} X$ .
(2) ${\underline{S R}}_{P} ? = ? ? and? {\overset{?}{S R}}_{P} U = U$ .
(3) X ⊆ Y ⇒ SR_P X ⊆ SR_P Y.
(4) $X \subseteq Y \Rightarrow {\overset{?}{S R}}_{P} X \subseteq {\overset{?}{S R}}_{P} Y$ .
(5) SR_P X ∩ Y ⊆ SR_P X ∩ SR_P Y.
(6) SR_P X ∪ Y ⊇ SR_P X ∪ SR_P Y.
(7) ${\overset{?}{S R}}_{P} X \cap Y \subseteq {\overset{?}{S R}}_{P} X \cap {\overset{?}{S R}}_{P} Y$ .
(8) ${\overset{?}{S R}}_{P} X \cup Y \supseteq {\overset{?}{S R}}_{P} X \cup {\overset{?}{S R}}_{P} Y$ .
(9) SR_PSR_P X = SR_P X.
(10) ${\overset{?}{S R}}_{P} {\overset{?}{S R}}_{P} X = {\overset{?}{S R}}_{P} X$ .
(11) ${\underline{S R}}_{P} {\overset{?}{S R}}_{P} X \subseteq {\overset{?}{S R}}_{P} X$ .
(12) ${\overset{?}{S R}}_{P} {\underline{S R}}_{P} X \supseteq {\underline{S R}}_{P} X$ .
(13) ${\underline{S R}}_{P} X^{c} = {[{\overset{?}{S R}}_{P} X]}^{c}$ .

Proof

(3) Let X ⊆ Y and u ∈ SR_P X = ∪{F(a), a ∈ A : F(a) ⊆ X}. Thus, ∃F(a) such that u ∈ F(a) ⊆ X. But X ⊆ Y, then u ∈ F(a) ⊆ Y. Hence, u ∈ SR_P Y. Consequently, SR_P X ⊆ SR_P Y.

(4) Let X ⊆ Y, then X^c ⊇ Y^c and then, SR_P X^c ⊇ SR_P Y^c. Hence, [SR_P X^c]^c ⊆ [SR_P Y^c]^c. Consequently, ${\overset{?}{S R}}_{P} X \subseteq {\overset{?}{S R}}_{P} Y$ .

(13) ${[{\overset{?}{S R}}_{P} X]}^{c} = {[{({\underline{S R}}_{P} X^{c})}^{c}]}^{c} = {\underline{S R}}_{P} X^{c}$ .

The following example explains why the converse of Property 1 in Proposition 3.1 cannot be true.

Example 3.1

U = {s_{1}, s_{2}, s_{3}, s_{4}, s_{5}, s_{6}},

and E is a set of parameters such as

E = {e_{1}, e_{2}, e_{3}, e_{4}, e_{5}, e_{6}, e_{7}},

where e₁ = fever, e₂ = respiratory issues, e₃ = nasal discharge, e₄ cough, e₅ = headache, e₆ = sore throat, and e₇ = lethargy.

Consider the mapping F : E → P(U) given by the following

\begin{array}{l} F (e_{1}) = {s_{1}, s_{3}, s_{4}, s_{5}, s_{6}}, \\ F (e_{2}) = {s_{1}, s_{2}}, \\ F (e_{3}) = {s_{1}, s_{2}, s_{4}}, \\ F (e_{4}) = {s_{1}}, \\ F (e_{5}) = {s_{1}, s_{4}}, \\ F (e_{6}) = {s_{1}, s_{4}}, \\ F (e_{7}) = {s_{1}, s_{3}, s_{5}, s_{6}} . \end{array}

In the following example, we show that the converse of Properties 1 and 3 in Proposition 3.1 do not hold.

Example 3.2

Further, in Proposition 3.1, the converse of Properties 5 and 8 cannot be true. The following example explains that:

Example 3.3

By the following example, we prove that the converse of Property 6, in Proposition 3.1, does not hold.

Example 3.4

From Example 3.1, if X = {s₂} and Y = {s₄}, then SR_p X = SR_p Y = ?? and SR_p X ∪ Y = {s₂, s₄}. Hence, SR_p X ∪ Y ≠ SR_p X ∪ SR_pY.

In addition, the converse of Property 7 in Proposition 3.1 does not hold. The following example explains that:

Example 3.5

The converse of Properties 11 and 12 in Proposition 3.1 do not hold. The following example explains that:

Example 3.6

Remark 3.1

Let P = (U, S) be a soft approximation space. Then, the following properties do not hold:

SR_pU = U.
${\overset{?}{S R}}_{p} ? = ?$ .

The following example explain 3.1.

Example 3.7

\begin{array}{l} F (e_{1}) = {s_{1}, s_{6}}, \\ F (e_{2}) = {s_{3}}, \\ F (e_{3}) = ?, \\ F (e_{4}) = {s_{1}, s_{2}, s_{5}} . \end{array}

Hence, we obtain the following results: SR_pU = {s₁, s₂, s₃, s₅, s₆} and ${\overset{?}{S R}}_{p} ? = {s_{4}}$ . Thus, SR_pU ≠ U and ${\overset{?}{S R}}_{p} ? = ?$ .

Proposition 3.2

In a soft approximation space P = (U, S), let X, Y ⊆ U. Then,

(1) SR_p X ? Y ⊆ SR_p X ? SR_pY.
(1) ${\overset{?}{S R}}_{p} X - Y ? (need?not?to?be) \supseteq {\overset{?}{S R}}_{p} X - {\overset{?}{S R}}_{p} Y$ .

Proof

The converse of Property 1 in Proposition 3.2 does not hold. The following example explains that:

Example 3.8

In Example 3.1, if X = {s₁, s₂} and Y = {s₁}, then SR_p X = {s₁, s₂}, SR_pY = {s₁}, SR_p X ? Y = ??, and SR_p X ? SR_p Y = {s₂}. Hence, SR_p X ? SR_p Y ≠ SR_p X ? Y.

The following example proves Property 2 of Proposition 3.2.

Example 3.9

A comparison between soft rough and modified soft rough properties is presented in Table 4.

Remark 3.2

Let P = (U, S) be a soft approximation space and X, Y ⊆ U. Then, we can create Table 4 as a comparison between the soft rough and modified soft rough properties as follows:

The following example illustrates 1, 2 and 3, of Table 4.

Example 3.10

The following example illustrates 4, of Table 4.

Example 3.11

The following example illustrates 5, of Table 4.

Example 3.12

The following example illustrates 6, of Table 4.

Example 3.13

The following example illustrates 7, of Table 4.

Example 3.14

4. Modified Soft Rough Concepts

For any subset X ⊆ U, the modified soft definability is defined below.

Definition 4.1

Let S = (F,A) be a soft set over a universe U, and let P = (U, S) be a soft approximation space. Based on P, X ⊆ U is called

(1) Totally SR_P-definable (SR_P-exact) set, if ${\underline{S R}}_{p} X = {\overset{?}{S R}}_{p} X = X$ .
(2) Internally SR_P-definable set, if SR_p X = X and ${\overset{?}{S R}}_{p} X \neq X$ .
(3) Externally SR_P-definable set, if SR_p X ≠ X and ${\overset{?}{S R}}_{p} X = X$ .
(4) Totally SR_P-rough set, if SR_p X ≠ X and ${\overset{?}{S R}}_{p} X \neq X$ .

The following example explains Definition 4.1.

Example 4.1

The SR_P-soft rough membership relations is defined as follows:

Definition 4.2

\begin{array}{l} x {\overset{?}{\in}}_{S R_{P}} X, ? ? ? if? ? ? x \in {\overset{?}{S R}}_{p} X, \\ x {\underset{?}{\in}}_{S R_{P}} X, ? ? ? if? ? ? x \in {\underline{S R}}_{p} X . \end{array}

Proposition 4.1

In a soft approximation space P = (U, S), let X ⊆ U and x ∈ U. Then,

(1) x∈_SR_{_P}X → x ∈ X.
(2) x??_SR_{_P}X → x ? X.

Proof

The proof is straightforward from Definition 4.2 and Proposition 3.1.

The converse of Proposition 4.1 does not hold. The following example explains that:

Example 4.2

In the following definition, SR_P-soft rough inclusion relations are defined.

Definition 4.3

\begin{array}{l} X {\underset{?}{\subset}}_{S R_{P}} Y, ? if? ? ? {\underline{S R}}_{p} X \subseteq {\underline{S R}}_{p} Y, \\ X {\overset{?}{\subset}}_{S R_{P}} Y, ? if? ? ? {\overset{?}{S R}}_{p} X \subseteq {\overset{?}{S R}}_{p} Y . \end{array}

Proposition 4.2

In a soft approximation space P = (U, S), let X, Y ⊆ U. Then,

(1) X ⊆ Y → X $\underset{?}{\subset}$ _SR_{_P}Y.
(2) X ⊆ Y → X ⊂?_SR_{_P}Y.

Proof

The proof is straightforward from Proposition 3.1.

The converse of Proposition 4.2 does not hold. The following example explains that:

Example 4.3

In the following definition, SR_P-soft rough equalities relations are defined.

Definition 4.4

Let S = (F,A) be a soft set over a universe U, and let P = (U, S) be a soft approximation space and let X, Y ⊆ U. Based on P, SR_P-soft rough equality relations are defined as follows:

\begin{array}{l} X {\overset{?}{\sim}}_{S R_{P}} Y, ? if? ? ? {\underline{S R}}_{p} X = {\underline{S R}}_{p} Y, \\ X {\underline{\sim}}_{S R_{P}} Y, ? if? ? ? {\overset{?}{S R}}_{p} X = {\overset{?}{S R}}_{p} Y, \\ X ?_{S R_{P}} Y, ? if? ? ? X {\overset{?}{\sim}}_{S R_{P}} Y ? and? X {\underline{\sim}}_{S R_{P}} Y . \end{array}

The following example illustrates Definition 4.4.

Example 4.4

Proposition 4.3

In a soft approximation space P = (U, S), let X, Y ⊆ U. Then,

(1) X ? _SR_{_P}SR_p X.
(2) $X {\underline{\sim}}_{S R_{P}} {\overset{?}{S R}}_{p} X$ .
(3) X = Y → X ?_SR_{_P}Y.
(4) X ⊆ Y, Y ? _SR_{_P} ?? → X ? _SR_{_P} ??.
(5) X ⊆ Y, X ? _SR_{_P}U → Y ? _SR_{_P}U.
(6) X ⊆ Y, Y ? _SR_{_P} ?? → X ? _SR_{_P} ??.
(7) X ⊆ Y, X ? _SR_{_P}U → Y ? _SR_{_P}U.
(8) X^c ? _SR_{_P}Y^c → X ? _SR_{_P}Y.
(9) X^c ? _SR_{_P}Y^c → X ? _SR_{_P}Y.

Proof

The proof is straightforward from Proposition 3.1.

Using the SR_P-accuracy measure, the degree of SR_P-crispness of any X ⊆ U, denoted by C_SR_{_P}X is defined as follows:

Definition 4.5

Let S = (F,A) be a soft set over a universe U, and let P = (U, S) be a soft approximation space and let X ⊆ U. Based on P, C_SR_{_P}X is

C_{S R_{P}} X = \frac{{\underline{S R}}_{p} X}{{\overset{?}{S R}}_{p} X}, ? X \neq φ .

Proposition 4.4

Let S = (F,A) be a full soft set over a universe U, and let P = (U, S) be a soft approximation space and let X ⊆ U. Then,

(1) ${\overset{?}{S R}}_{p} X \subseteq {\overset{?}{a p r}}_{p} (X)$ .
(2) X is totally SR_P-soft definable set, if and only if, C_SR_{_P}X = 1.
(3) X is soft P-definable set → X is totally SR_P-soft definable set.
(4) X is totaly SR_P-soft rough set → X is soft P-soft rough set.

Proof

(4) Proof of Property 4 comes directly from Property 3.

The following example shows that the inverse of Properties 1, 2, and 4, from Proposition 4.4, does not hold.

Example 4.5

Example 4.6

From Example 3.1, we can create Table 5.

5. Conclusion

Abstract
1. Introduction
2. Preliminaries
3. New Type of Soft Rough Set Approximations
4. Modified Soft Rough Concepts
5. Conclusion

Tabular representation of the soft set (F,E).

Object	e₁	e₂	e₃	e₄	e₅	e₆	e₇
s₁	Yes	Yes	Yes	Yes	No	No	Yes
s₂	No	Yes	Yes	No	No	Yes	No
s₃	Yes	No	No	No	Yes	No	Yes
s₄	Yes	No	Yes	No	Yes	Yes	No
s₅	Yes	No	No	No	No	No	Yes
s₆	Yes	No	No	No	No	No	Yes

Boolean tabular representation of the soft set (F,E).

Object	e₁	e₂	e₃	e₄	e₅	e₆	e₇
s₁	1	1	1	1	0	0	1
s₂	0	1	1	0	0	1	0
s₃	1	0	0	0	1	0	1
s₄	1	0	1	0	1	1	0
s₅	1	0	0	0	0	0	1
s₆	1	0	0	0	0	0	1

Boolean tabular representation of the soft set in Example 3.7.

Objects	e₁	e₂	e₄
s₁	1	0	1
s₂	0	0	1
s₃	0	1	0
s₄	0	0	0
s₅	0	0	1
s₆	1	0	0

Comparison between soft rough and modified soft rough properties.

	Traditional soft rough properties	Modified soft rough
1	apr?p(X)?(may?be)⊆X	X⊆SR?pX
2	apr?p(U)⊆U	SR?pU=U
3	apr?p(?)=?	SR?p??(need?not?be)=?
4	apr?p(X∪Y)=apr?p(X)∪apr?p(Y)	SR?pX∪Y⊇SR?pX∪SR?pY,
5	apr?p(apr?p(X))⊇apr?p(X)	SR?pSR?pX=SR?pX
6	apr_p(apr?p(X))=apr?p(X)	SR_pSR?pX⊆SR?pX
7	apr_p(Xc)⊇[apr?p(X)]c, if ∪F(a) = U, a ∈A	SR_pXc=[SR?pX]c

Comparison between traditional full and modified soft rough approaches.

X ⊆ U	α_apr_PX	C_SR_PX
{s₁}	1/6	1/3
{s₁, s₂}	1/3	1/2
{s₁, s₃}	1/6	1/4
{s₁, s₅}	1/6	1/3
{s₂, s₄}	1/3	1
{s₃, s₄}	1/3	1/2
{s₁, s₂, s₅}	1/3	1/2
{s₁, s₃, s₅}	1/6	1/4
{s₁, s₅, s₆}	1/6	1/3
{s₂, s₃, s₄}	1/2	3/5
{s₂, s₄, s₅}	1/3	2/5
{s₃, s₄, s₅}	1/3	1/2
{s₁, s₃, s₅, s₆}	2/3	1
{s₂, s₃, s₄, s₅}	1/2	3/5
{s₂, s₄, s₅, s₆}	1/3	2/5
{s₃, s₄, s₅, s₆}	1/3	1/2
{s₂, s₃, s₄, s₅, s₆}	1/2	3/5

References

Zadeh, LA (1965). Fuzzy sets. Information and Control. 8, 338-353. https://doi.org/10.1016/S0019-9958(65)90241-X
Atanassov, KT (1986). Intuitionistic fuzzy sets. Fuzzy Sets and Systems. 20, 87-96. https://doi.org/10.1016/S0165-0114(86)80034-3
Gau, WL, and Buehrer, DJ (1993). Vague sets. IEEE Transactions on Systems, Man, and Cybernetics. 23, 610-614. https://doi.org/10.1109/21.229476
Gorzałczany, MB (1987). A method of inference in approximate reasoning based on interval-valued fuzzy sets. Fuzzy Sets and Systems. 21, 1-17. https://doi.org/10.1016/0165-0114(87)90148-5
Molodtsov, D (1999). Soft set theory: first results. Computers & Mathematics with Applications. 37, 19-31. https://doi.org/10.1016/S0898-1221(99)00056-5
Maji, PK, Roy, AR, and Biswas, R (2002). An application of soft sets in a decision making problem. Computers & Mathematics with Applications. 44, 1077-1083. https://doi.org/10.1016/S0898-1221(02)00216-X
Maji, P, Biswas, R, and Roy, A (2001). Fuzzy soft sets. Journal of Fuzzy Mathematics. 9, 589-602.
Yang, X, Lin, TY, Yang, J, Li, Y, and Yu, D (2009). Combination of interval-valued fuzzy set and soft set. Computers & Mathematics with Applications. 58, 521-527. https://doi.org/10.1016/j.camwa.2009.04.019
Chen, D, Tsang, ECC, Yeung, DS, and Wang, X (2005). The parametrization reduction of soft sets and its applications. Computers & Mathematics with Applications. 49, 757-763. https://doi.org/10.1016/j.camwa.2004.10.036
Adam, F, and Hassan, N (2014). Q-fuzzy soft set. Applied Mathematical Sciences. 8, 8689-8695. http://dx.doi.org/10.12988/ams.2014.410865
Alkhazaleh, S, and Salleh, A (2014). Fuzzy soft expert set and its application. Applied Mathematics. 5, 1349-1368. http://dx.doi.org/10.4236/am.2014.59127
Broumi, S, Majumdar, P, and Smarandache, F (2014). New operations on intuitionistic fuzzy soft sets based on second Zadeh’s logical operators. Journal of New Results in Science. 3, 71-81.
Chakraborty, RP, and Mukherjee, P (2015). On generalised fuzzy soft topological spaces. African Journal of Mathematics and Computer Science Research. 8, 1-11. https://doi.org/10.5897/AJMCSR2014.0562
Demir, I, and Ozbakir, OB (2015). Some properties of fuzzy soft proximity spaces. The Scientific World Journal. 2015. article no 752634
Li, Z, and Xie, T (2015). Roughness of fuzzy soft sets and related results. International Journal of Computational Intelligence Systems. 8, 278-296. https://doi.org/10.1080/18756891.2015.1001951
Alkhazaleh, S, and Hazaymeh, AA (2018). N-valued refined neutrosophic soft sets and their applications in decision making problems and medical diagnosis. Journal of Artificial Intelligence and Soft Computing Research. 8, 79-86. https://doi.org/10.1515/jaiscr-2018-0005
Pawlak, Z (1982). Rough sets. International Journal of Computer & Information Sciences. 11, 341-356. https://doi.org/10.1007/BF01001956
Slowinski, R, and Vanderpooten, D (2000). A generalized definition of rough approximations based on similarity. IEEE Transactions on Knowledge and Data Engineering. 12, 331-336.
Yao, YY, and Wong, SKM . Generalization of rough sets using relationships between attribute values., Proceedings of the 2nd Annual Joint Conference on Information Sciences, 1995, Wrightsville Beach, NC, pp.30-33.
Pomykala, JA (1987). Approximation operations in approximation space. Bulletin of the Polish Academy of Sciences. 35, 653-662.
Tsang, EC, Chen, D, Lee, JW, and Yeung, DS . On the upper approximations of covering generalized rough sets., Proceedings of 2004 International Conference on Machine Learning and Cybernetics (IEEE Cat 04E X826), 2004, Shanghai, China, Array, pp.4200-4203. https://doi.org/10.1109/ICMLC.2004.1384576
Kim, YC, and Kim, YS (2011). Rough approximations on preordered sets. International Journal of Fuzzy Logic and Intelligent Systems. 11, 299-304. https://doi.org/10.5391/IJFIS.2011.11.4.299
Yun, SM, and Lee, SJ (2015). Intuitionistic fuzzy rough approximation operators. International Journal of Fuzzy Logic and Intelligent Systems. 15, 208-125. https://doi.org/10.5391/IJFIS.2015.15.3.208
Yao, YY (1996). Two views of the theory of rough sets in finite universes. International Journal of Approximate Reasoning. 15, 291-317. https://doi.org/10.1016/S0888-613X(96)00071-0
Skowron, A, and Stepaniuk, J (1996). Tolerance approximation spaces. Fundamenta Informaticae. 27, 245-253. https://doi.org/10.3233/fi-1996-272311
Greco, S, Matarazzo, B, and Slowinski, R (2002). Rough approximation by dominance relations. International Journal of Intelligent Systems. 17, 153-171. https://doi.org/10.1002/int.10014
Leung, Y, and Li, D (2003). Maximal consistent block technique for rule acquisition in incomplete information systems. Information Sciences. 153, 85-106. https://doi.org/10.1016/S0020-0255(03)00061-6
Abd El-Monsef, ME, Kozae, AM, and Iqelan, MJ (2010). Near approximations in topological spaces. International Journal of Mathematical Analysis. 4, 279-290.
Abd El-Monsef, ME, Kozae, AM, and Abu-Gdairi, RA (2011). Generalized near rough probability in topological spaces. International Journal of Contemporary Mathematical Sciences. 6, 1099-1110.
Ge, X, Bai, X, and Yun, Z (2012). Topological characterizations of covering for special covering-based upper approximation operators. Information Sciences. 204, 70-81. https://doi.org/10.1016/j.ins.2012.04.005
Wu, WZ, Leung, Y, and Shao, MW (2013). Generalized fuzzy rough approximation operators determined by fuzzy implicators. International Journal of Approximate Reasoning. 54, 1388-1409. https://doi.org/10.1016/j.ijar.2013.05.004
Thivagar, ML, Richard, C, and Paul, NR (2012). Mathematical innovations of a modern topology in medical events. International Journal of Information Science. 2, 33-36. http://doi.org/10.5923/j.ijis.20120204.01
Tripathy, BK, and Nagaraju, M (2012). On some topological properties of pessimistic multigranular rough sets. International Journal of Intelligent Systems and Applications. 4, 10-17. https://doi.org/10.5815/ijisa.2012.08.02
Wang, C, Chen, D, and Hu, Q (2013). On rough approximations of groups. International Journal of Machine Learning and Cybernetics. 4, 445-449. https://doi.org/10.1007/s13042-012-0108-6
Xu, J, Yin, Y, and Tao, Z (2013). Rough approximation-based random model for quarry location and stone materials transportation problem. Canadian Journal of Civil Engineering. 40, 897-908. https://doi.org/10.1139/cjce-2012-0212
Feng, F, Liu, X, Leoreanu-Fotea, V, and Jun, YB (2011). Soft sets and soft rough sets. Information Sciences. 181, 1125-1137. https://doi.org/10.1016/j.ins.2010.11.004
Liu, Y, Martinez, L, and Qin, K (2017). A comparative study of some soft rough sets. Symmetry. 9. article no 252
Chatterjee, A, Mukherjee, S, and Kar, S (2018). A rough approximation of fuzzy soft set-based decision-making approach in supplier selection problem. Fuzzy Information and Engineering. 10, 178-195. https://doi.org/10.1080/16168658.2018.1517973
Al-Quran, A, Hassan, N, and Marei, E (2019). A novel approach to neutrosophic soft rough set under uncertainty. Symmetry. 11. article no 384
Riaz, M, Smarandache, F, Karaaslan, F, Hashmi, MR, and Nawaz, I (2020). Neutrosophic soft rough topology and its applications to multi-criteria decision-making. Neutrosophic Sets and Systems. 35, 198-219.
Ayub, S, Shabir, M, and Mahmood, W (2020). New types of soft rough sets in groups based on normal soft groups. Computational and Applied Mathematics. 39. article no 67
Pawlak, Z, and Skowron, A (2007). Rudiments of rough sets. Information Sciences. 177, 3-27. https://doi.org/10.1016/j.ins.2006.06.003
Maji, PK, Biswas, R, and Roy, AR (2003). Soft set theory. Computers & Mathematics with Applications. 45, 555-562. https://doi.org/10.1016/S0898-1221(03)00016-6
Herawan, T, and Deris, MM (2010). Soft decision making for patients suspected influenza. Computational Science and Its Applications ? ICCSA2010. Heidelberg, Germany: Springer, pp. 405-418 https://doi.org/10.1007/978-3-642-12179-134
Abbas, K, Mikler, AR, and Gatti, R . Temporal analysis of infectious diseases: influenza., Proceedings of the 2005 ACM Symposium on Applied Computing, 2005, Santa Fe, NM, Array, pp.267-271. https://doi.org/10.1145/1066677.1066740

Previous Article LIST Next Article

International Journalof Fuzzy Logic andIntelligent Systems

Original Article

New Soft Rough Set Approximations

Abstract

1. Introduction

2. Preliminaries

Definition 2.1 ([42])

Definition 2.2 ([43])

Definition 2.3

Definition 2.4

Definition 2.5

Definition 2.6

Definition 2.7

Proposition 2.1

Definition 2.8

Definition 2.9

Proposition 2.2

3. New Type of Soft Rough Set Approximations

Definition 3.1

Proposition 3.1

Example 3.1

Example 3.2

Example 3.3

Example 3.4

Example 3.5

Example 3.6

Remark 3.1

Example 3.7

Proposition 3.2

Example 3.8

Example 3.9

Remark 3.2

Example 3.10

Example 3.11

Example 3.12

Example 3.13

Example 3.14

4. Modified Soft Rough Concepts

Definition 4.1

Example 4.1

Definition 4.2

Proposition 4.1

Example 4.2

Definition 4.3

Proposition 4.2

Example 4.3

Definition 4.4

Example 4.4

Proposition 4.3

Definition 4.5

Proposition 4.4

Example 4.5

Example 4.6

5. Conclusion

Acknowledgments

Conflict of Interest

Tables

References

Biographies

Article

Original Article

New Soft Rough Set Approximations

Abstract

1. Introduction

2. Preliminaries

Definition 2.1 ([42])

Definition 2.2 ([43])

Definition 2.3

Definition 2.4

Definition 2.5

Definition 2.6

Definition 2.7

Proposition 2.1

Definition 2.8

Definition 2.9

Proposition 2.2

3. New Type of Soft Rough Set Approximations

Definition 3.1

Proposition 3.1

Example 3.1

International Journal
of Fuzzy Logic and
Intelligent Systems