Abstract
Soft set theory, proposed by Molodtsov, has been regarded as an effective mathematical tool to deal with vagueness and uncertainties. It is worth noting that the decision making theory has been proven a more effective tool in the real-world problems under imprecise environments. In this paper, we introduce a new fuzzy soft model, called the multi-fuzzy bipolar soft set model. Some operations of this notion are first investigated and some of the related properties are studied. Finally, an algorithm based on multi-fuzzy bipolar soft set is presented and an illustrative example is given to analyze the application of the proposed algorithm.
Introduction
The real world is full of uncertainty, imprecision and vagueness occured in several branches of sciences. Actually most of the concepts we meet in everyday life are vague and imprecise. Dealing with uncertainties is a major problem in many areas such as economics, engineering, environmental science, medical science and social science. So many authors have been engaged in modeling vagueness in recent several years. Classical theories like probability theory, ordinary fuzzy set theory [17], rough set theory [2], and many others are well known theories used in modeling uncertainty and play important roles in modeling vagueness. However, with the rapidly increasing quantity and types of uncertainties, these theories show their inherent difficulties as pointed out by Molodtsov in [1]. In 1999, Molodtsov initiated soft set theory as a completely new mathematical tool for dealing with uncertainties that is free from the difficulties affecting the existing methods [1]. Recently, Sebastain and Ramakarishnan in [13], proposed the concept of a multi-fuzzy set which is a more general form of an ordinary fuzzy set (or Zadeh’s fuzzy set) and Zadeh’s fuzzy set theory is a building block for multi-fuzzy set [17]. The membership function of a multi-fuzzy set is an ordered sequence of ordinary fuzzy membership function. The notion of multi-fuzzy sets provides a new method to solve some problems which are difficult to handle by ordinary fuzzy set or other extension of Zadeh’s fuzzy set. For example, colour of a pixel cannot be represented by a membership function of an ordinary fuzzy set, but it is possible to characterize by a three dimensional membership function (μr,μg,μb); μr, μg, and μb are the membership functions from 1,...,m×1,...,n into [0, 1]. So a colour image can be approximated by a collection of pixels with a multi-membership function (μr,μg,μb) [14]. On the other hand, a soft set has many extensions, for example fuzzy soft set, intuitionistic fuzzy soft set, bipolar soft set, double-framed soft set, bipolar soft, fuzzy bipolar soft set and many others. In [8], Shabir et al. presented an extension of fuzzy soft set, called fuzzy bipolar soft set and applied this concept in a decision making problem. In [8], Shabir et al., followed the method of Roy et al., and presented an algorithm for the identification of an object, which is based on the comparison of different objects in the context of fuzzy bipolar soft set theory. In this paper, we follow Feng et al. [11] method and present a novel approach to fuzzy bipolar soft set based decision making problems by using level bipolar soft sets.
The purpose of this paper is to combine the multi-fuzzy set and soft set, from which we can obtain a new soft set model named multi-fuzzy bipolar soft set model. To facilitate our study, we first review some background of soft set, fuzzy soft set and fuzzy bipolar soft set in Section 2. In Section 3, the concept of a multi-fuzzy set and recall its basic properties in detail. In Section 4, we develop the concept of a multi-fuzzy bipolar soft set and investigate the basic properties of multi-fuzzy bipolar soft set. Finally, we conclude the paper for future work to be addressed.
Preliminaries
Soft sets
Let E be a non-empty finite set of attributes (parameters,characteristics or properties) which the objects in U possess and let P(U) denote the family of all subsets of U. Then a soft set is defined with the help of a set-valued mapping as given below:
Definition
(Molodtsov 1999 [1]) A pair (F,A) is called a soft set over U, where A ⊆ E and F:A⟶P(U) is a set-valued mapping.
In other words, a soft set (F,A) over U is a paramterized family of subsets of U where each parameter eɛA is associated with a subset F(e) of U. The set F(e) contains the objects of U having the property e and is called the set of e-approximate elements in (F,A).
Definition
(Shabir et al. [9]) A triplet (F,G,A) is called a bipolar soft set over U, where F and G are mappings, given by F:A⟶P(U) and G:A⟶P(U) such that F (e)∩ G (¬ e) = ∅ for all e ∈ A
In other words, a bipolar soft set over U gives two parametrized families of subsets of the universe U and the condition F (e)∩ G (¬ e) = ∅ for all e ∈ A, is imposed as a consistency constraint. For each e ∈ A, F(e) and G (¬ e) are regarded as the set of e-approximate elements of the bipolar soft set (F,G,A).
Fuzzy bipolar soft sets
A fuzzy bipolar soft set (Naz and Shabir 2014) is an extension of fuzzy soft set, infact, a fuzzy bipolar soft set is obtained with the help of two set-valued mappings by considering not only a set of parameters but also an allied set of carefully chosen parameters with opposite measuring termed as “not set of parameters”. The materials included in this section, are taken from Naz and Shabir (2014) [8].
Definition
(Naz and Shabir 2014 [8, 10]) A triplet (F,G,A) is called a fuzzy bipolar soft set over U, where A ⊆ E and F,G are mappings given by F:A⟶FP(U) and G:A⟶FP(U) such that F(e)∈[0, 1],G(e)∈[0, 1] and F (e) (u) + G (¬ e) (u) ≤1 for all e ∈ A and u ∈ U.
Example
Let U = {h1, h2, h3, h4, h5} be a set of houses and E=e2=expensive, e2=beautiful, e3 = wooden, e4 = ingreen surrounding, e5 = ingoodrepair is a set of parameters for U. Let “the not set of E” be ¬E, where ¬E=¬e1=cheap, ¬e2=ugly, ¬e3=not wooden, ¬e4=in commercial area, ¬e5=in bad repair.
Define a fuzzy bipolar soft set (F, G, A) over U, where A = {e1, e2, e3} describing the opinion of Mr. X who wants to purchase a house possessing the attributes of A = {e1, e2, e3} Assuming that Mr. X wants to give the membership values {0.8, 0.7, 0.6, 0.5, 0.4} and {0.1, 0.2, 0.4, 0.5, 0.6} to houses of U for the attributes ei(i = 1, 2, 3) denoting the degrees of memberships stands for (expensive,cheap), (beautiful,ugly), (wooden, not wooden) respectively. Then, F(ei) (i = 1,2,3) and G(ei) (i = 1,2,3) are given as follows:
Multi-fuzzy sets
Definition [12, 14]
Let k be a positive integer, a multi-fuzzy set A of dimension k in U is a set of ordered sequences
The function
Clearly, a multi-fuzzy set of dimension 1 is an ordinary fuzzy set, and a multi-fuzzy set of dimension 2 with μ1 (μ) + μ2 (μ) ≤1 is an Atanassov intuitionistic fuzzy set.
Remark
If
Definition [14]
Let
Example [14]
Suppose that a color image is approximated by an m×n matrix of pixels. Let U be the set of all pixels of the color image. For any pixel x in U, the membership values μr (x),μg (x),μb (x) being the normalized red value, green value and blue value of the pixel x respectively, hence the color image can be approximated by the collection of pixels with the multi-membership function (μr,μg,μb) and it can be represented as a multi-fuzzy set
In a two dimensional image, color of pixels cannot be characterized by a membership function of an ordinary fuzzy set, but it can be characterized by a three dimensional membership function (μ r , μ g , μ b ). Thus, a multi-fuzzy set is a more generalized form of an ordinary fuzzy set and can be used in situations where a fuzzy set of single membership value is not possible.
Definition [13]
Let
Multi-fuzzy soft set
Definition [7, 14]
A pair (
A multi-fuzzy soft set is a mapping from parameters to MkFP(U). It is a parameterized family of multi-fuzzy subsets of U. For e ∈ A,
Example
Suppose that U = {b1, b2, b3, b4, b5} is the set of motorcycles under consideration. A = {e1, e2, e3} is the set of parameters, where e1 stands for the parameter colour, which consists of red, green and blue, e2 stands for the parameter manufacturers, which consists of Atlas Honda Bikes, DYL Motorcycles and Pak Suzuki Motors, e3 stands for the parameter price, which can be high, medium and low. We define a multi-fuzzy soft set of dimension 3 as follows:
Definition [14]
Let A, B ⊆ E. Let ( A ⊆ B
In this case, we write
Definition [14]
(Null multi-fuzzy soft sets) A multi-fuzzy soft set (
Definition [14]
(Absolute multi-fuzzy soft sets) A multi-fuzzy soft set (
Multi-fuzzy bipolar soft sets
In this section, we define multi-fuzzy bipolar soft set and give the basic properties of this notion.
The concept of a multi-fuzzy bipolar soft set
Definition
A triplet
In other words, a multi-fuzzy bipolar soft set are mappings from parameters to M
k
FP(U). These are parameterized families of multi-fuzzy subsets of U. For e ∈ A,
Example
Let U = {h1, h2, h3, h4, h5} be a universe containing five houses under consideration. A = {e1, e2, e3} is the set of parameters, where e1 stands for the parameter “types” which consists of expensive, beautiful, and well furnished, e2 stands for the parameter “location” which consists of green surrounding, city area, commercial area, and e3 stands for the parameter “material” which consists of wooden, concrete and bricks, respectively. Let the “not set of A” be ¬A = {¬ e1, ¬ e2, ¬ e3}, where ¬e1 stands for the parameter, “type” which consists of cheap, ugly, and not well furnished, ¬e2 stands for the parameter “location” village area, hill area, and town area, and ¬e3 stands for the parameter “material” which consists of not wooden, not concrete, and not bricks, respectively. We define a multi-fuzzy bipolar soft set of dimension 3 over U as follows:
In matrix form, the above multi-fuzzy bipolar soft set can be expressed as follows:
Definition
Let A, B ⊆ E. Let A ⊆ B, and
Here, we write
Example
Let U = {h1, h2, h3, h4}, A = {e1, e2} and B = {e1, e2, e3}. Clearly, A ⊆ B. Suppose that
From above multi-fuzzy sets, we observe that
Definition
Two multi-fuzzy bipolar soft sets
Definition
(Null multi-fuzzy bipolar soft set) A multi-fuzzy bipolar soft set (F,G,A) of dimension k over U is said to be null multi-fuzzy bipolar soft set, denoted by
Definition
(Absolute multi-fuzzy bipolar soft set) A multi-fuzzy bipolar soft set
Operations on multi-fuzzy bipolar soft sets
Definition
The complement of a multi-fuzzy bipolar soft set (F, G, A) of dimension k over U is denoted
by (F, G
c
, A)
c
and is defined by (F, G, A)
c
= (F
c
, G, A)
c
= (F
c
, G
c
, A) where F
c
and G
c
are mappings given by F
c
(e) = F (e))
c
and G
c
(¬ e) = . G (¬ e))
c
for all e ∈ AClearly, ((F, G, A)
c
)
c
is the same as (F, G, A),i.e., complement of a multi-fuzzy soft bipolar soft set is involute in nature. Suppose
Example
Reconsider Example 3.1.2, we have (F, G, A) c = (F c , G c , A)as follows:
In matrix form this can be expressed as follows:
Now, we present the notion of AND and OR operations on two multi-fuzzy bipolar soft sets of dimension k over U, as follows:
Definition
If (F, G, A) and (F1, G1, B) are two multi-fuzzy bipolar soft sets of dimension k over U, then “ (F, G, A) AND (F1, G1, B)” denoted by (F, G, A) ∧ (F1, G1, B) is defined by(F, G, A) ∧ (F1, G1, B) = (H, I, A × B), where H (α, β) = F (α) ⊓ F1 (β) and I (¬ α, ¬ β) = G (¬ α) ⊔ G1 (¬ β) for all (α, β) ∈ A × B.
Definition
If (F, G, A) and (F1, G1, B) are two multi-fuzzy bipolar soft sets of dimension k over U, then “ (F, G, A) OR (F1, G1, B)” denoted by (F, G, A) ∨ (F1, G1, B) is defined by(F, G, A) ∨ (F1, G1, B) = (O, J, A × B), where O (α, β) = F (α) ⊔ F1 (β) and J (¬ α, ¬ β) = G (¬ α) ⊓ G1 (¬ β) for all (α, β) ∈ A × B
Example
Let U = {u1, u2, u3}, A = {e1, e2} and B = {e2, e4, e5} Suppose that (F, G, A) and (F1, G1, B) are two multi-fuzzy bipolar soft sets of dimension 2 over U, defined as follows:
Then we have (F, G, A) ∧ (F1, G1, B) = (H, I, A × B) and
(F,G,A) ∨ (F1, G1, B) = (O, J, A × B)as follows:
Similarly, we can find
Theorem
Let (F, G, A) and (F1, G1, B) be two multi-fuzzy bipolar soft sets of dimension k over U. Then ((F, G, A) ∧ (F1, G1, B)
c
= (F, G, A)
c
∨ (F1, G1, B)
c
((F, G, A) ∨ (F1, G1, B)
c
= (F, G, A)
c
∧ (F1, G1, B)
c
Proof. (1) Suppose that
Then
Now,
Let (α, β) ∈ A × B, then
Hence, H c (α, β) = O (α, β) and I c I c (¬ α, ¬ β) = J (¬ α, ¬ β)
(2) The result can be proved in a similar way as part (1).
Definition
Union of two multi-fuzzy bipolar soft sets (F, G, A) and (F1, G1, B) sof dimension k over U is the multi-fuzzy bipolar soft set (H, I, C), where C = A ∪ B and for all e ∈ C,
We write
Example
Reconsider Example 3.1.4, we have
Definition
Intersection of two multi-fuzzy bipolar soft sets (F, G, A) and (F1, G1, B) of dimension k with A ∩ B ≠ φ over U is the multi-fuzzy bipolar soft set (H, I, C), where C = A ∩ B and for all e ∈ C,
We write
Example
Reconsider Example 3.1.4, we have A ∩ B = {e2} and
The following results are obvious.
Theorem
Let (F, G, A) and (F1, G1, B) be two multi-fuzzy bipolar soft sets of dimension k over U. Then
Theorem
Let (F, G, A) and (F1, G1, B) be two multi-fuzzy bipolar soft sets of dimension k over U. Then
Proof (1) Suppose that
Thus
Again suppose that
We see that C = J and for all e ∈ C (orJ),
H c (e) ⊑ K (e)and L (¬ e) ⊑ I c (¬ e)Thus
(2) Proof is similar to part (1).
Theorem
Let
Proof
(1) Suppose that(F, G, A) ⊔ (F1, G1, B) = (H, I, C), where C = A ∪ B, and for all e ∈ C,
Thus
Again suppose that
(2) Proof follows from part (1).
From the above discussion, we know that De Morgan laws are invalid for multi-fuzzy bipolar soft sets with the different parameter sets, but they are true for multi-fuzzy bipolar soft sets with the same parameter set, as given in the following theorem.
Theorem
Let(F, G, A) and (F1, G1, A) be two multi-fuzzy bipolar soft sets of dimension k over U. Then
Proof
Proof is straightforward.
Application of multi-fuzzy soft set in decision making
In [8], Shabir et al., followed the method of Roy et al., given in [25, 26] and presented an algorithm for the identification of an object, which is based on the comparison of different objects in the context of fuzzy bipolar soft set theory. In this section, we follow Feng et al. algorithm [11] and Yang’s method [7, 14] and present a novel approach to fuzzy bipolar soft set based decision making problems by using level bipolar soft sets.
Level soft sets of fuzzy bipolar soft set
Definition
Let (F, G, A)be a fuzzy bipolar soft set over U, where A ⊆ E. For t, s ∈ [0, 1], the t-level and the s-level subsets of the fuzzy soft sets (F, A) and (G, A) are crisp soft sets defined as follows:
F t (e) = LF (e) ; t) = {x ∈ U : F (e) (x) ≥ t} and G s = L (G (¬ e) ; s) = {x ∈ U : G (¬ e) (x) ≤ s} for all e ∈ A
To illustrate the above definition, we recall fuzzy bipolar soft set of Example 4.
Example
(The 0.5-level soft sets of the fuzzy bipolar soft set (F, G, A) As discussed in Example 4, the fuzzy bipolar soft set (F,G,A) can be viewed as follows:
By taking t = 0.5 and s = 0.5, we obtain the 0.5-level soft sets of the fuzzy sets F (e1), F (e2), F (e3), G (¬ e1), G (¬ e2) and G (¬ e3) as follows:
The 0.5-level bipolar soft set of (F, G, A) is a bipolar soft set L (F, G ; 0.5) = (F0.5,G0.5,A), where the set-valued mappings F0.5 : A → P (U) and G0.5 : A → P (U) defined by (F0.5 (e1) = L (F (e1) 0.5 and G0.5 (ei)=L(G(ei),0.5) for fori = 1, 2, 3 .. Tables 1 and 2 give the tabular representation of level soft sets L (F, G ; 0.5) .
Tabular representation of the level soft sets L(F;0.5) and L(G;0.5)
Tabular representation of the level soft sets L(F;0.5) and L(G;0.5)
Tabular representation of the level soft sets L(G;0.5)
In definition of a t-level soft set, the level (or threshold) assigned to each parameter is a constant value t ∈ [0, 1]. But in some decision making problems, it may happen that decision makers would like to take different thresholds on different decision parameters. To overcome on this issue, we use a function instead of a constant value as the threshold on membership values.
Definition
Let (F,G,A) be a fuzzy bipolar soft set over U, where A ⊆ E. λ μ:A⟶[0, 1] be fuzzy sets in A which are called threshold fuzzy sets. The level soft sets of the fuzzy soft set (F,G) with respect to the fuzzy sets λ μ are crisp sets
L ((F, G, A) ; λ, μ) = (F λ , G μ , A) defined as follows:
F λ (e) = L (F (e) ; λ (e)) = {X ∈ U : F (e) (X) ≥ λ} and G μ (¬ e) = L (G (¬ e) ; λ (¬ e)) = {X ∈ U : G (¬ e) (X) ≤ μ}
for all e ∈ A.
Definition
(Mid-level bipolar soft set of a fuzzy bipolar soft set)
Let (F,G,A) be a fuzzy bipolar soft set over U, where A ⊆ E. Based on the fuzzy bipolar soft set (F,G,A) we can define two fuzzy sets (F,G,A), we can define a fuzzy sets midF: A → [0, 1] and midG: A → [0, 1] by
(e) = (raise0.7ex1 / - lower0.7ex (|U | )) ∑x∈UF(e)(x)and
(¬ e) = (raise0.7ex1 / - lower0.7ex (|U |)) ∑x∈UG (¬ e) (X) for all e ∈ A. The fuzzy sets midF(e) and midG (e) are called the mid-thresholds of the fuzzy bipolar soft set (F, G, A)The level soft set with respect to the mid-thresholds mid F (e) and mid G (¬ e)) namely L (F, G, A) mid F (e) mid G (¬ e)) is called mid-level bipolar soft set.
Definition
Let U ={ u1, u2, . . . u
n
}. Let (
(
(G, A) ={ G (¬ e) : ¬ e ∈ ¬ A } where
Let U ={ u1, u2, . . . u n } and (F, A) and (G, A) be multi-fuzzy soft sets induced from (F, G, A) of dimension k over U.
For every e ∈ A, F (e) and G (¬ e) are two multi-fuzzy sets which can be expressed in matrix form as follows:
Using the Yang’s methods [7], suppose that
and
Thus, if ω (e) is given, we can change the multi-fuzzy sets F (e) and G (e) into induced fuzzy sets F (e) and G (¬ e). Hence, by using this method, we change a multi-fuzzy bipolar soft set into an induced fuzzy bipolar soft set. Once the induced fuzzy bipolar soft set of a multi-fuzzy bipolar soft set has been arrived at, it may be necessary to choose the best alternative from the alternatives based on Feng’s algorithm [11]. Therefore, we can make a decision by the following algorithm.
Compute the fuzzy soft sets Δ F and Δ G .
mid ΔF -level soft set L (Δ F ; λ) and mid ΔG -level soft set L (Δ F ; mid ΔF })
L (Δ
F
; mid
ΔF
}) and L (Δ
G
; mid
ΔG
) in tabular forms and compute the choice values
Remark
In the last step of the above algorithm, one may go back to the fifth step and change the threshold (or decision rule) that one once used so as to adjust the final optimal decision, especially when there are too many “optimal choices” to be chosen.
Suppose that U ={ p1, p2, p3, p4, p5 } is the universe consisting of five kinds of colored drawing paper for engineering and the parameter set A = {e1, e2, e3} where e1 stands for ‘thickness’ which includes three levels: thick, average and thin, e2 stands for ‘color’ which consists of red, green and blue, and e3 stands for ‘ingredient’ which is made from cellulose, hemicellulose and lignin. Let ¬A = {¬ e1, ¬ e2, ¬ e3} be the “not set of A” where ¬e1 consists on three levels: attenuated, outstanding, and fat, ¬e2 consists of green, red and orange and ¬e3 stands for plastic, rubbery, and raw materials.
Suppose that the multi-fuzzy bipolar soft set (
Obviously, (
For the parameter ‘thickness’, ω (e1) = (0.4, 0.1, 0.5), for the parameter ‘color’, ω (e2) = (0.6, 0.3, 0.1), and for the parameter ‘ingredient’, ω (e3) = (0.2, 0.3, 0.5). Thus we can compute the fuzzy soft sets Δ F and the Δ G with their tabular representations as in Tables 3 and 4.
Tabular representation of the fuzzy soft set Δ
Tabular representation of the fuzzy soft set Δ
As an appropriate approach, different authors use different rules (or the thresholds) in decision making problems. For example, if we deal with this problem by positive and negative mid-level decision rules, it is clear that the mid-thresholds of Δ
F
and Δ
G
are fuzzy sets as given below:
In tabular representations as in Tables 2 and 3, we can get mid-level soft sets L (Δ F ; mid) of Δ F and L (Δ G ; mid) of Δ G with choice values. From Tables 2 and 3, we have the bipolar choice values of alternatives as given below:
Tabular representation of the mid-level soft set L(ΔF;mid) with choice values
From above bipolar choice values we see that the maximum bipolar value is 2 and clearly the optimal solution is to select p4 ;. Therefore, the company should select p4 as the best colored drawing paper for engineering after specifying weights for different parameters.
