# Soft Approximations and Uni-Int Decision Making

Authors: Athar Kharal
Journal: The Scientific World Journal
 (2014)

---

## Abstract

Notions of core, support, and inversion of a soft set have been defined and studied. Soft approximations are soft sets developed through core and support and are used for granulating the soft space. Membership structure of a soft set has been probed in and many interesting properties are presented. We present a new conjecture to solve an optimum choice problem. Our Example 31 presents a case where the new conjecture solves the problem correctly.


---

## Body

## 1. Introduction

Applications of soft set theory in many real life problems are now catching momentum. Molodtsov (1999) [1] successfully applied the soft set theory into several directions, such as smoothness of functions, Riemann integration, Perron integration, theory of probability, and theory of measurement.Soft sets have been used extensively for different decision making problems. Maji et al. (2002) [2] gave first practical application of soft sets in decision making problems. It is based on the notion of knowledge reduction in rough set theory. Chen et al. (2005) [3] made some improvements in the work of Maji et al. (2002) and introduced a new kind of parametrization reduction [3] of soft sets. Chen's reduction of parameters of a soft set is designed to offer minimal subset of the conditional parameters set while preserving the object(s) of optimal choice. In [4], the authors based their algorithm for natural texture classification on soft sets. This algorithm has a low computational complexity when compared to a Bayes technique based method for texture classification. In [5] Rose et al. (2010) applied the theory of soft set to data analysis and decision support systems again. By applying the concept of cooccurrence of parameters in an object and its support on the Boolean-valued information based on soft set theory, they propose an alternative technique termed as maximal supported sets reduct. Luo and Shen (2010) [6] proposed a suitable credit risk evaluation method using soft set theory. Their method integrates the operating characteristics with the credit risk evaluation method so that loan officers can make loan decision more accurate using the available soft information. Herawan and Deris (2010) [7] have also tackled a decision making problem of patients suspected influenza. The work is based on maximal supported objects by parameters. At this stage of the research, results are presented and discussed from a qualitative point of view against recent soft decision making techniques through an artificial dataset.Organization of the paper is as follows. In Section2, we first introduce the simple notions of core and support of a soft set. Section 3 comprises three different notions of membership structure of a soft set. We study many of the fundamental properties of soft membership therein and also give counterexamples where it is imperative. Section 4 introduces and studies the notions of upper and lower soft approximations. These approximations are shown to have links with upper and lower approximations of a subset of universe introduced by Feng et al. in [8]. Whereas the approximations of Feng et al. provide a way to granulate the universe of discourse, soft approximations granulate the soft space itself.


## 2. Preliminary Notions

Throughout this paper,X refers to an initial universe, and E is a set of parameters. Molodtsov (1999) [1] defined a soft set as a pair (F,A), where F is a mapping given by F:A→P(X) and P(X) is the power set of X. The pair (X,E), called a soft space [9, 10], is the collection of all soft sets on X with attributes from E. We shall use the words “parameter” and “attribute” interchangeably. In the sequel the cardinality of a set A is denoted as ∥A∥.Definition 1 (see [11]).
Soft union of two soft sets(F,A) and (G,B) in a soft space (X,E) is a soft set (H,C), where C=A∪B and, for all e∈C,
(1)H(e)={F(e),ife∈A-B,G(e),ife∈B-A,F(e)∪G(e),ife∈A∩B,
and is written as (F,A)∪~(G,B)=(H,C).Definition 2 (see [12]).
Extended soft intersection of two soft sets(F,A) and (G,B) in a soft space (X,E), is a soft set (H,C), where C=A∪B, and for all e∈C,
(2)H(ε)={F(e),ife∈A-B,G(e),ife∈B-A,F(e)∩G(e),ife∈A∩B,
and is written as (F,A)∩~(G,B)=(H,C). Hereafter this type of intersection will be called soft intersection in this paper.Definition 3 (see [12]).
Restricted soft union of two soft sets(F,A) and (G,B) in a soft space (X,E), such that A∩B≠ϕ, is a soft set (H,C), where C=A∩B and for all e∈C,
(3)H(e)=F(e)∪G(e).
This is written as (F,A)⋓(G,B)=(H,C).Definition 4 (see [12]).
Restricted soft intersection of two soft sets(F,A) and (G,B) in a soft space (X,E), such that A∩B≠ϕ, is a soft set (H,C), where C=A∩B and, for all e∈C,
(4)H(e)=F(e)∩G(e).
This is written as (F,A)⋒(G,B)=(H,C).Definition 5 (see [13]).
For two soft sets(F,A) and (G,B) in a soft space (X,E), we say that (F,A) is a soft subset of (G,B) if(i)
A⊆B,(ii)
for alle∈A, F(e)⊆G(e).
In the sequel, we shall write(F,A)⊆~(G,B) to denote the inclusion in the sense of Pei and Miao.Definition 6 (see [12]).
Let(X,E) be a soft space and A⊂E.(1)
(F,A) is said to be a relative null soft set denoted by Φ~A if F(e)=ϕ, for all e∈A.(2)
(G,A) is said to be a relative whole soft set denoted by X~A if F(e)=X, for all e∈A.
The relative null (resp., whole) soft setΦ~E (resp., X~E) is called null (resp., absolute) soft set and is denoted by Φ~ (resp., X~).Definition 7 (see [11]).
LetE={e1,e2,e3,…,en} be a set of parameters. The NOT set of E denoted by ⌉E is defined by ⌉E=(¬e1,¬e2,¬e3,…,¬en}, where ¬ei = not ei, for all i. (It may be noted that ⌉ and ¬ are different operators.)Definition 8.
For a soft set(F,A)={e=F(e)∣e∈A} in a soft space (X,E) the not of (F,A) is denoted and defined as
(5)(F,A)¬={e=F(e)∣e∈⌉A}.Definition 9 (see [12]).
For a soft set(F,A)={e=F(e)∣e∈A} in a soft space (X,E) the relative complement of (F,A) is denoted and defined as
(6)(F,A)c={e=(F(e))c∣e∈A}.
In this paper, hereafter, “relative complement” will be called simply a complement of soft set (F,A).


## 3. Core, Support, and Membership of a Soft Set

Definition 10.
For a soft set(F,A) in soft space (X,E) core and support of (F,A) are denoted and defined as FA_=⋂e∈AF(e) and FA¯=⋃e∈AF(e), respectively. Clearly FA_, FA¯⊆X.Few of the fundamental properties of these notions are given below.Proposition 11.
For soft sets(F,A) and (G,B) in a soft space (X,E), we have(1)
FA_⊆FA¯,(2)
(F,A)∪~(G,B)¯=FA¯∪GB¯,(3)
(F,A)⋓(G,B)¯⊆FA¯∪GB¯,(4)
(F,A)⋒(G,B)¯⊆FA¯∩GB¯,(5)
FA_∪GB_⊆(F,A)⋓(G,B)_,(6)
FA_∩GB_⊆(F,A)⋒(G,B)_,(7)
(F,A)∩~(G,B)_=FA_∩GB_,(8)
(FA¯)c⊆(F,A)c_,(9)
(F,A)c_⊆(FA_)c,(10)
(F,A)⊆~(G,B)⇒FA¯⊆GB¯.Proof.
(
3
)  x∈(F,A)⋓(G,B)¯ implies there exists ε∈A∩B such that x∈F(ε) or x∈G(ε); that is, x∈FA¯ or x∈GB¯, by definition of support. Equivalently x∈FA¯∪GB¯.
(
4
)  x∈(F,A)⋒(G,B)¯, and there exists ε∈A∩B such that x∈F(ε) and x∈G(ε); hence x∈FA¯ and x∈GB¯. Equivalently x∈FA¯∩GB¯.
(
5
) Note that A∩B≠ϕ, as otherwise restricted union is not defined. For x∈FA_∪GB_, there are two cases: if x∈FA_ and x∈GB_, both, we have x∈F(ε) for all ε∈A and x∈G(δ) for all δ∈B. Hence for all γ∈A∩B,  x∈F(γ), and x∈G(γ),  x∈(F,A)⋓(G,B)_.
In the second case, supposex∈FA_ only. Then
(7)∀ε∈A,x∈F(ε)
and as A∩B≠ϕ, let γ∈A∩B. By (7) x∈F(γ), this implies x∈F(γ)∪G(γ) for all γ∈A∩B. Equivalently x∈(F,A)⋓(G,B)_.
(
6
)  x∈FA_∩GB_, which implies
(8)∀ε∈A,x∈F(ε),(9)∀δ∈B,x∈G(δ).
For γ∈A∩B≠ϕ, we have x∈F(γ) and x∈G(γ), by (8) and (9), respectively. That is for all γ∈A∩B,  x∈F(ε)∩G(ε). This proves that x∈(F,A)⋓(G,B)_.
(
7
)  x∈FA_∩GB_, which implies
(10)∀ε∈A,x∈F(ε),(11)∀δ∈B,x∈G(δ).
Let γ∈A∪B. Then
(12)x∈F(γ)ifγ∈A∖Bby(10),x∈G(γ)ifγ∈B∖Aby(11),x∈F(γ),x∈G(γ)ifγ∈A∩Bby(10)and(11),
which implies x∈(F,A)∩~(G,B)_.
(
8
) Let x∈(FA¯)c⇒x∉FA¯⇒∄ε∈A such that x∈F(ε)⇔ for all ε∈A, and x∈(F(ε))c⇒x∈(F(ε))c_.
(
9
)  x∈(F,A)c_⇒ for all ε∈A,  x∈(F(ε))c⇒ for all ε∈A, and  x∉F(ε)⇒x∉FA_⇒x∈(FA_)c.The inclusions in (1, 3–6, 8–9) cannot be reversed in general, as it is shown in the following counterexamples.Example 12.
Let(X,E) be the soft space with X={a,b,c,d,e} and E={e1,e2,e3,e4}.
(
3
) For soft sets (F,A)={e1={a,b,c,d},e2={a,c},e3={a,b,e}}, and (G,B)={e3={a,c,e},e4={d,e}}, we have
(13)FA¯∪GB¯={a,b,c,d,e}⊈{a,b,c,e}=(F,A)⋓(G,B)¯.
(
4
) Choosing (F,A)={e2={c,d,e},e3={a,b,e}} and (G,B)={e2={c,d},e3={b,d},e4={d,e}} gives
(14)FA¯∩GB¯={b,c,d,e}⊈{b,c,d}=(F,A)⋒(G,B)¯.
(
5
) Choosing (F,A)={e1={a,b,c,d,e},e2={b,d,e},e4={a,b,d}} and (G,B)={e1={e},e2={c,e}} gives
(15)(F,A)⋓(G,B)_={b,c,d,e}⊈{b,d,e}=FA_∪GB_.
(
6
) Choose (F,A)={e3={a,b,d}} and (G,B)={e1={a,b,c,e},e2={a,c},e3={b,c,e},e4={a,b,c}}. By calculations we have
(16)(F,A)⋒(G,B)_={b}⊈{}=FA_∩GB_.
(
8
) Choose soft set (F,A)={e1={c,d},e2={b,e},e3={b,e}}, then
(17)(F,A)c¯={a,b,c,d,e}⊈{a}=(FA¯)c.
(
9
) Choose soft set FA={e2={a,e},e4={d,e}}, then
(18)(FA_)c={a,b,c,d}⊈{b,c}=(F,A)c_.The membership relation is a basic issue when speaking about sets. In classical set theory, absolute knowledge is required about elements of the universe; that is, we assume that each element of the universe can be properly classified into a setX or into its complement. In soft set theory, this is not the case, since we claim that the membership relation is not a primitive notion but one that must be based on approximate descriptions we have. Consequently, three membership relations are necessary to express the fact that some objects of the universe cannot be properly classified employing the approximate descriptions. Thus, the notion of collection of approximate descriptions of an object leads to a new conception of membership relations which we define in the following.Definition 13.
Forx∈X and a soft set (F,A) in soft space (X,E), we define “parameter set of x∈FA¯” as
(19)x(F,A)={e∈A∣x∈F(e)}.
Clearly x(F,A)⊆A⊆E.Definition 14.
For a soft set(F,A) the inverted soft set is denoted and defined as
(20)(F,A)*={x=x(F,A)∣x∈FA¯}.
Clearly for(F,A) in soft space (X,E), the inverted soft set (F,A)* is in the soft space (E,X). We may call soft space (E,X) as an inversion of soft space (X,E). In the sequel, we may use F* and A* to denote the assignment function and set of parameters of the soft set (F,A)*; equivalently, we may also write (F,A)*=(F*,A*).Definition 15.
For a soft set(F,A) in soft space (X,E), we define three types of memberships as(1)
x∈_(F,A) if and only if x∈FA_,(2)
x∈n(F,A) if and only if ∥x(F,A)∥=n,(3)
x∈¯(F,A) if and only if x∈FA¯,
wherex∈_(F,A) reads “x is a core member of (F,A)” and x∈¯(F,A) reads “x is a support member of (F,A)” and will be called lower and upper membership relations, respectively.Proposition 16.
For soft sets(F,A) and (G,B) in a soft space (X,E), we have(1)
x∈_(F,A)⇔x∈∥A∥(F,A),(2)
x∈¯(F,A)⇔x∈n(F,A),wheren≥1,(3)
x∈0(F,A)⇔x∈¯(F,A)c.From Proposition11 we immediately obtain the following properties of membership relations.Proposition 17.
For soft sets(F,A) and (G,B) in a soft space (X,E), we have:(1)
x∈_(F,A)⇒x∈¯(F,A),(2)
(F,A)⊆(G,B)⇒(x∈¯(F,A)⇒x∈¯(G,B)),(3)
x∈¯(F,A)∪(G,B)⇔x∈¯(F,A)  or  x∈¯(G,B),(4)
x∈¯(F,A)⋓(G,B)⇒x∈¯(F,A)  or  x∈¯(G,B),(5)
x∈¯(F,A)⋒(G,B)⇒x∈¯(F,A)  and  x∈¯(G,B),(6)
x∈_(F,A)  or  x∈_(G,B)⇒x∈_(F,A)⋓(G,B),(7)
x∈_(F,A)∩(G,B)⇔x∈_(F,A)  and  x∈_(G,B),(8)
x∈_(F,A)  and  x∈_(G,B)⇒x∈_(F,A)⋒(G,B),(9)
x∈_(F,A)∪(G,B)⇒x∈¯(F,A)  or  x∈¯(G,B),(10)
x∈_(F,A)⋓(G,B)⇒x∈¯(F,A)  or  x∈¯(G,B),(11)
x∈_(F,A)⋒(G,B)⇒x∈¯(F,A)  and  x∈¯(G,B).Proof.
(
2
) Let x∈¯(F,A), and then ∃ε∈A such that x∈F(ε)⊆G(ε) (by hypothesis); hence, x∈¯(G,B).
(
4
)  x∈¯(F,A)⋓(G,B)⇒∃ε∈A∩B such that x∈F(ε)∪G(ε); that is, ∃ε∈A such that x∈F(ε) or ∃ε∈B such that x∈G(ε). Equivalently x∈¯(F,A) or x∈¯(G,B).
(
5
) It is similar to (4).
(
6
) Note that A∩B≠ϕ, as otherwise restricted union is not defined. Suppose x∈_(G,B) only. Then for all ε∈B, x∈G(ε). As A and B are nondisjoint supposing ε′∈A∩B, then x∈F(ε′)∪G(ε′). Since this holds for all ε′∈A∩B, we have x∈_(F,A)⋓(G,B).In the following we give some relevant counterexamples.Example 18.
Let(X,E) be a soft space with X={a,b,c,d,e} and E={e1,e2,e3,e4}.
(
4
) Choose
(21)(F,A)={e1={b,d,e},e3={b,e},e4={b,c,d}},(G,B)={e1={a,b,e}},
and then c∈¯(F,A) but c∉¯(F,A)⋓(G,B).
(
5
) Choose
(22)(F,A)={e1={a,d},e4={a,c,e}},(G,B)={e2={d,e},e3={},e4={a,b,c}}.
Then d∈¯(F,A) and d∈¯(G,B) but d∉-(F,A)⋒(G,B).
(
6
) Choose
(23)(F,A)={e1={},e3={a,c,d}},(G,B)={e1={a,d,e},e2={a,c},000e3={a,b},e4={b,c,d,e}},
and then d∈_(F,A)⋓(G,B) but d∉_(F,A) and d∉_(G,B).
(
8
) Choose
(24)(F,A)={e3={a,c,e}},(G,B)={e1={a,d},e2={a,b},e3={a,c,d,e}}
then c∈_(F,A)⋒(G,B) but c∉_(G,B).
(
9
) Choose
(25)(F,A)={e2={a,b},e3={c,d,e},e4={a,b,d}},(G,B)={e2={e,a,d}},
and then c∈¯(F,A) but c∉_(F,A)∪(G,B).
(
10
) Choose
(26)(F,A)={e2={a,b,c},e3={c}},(G,B)={e2={b,c,e},e1={b,c},000e3={a,b},e4={a,b,c}},
and then e∈¯(G,B) but e∉_(F,A)⋓(G,B).
(
11
) Choose
(27)(F,A)={e2={b,c,d,e},e3={b,c,e}},(G,B)={e1={a,b,c,e},e3={a,d},e4={a,d}},
and then c∈¯(F,A) and c∈¯(G,B) but c∉_(F,A)⋒(G,B).


## 4. Upper and Lower Soft Approximations

Definition 19.
ForS⊆X, the induced soft set (S~,A) in (X,E), where A⊂E, is denoted and defined as
(28)S~A={e=S,∀e∈A}.
This may be called “soft extension” of a subset S of X into the soft space (X,E). The induced soft set (S~,E) is simply denoted as S~. Obviously the null, full null, absolute, and full absolute soft sets are different soft extensions of ϕ and X, respectively, with suitable choices of A. We may call S~A, a constant soft set as well.Using the above-defined notions of core, support, and constant soft set, we now define the upper and lower soft approximations as follows.Definition 20.
For a soft set(F,A) in soft space (X,E), we define
(29)(F,A)_=FA_~A,(F,A)¯=FA¯~A.(F,A)_ and (F,A)¯ are said to be lower and upper soft approximations of the soft set (F,A).Example 21.
Let(F,A) be a soft set in soft space (X,E), where X={x1,x2,x3,x4} and E={e1,e2,e3,e4} and
(30)(F,A)={e1={x1},e2={x3,x4},e4={x1,x4}}.
Then FA¯={x1,x3,x4} and FA_={x1}. Hence
(31)(F,A)¯=FA¯~A={e1={x1,x3,x4},e2={x1,x3,x4}000e4={x1,x3,x4}},(F,A)_=FA_~A={e1={x1},e2={x1},e4={x1}}.The following results are immediate.Theorem 22.
For soft sets(F,A) and (G,B) in a soft space (X,E), we have(1)
(F,A)_⊆~(F,A)⊆~(F,A)¯,(2)
(F,A)∪~(G,B)¯⊆~(F,A)¯∪~(G,B)¯,(3)
(F,A)∩~(G,B)_=~(F,A)_∩~(G,B)_,(4)
¬(F,A)¯=(F,A)¯,(5)
¬(F,A)_=(F,A)_,(6)
(F,A)⊆~(G,B)⇒(F,A)¯⊆~(G,B)¯.


### 4.1. An Application of Soft Approximation

Granular computing (GrC) is an umbrella term to cover any theories, methodologies, techniques, and tools that make use of granules in problem solving. The first appearance of the concept was in 1979 under the name of information granularity by L. A. Zadeh. Since then much research has been conducted in various aspects of granular computing. GrC has been studied by the help and applications of fuzzy set theory, rough set theory, and computing with Words. As Soft Set Theory is a general case of both FST and RST, there has been natural tendency to explore SST on lines similar to RST and FST. One such effort is the work of Feng et al. (2010) [8]. Using a soft set, the authors granulate the universe of discourse, a classical set, as follows.Definition 23.
Let𝒢=(f,A) be a soft set over U. Then the pair P=(U,𝒢) is called a soft approximation space. Based on P, we define the following two operations:
(32)apr_P(X)={u∈U:∃a∈A[u∈f(a)⊆X]},apr¯P(X)={u∈U:∃a∈A[u∈f(a),f(a)∩X≠ϕ]},
assigning to every subset X⊆U two sets apr_P(X) and apr¯P(X) called the lower and upper soft rough approximations of X in P, respectively.Remark 24.
Note that(33)apr_P(X)⊆FA¯,apr¯P(X)⊆FA_.A more interesting possibility is that of granulation of soft space itself instead of just the universe of discourse. This direction may open very promising prospects for Soft Set Theory. Making such an attempt in the following we show how the notion of soft approximation may be used for granulation of soft space.Definition 25.
Soft sets(F,A) and (G,B) in a soft space (X,E) are said to be g-related (read as “granule related”) if
(34)FA¯=GB¯,FA_=GB_.
It is denoted as (F,A)≑(G,B).Definition 26.
For a soft set(F,A) in soft space (X,E), the class of all g-related soft sets is denoted as 〈(F,A)〉. Symbolically
(35)〈(F,A)〉={(G,B)∣(G,B)≑(F,A)}.Besides an investigation into the nature of the abovementioned granulation of soft space, it would also be a very interesting direction of research to investigate the granulation of a soft space(X,E) and its relation with the granulation of inverted soft space (E,X) for a given soft set (F,A). Such a granulation of inverted soft space may be sketched as
(36)〈(F,A)〉*={(H,C)∈(E,X)∣(H,C)≑(F,A)*}.
While this direction of investigation is under our study now, results from other researchers are most eagerly awaited.We now present the main result of this work: proving that the uni-int expression [14] is equivalent to a much simpler expression comprising only core and support of soft sets. For this we have the following.Theorem 27.
For soft sets we have(i)
unixinty(FA,GB)=FA¯∩GB_,(ii)
uniyintx(FA,GB)=GB¯∩FA_,(iii)
uni-int(FA,GB)=[FA¯∩GB_]∪[GB¯∩FA_].Proof.
(i) Suppose(37)u∈⋃x∈A(⋂y∈BfA∧B(x,y))⟺u∈⋂y∈BfA∧B(x,y)forsomex∈A⟺u∈fA∧B(x,y)∀y∈B⟺u∈fA∧B(x,y)forsomex∈A,∀y∈B⟺u∈fA(x)forsomex∈A,u∈fB(y)∀y∈B⟺u∈FA¯,u∈GB_⟺u∈FA¯∩GB_.
(ii) It is similar to (i).
(iii) It follows directly from definition and (i) and (ii).By optimum choice we mean the following.Definition 28.
For two soft sets(F,A) and (G,B) in soft space (X,E), an element x∈X is said to be an optimum choice if both ∥x(F,A)∥ and ∥x(G,B)∥ are simultaneously as larger as possible.A possible improvement of the uni-int method may be given as(38)optimum-choice=unixinty(FA,GB)∩uniyintx(FA,GB).
Such an improvement in the uni-int method still does not set this method to be fully valid. For example if the sets unixint⁡y and uniyint⁡x are disjoint, the improved uni-int method fails to furnish a result. Such a case is in fact more frequently occurring in real decision making environments, where seldom an object fulfills all the required attributes. We illustrate this in the following.Example 29.
Suppose that a married couple, Mr. X and Mrs. X, come to the real estate agent to buy a house. If each partner has to consider their own set of parameters, then we select a house on the basis of the sets of partners. First, Mr. X and Mrs. X have to choose the sets of their parameters,A={e2,e3,e4} and B={e1,e3,e4}, respectively. We can now write the following soft sets depending upon the parameters of each Mr. X and Mrs. X:
(39)(F,A)={e2={u2,u3,u4},e3={u4,u5},000e4={u1,u2,u4,u5}},(G,B)={e1={u2,u3,u4},e3={u3,u5},000e4={u1,u2,u3}}.
Then the calculations show that
(40)unixint⁡y(FA,GB)={u3},uniyint⁡x(FA,GB)={u4}.
Hence,
(41)uni-int(FA,GB)=unixint⁡y(FA,GB)∩uniyint⁡x(FA,GB)=ϕ.
Hence Cagman’s uni-int gives incorrect decision and the improved uni-int does not yield any result. But a close examination of the soft sets (F,A) and (G,B) reveals that the house u2 is the one which fulfills maximum attributes of both Mr. X and Mrs. X. Table 1 shows the analysis.Table 1
House
Attributes fulfilled
Mr.X
Mrs.X
u
2
e
2, e4
e
1, e4
u
3
e
3
e
1, e3, e4
u
4
e
2, e3, e4
e
1It is also noteworthy that the attributee4 is shared by both Mr. X and Mrs. X. Consequently, in such a case u2 should be chosen to be the optimum choice (cf. Definition 28).In view of all the points raised in our above comments, we propose the following.Conjecture 30.
For soft sets(F,A) and (G,B) in a soft space (X,E), the optimum choice is given as
(42){u∈C*∣H*(u)≠ϕ,∥F*(u)∥∥G*(u)∥h-∥F*(u)∥-∥G*(u)∥ismaximum},
where (H,C)*=(F,A)*⋒(G,B)*.The conjecture requires that there should be at least one common attribute for both parties; for otherwise, it would be an unrealistic problem. The expression(F,A)*⋒(G,B)* ensures that the common attributes are considered on priority. The expression ∥F*(u)∥∥G*(u)∥-∥F*(u)∥-∥G*(u)∥ is meant to satisfy as many attributes of both parties as possible, while treating each one at par. This conjecture is applicable to the class of decision problems where maximum possible requirements of two parties are to be satisfied simultaneously (cf. Definition 28).In the following we give a detailed example to illustrate Conjecture30.Example 31.
Assume that a real estate agent has a set of different types of housesU={u1,u2,u3,u4,u5} which may be characterized by a set of parameters E={e1,e2,e3,e4,e5,e6,e7}. For i=1,…,7 the parameters ei stand for “in good location,” “cheap,” “modern,” “large,” “wooden,” “beautiful,” and “wide,” respectively. Suppose that this time another married couple, Mr. Y and Mrs. Y, come to the real estate agent to buy a house. If each partner has to consider their own set of parameters, then we select a house on the basis of the sets of partners. First, Mr. Y and Mrs. Y have to choose the sets of their parameters, A={e1,e4,e5,e6,e7} and B={e2,e3,e4,e5,e6,e7}, respectively. We can now write the following soft sets depending upon the parameters of each Mr. Y and Mrs. Y:
(43)(F,A)={e1={u1,u3,u4,u5},e4={u4},000e5={u2},e6={u3},e7={u3}},(G,B)={{u3,u4}e2={u2,u3,u5},e3={u2,u3,u5},000e4={u1,u2},e5={u2,u3,u4},000e6={u1,u2,u4,u5},e7={u3,u4}}.
Using uni-int method of Cagman we get
(44)unixint⁡y={},uniyint⁡x={},uni-int⁡Cagman={},uni-int⁡improved={}.
Clearly, both uni-int methods, that is, Cagman’s and the improved one do not yield any result here. We now solve this using Conjecture 30 as follows:
(45)(F,A)*={u1={e1},u2={e5},u3={e1,e6,e7},000u4={e1,e4},u5={e1}},(G,B)*={u1={e4,e6},u2={e2,e3,e4,e5,e6},000u3={e2,e3,e5,e7},u4={e5,e6,e7},000u5={e2,e3,e6}},(H,C)*=(F,A)*⋒(G,B)*={u1={},u2={e5},u3={e7},u4={},u5={}}.
Calculating the decision value for each u∈C* such that H*(u)≠ϕ, we get
(46)(u2,-3),(u3,2).
Clearly optimum choice is u3 as it carries the maximum decision value of 2. The choice of u3 as optimum choice is justified as it satisfies one consensus attribute, namely, e7, three attributes of (F,A), and four attributes of (G,B). Thus u3 is the optimum choice in view of Definition 28. Table 2 makes the claim more clear.Table 2
House
Mr.Y
Mrs.Y
Attrib.
Count
Attrib.
Count
u
1
e
1
1
e
4, e6
2
u
2
e
5
1
e
2, e3, e4, e5, e6
5
u
3
e
1, e6, e7
3
e
2, e3, e5, e7
4
u
4
e
1, e4
2
e
5, e6, e7
3
u
5
e
1
1
e
2, e3, e6
3


## 4.1. An Application of Soft Approximation

Granular computing (GrC) is an umbrella term to cover any theories, methodologies, techniques, and tools that make use of granules in problem solving. The first appearance of the concept was in 1979 under the name of information granularity by L. A. Zadeh. Since then much research has been conducted in various aspects of granular computing. GrC has been studied by the help and applications of fuzzy set theory, rough set theory, and computing with Words. As Soft Set Theory is a general case of both FST and RST, there has been natural tendency to explore SST on lines similar to RST and FST. One such effort is the work of Feng et al. (2010) [8]. Using a soft set, the authors granulate the universe of discourse, a classical set, as follows.Definition 23.
Let𝒢=(f,A) be a soft set over U. Then the pair P=(U,𝒢) is called a soft approximation space. Based on P, we define the following two operations:
(32)apr_P(X)={u∈U:∃a∈A[u∈f(a)⊆X]},apr¯P(X)={u∈U:∃a∈A[u∈f(a),f(a)∩X≠ϕ]},
assigning to every subset X⊆U two sets apr_P(X) and apr¯P(X) called the lower and upper soft rough approximations of X in P, respectively.Remark 24.
Note that(33)apr_P(X)⊆FA¯,apr¯P(X)⊆FA_.A more interesting possibility is that of granulation of soft space itself instead of just the universe of discourse. This direction may open very promising prospects for Soft Set Theory. Making such an attempt in the following we show how the notion of soft approximation may be used for granulation of soft space.Definition 25.
Soft sets(F,A) and (G,B) in a soft space (X,E) are said to be g-related (read as “granule related”) if
(34)FA¯=GB¯,FA_=GB_.
It is denoted as (F,A)≑(G,B).Definition 26.
For a soft set(F,A) in soft space (X,E), the class of all g-related soft sets is denoted as 〈(F,A)〉. Symbolically
(35)〈(F,A)〉={(G,B)∣(G,B)≑(F,A)}.Besides an investigation into the nature of the abovementioned granulation of soft space, it would also be a very interesting direction of research to investigate the granulation of a soft space(X,E) and its relation with the granulation of inverted soft space (E,X) for a given soft set (F,A). Such a granulation of inverted soft space may be sketched as
(36)〈(F,A)〉*={(H,C)∈(E,X)∣(H,C)≑(F,A)*}.
While this direction of investigation is under our study now, results from other researchers are most eagerly awaited.We now present the main result of this work: proving that the uni-int expression [14] is equivalent to a much simpler expression comprising only core and support of soft sets. For this we have the following.Theorem 27.
For soft sets we have(i)
unixinty(FA,GB)=FA¯∩GB_,(ii)
uniyintx(FA,GB)=GB¯∩FA_,(iii)
uni-int(FA,GB)=[FA¯∩GB_]∪[GB¯∩FA_].Proof.
(i) Suppose(37)u∈⋃x∈A(⋂y∈BfA∧B(x,y))⟺u∈⋂y∈BfA∧B(x,y)forsomex∈A⟺u∈fA∧B(x,y)∀y∈B⟺u∈fA∧B(x,y)forsomex∈A,∀y∈B⟺u∈fA(x)forsomex∈A,u∈fB(y)∀y∈B⟺u∈FA¯,u∈GB_⟺u∈FA¯∩GB_.
(ii) It is similar to (i).
(iii) It follows directly from definition and (i) and (ii).By optimum choice we mean the following.Definition 28.
For two soft sets(F,A) and (G,B) in soft space (X,E), an element x∈X is said to be an optimum choice if both ∥x(F,A)∥ and ∥x(G,B)∥ are simultaneously as larger as possible.A possible improvement of the uni-int method may be given as(38)optimum-choice=unixinty(FA,GB)∩uniyintx(FA,GB).
Such an improvement in the uni-int method still does not set this method to be fully valid. For example if the sets unixint⁡y and uniyint⁡x are disjoint, the improved uni-int method fails to furnish a result. Such a case is in fact more frequently occurring in real decision making environments, where seldom an object fulfills all the required attributes. We illustrate this in the following.Example 29.
Suppose that a married couple, Mr. X and Mrs. X, come to the real estate agent to buy a house. If each partner has to consider their own set of parameters, then we select a house on the basis of the sets of partners. First, Mr. X and Mrs. X have to choose the sets of their parameters,A={e2,e3,e4} and B={e1,e3,e4}, respectively. We can now write the following soft sets depending upon the parameters of each Mr. X and Mrs. X:
(39)(F,A)={e2={u2,u3,u4},e3={u4,u5},000e4={u1,u2,u4,u5}},(G,B)={e1={u2,u3,u4},e3={u3,u5},000e4={u1,u2,u3}}.
Then the calculations show that
(40)unixint⁡y(FA,GB)={u3},uniyint⁡x(FA,GB)={u4}.
Hence,
(41)uni-int(FA,GB)=unixint⁡y(FA,GB)∩uniyint⁡x(FA,GB)=ϕ.
Hence Cagman’s uni-int gives incorrect decision and the improved uni-int does not yield any result. But a close examination of the soft sets (F,A) and (G,B) reveals that the house u2 is the one which fulfills maximum attributes of both Mr. X and Mrs. X. Table 1 shows the analysis.Table 1
House
Attributes fulfilled
Mr.X
Mrs.X
u
2
e
2, e4
e
1, e4
u
3
e
3
e
1, e3, e4
u
4
e
2, e3, e4
e
1It is also noteworthy that the attributee4 is shared by both Mr. X and Mrs. X. Consequently, in such a case u2 should be chosen to be the optimum choice (cf. Definition 28).In view of all the points raised in our above comments, we propose the following.Conjecture 30.
For soft sets(F,A) and (G,B) in a soft space (X,E), the optimum choice is given as
(42){u∈C*∣H*(u)≠ϕ,∥F*(u)∥∥G*(u)∥h-∥F*(u)∥-∥G*(u)∥ismaximum},
where (H,C)*=(F,A)*⋒(G,B)*.The conjecture requires that there should be at least one common attribute for both parties; for otherwise, it would be an unrealistic problem. The expression(F,A)*⋒(G,B)* ensures that the common attributes are considered on priority. The expression ∥F*(u)∥∥G*(u)∥-∥F*(u)∥-∥G*(u)∥ is meant to satisfy as many attributes of both parties as possible, while treating each one at par. This conjecture is applicable to the class of decision problems where maximum possible requirements of two parties are to be satisfied simultaneously (cf. Definition 28).In the following we give a detailed example to illustrate Conjecture30.Example 31.
Assume that a real estate agent has a set of different types of housesU={u1,u2,u3,u4,u5} which may be characterized by a set of parameters E={e1,e2,e3,e4,e5,e6,e7}. For i=1,…,7 the parameters ei stand for “in good location,” “cheap,” “modern,” “large,” “wooden,” “beautiful,” and “wide,” respectively. Suppose that this time another married couple, Mr. Y and Mrs. Y, come to the real estate agent to buy a house. If each partner has to consider their own set of parameters, then we select a house on the basis of the sets of partners. First, Mr. Y and Mrs. Y have to choose the sets of their parameters, A={e1,e4,e5,e6,e7} and B={e2,e3,e4,e5,e6,e7}, respectively. We can now write the following soft sets depending upon the parameters of each Mr. Y and Mrs. Y:
(43)(F,A)={e1={u1,u3,u4,u5},e4={u4},000e5={u2},e6={u3},e7={u3}},(G,B)={{u3,u4}e2={u2,u3,u5},e3={u2,u3,u5},000e4={u1,u2},e5={u2,u3,u4},000e6={u1,u2,u4,u5},e7={u3,u4}}.
Using uni-int method of Cagman we get
(44)unixint⁡y={},uniyint⁡x={},uni-int⁡Cagman={},uni-int⁡improved={}.
Clearly, both uni-int methods, that is, Cagman’s and the improved one do not yield any result here. We now solve this using Conjecture 30 as follows:
(45)(F,A)*={u1={e1},u2={e5},u3={e1,e6,e7},000u4={e1,e4},u5={e1}},(G,B)*={u1={e4,e6},u2={e2,e3,e4,e5,e6},000u3={e2,e3,e5,e7},u4={e5,e6,e7},000u5={e2,e3,e6}},(H,C)*=(F,A)*⋒(G,B)*={u1={},u2={e5},u3={e7},u4={},u5={}}.
Calculating the decision value for each u∈C* such that H*(u)≠ϕ, we get
(46)(u2,-3),(u3,2).
Clearly optimum choice is u3 as it carries the maximum decision value of 2. The choice of u3 as optimum choice is justified as it satisfies one consensus attribute, namely, e7, three attributes of (F,A), and four attributes of (G,B). Thus u3 is the optimum choice in view of Definition 28. Table 2 makes the claim more clear.Table 2
House
Mr.Y
Mrs.Y
Attrib.
Count
Attrib.
Count
u
1
e
1
1
e
4, e6
2
u
2
e
5
1
e
2, e3, e4, e5, e6
5
u
3
e
1, e6, e7
3
e
2, e3, e5, e7
4
u
4
e
1, e4
2
e
5, e6, e7
3
u
5
e
1
1
e
2, e3, e6
3


## 5. Conclusion

Notions of core and support of a soft set have been defined, and their fundamental properties studied. Core and support permit us to introduce and study three different notions of membership. Two more notions of very interesting characteristics are “soft set induced by a subset ofX” and “inverted soft set.” These notions, in turn, define upper and lower soft approximations of a soft set. Such soft approximations are shown to have links with upper and lower approximations of a subset of universe introduced by Feng et al. (2010) in [8]. Whereas, Feng et al. try to granulate only the universe of discourse, we are interested in granulation of the soft space itself. One possible answer is provided by the help of soft approximations.We present a new conjecture for finding the optimum choice between two parties. Our Example31 presents a case where the new conjecture solves the problem correctly.



---

*Source: 327408-2014-03-04.xml*