We point out that assertions (3) and (4) of Theorem 36 in the paper titled “On Interval-Valued Hesitant Fuzzy Soft Sets” [1] are not true in general. We verify that the corresponding assertions in Zhang et al. [1] are incorrect by a counterexample. Finally, we introduce reasonable definitions to improve the results.
The soft set theory, proposed by Molodtsov [2], can be used as a general mathematical tool for dealing with uncertainty. Maji et al. [3] presented the concept of fuzzy soft set which is based on a combination of the fuzzy set and soft set models. Later on, Maji et al. [4] defined some operations on soft sets and showed that the distributive law of soft sets is varied. Ali et al. [5] pointed out that the distributive law of soft sets is not true in general. This implies that the distributive law of fuzzy soft sets is not true. In this paper, we show that assertions (3) and (4) of Theorem 36 proposed by Zhang et al. [1] are incorrect by a counterexample and we recorrect Theorem 36 (3) and (4) using the generalized distributive law of interval-valued hesitant fuzzy soft sets.
For the general terminologies in this paper, please refer to [1–4, 6, 7].
Definition 1.
Let a=aL,aU=x∣aL≤x≤aU; then a is called an interval number. In particular, a is a real number, if aL=aU.
Definition 2.
Let a=[aL,aU], and let b=[bL,bU], and la=aU-aL and lb=bU-bL; then the degree of possibility of a≥b is defined as(1)pa≥b=max1-maxbU-aLla+lb,0,0.Similarly, the degree of possibility of b≥a is defined as(2)pb≥a=max1-maxaU-bLla+lb,0,0.
Definition 3.
Suppose that U is an initial universe set, E is a set of parameters, P(U) is the power set of U, and A⊂E. A pair (F,A) is called soft set over U, where F is a mapping given by F:A→P(U).
Definition 4.
A pair (F,A) is called a fuzzy soft set over U, if A⊆E and F~:A→F(U), where F(U) is the set of all fuzzy subsets of U.
Definition 5.
Let X be a fixed set, and let Int[0,1] be the set of all closed subintervals of [0,1]. An interval-valued hesitant fuzzy set (IVHFS, for short) A~ on X is defined as(3)A~=x,hA~x∣x∈X,where hA~(x):X→Int[0,1] denotes all possible interval-valued membership degrees of the element x∈X to A~.
For convenience, we call hA~(x) an interval-valued hesitant fuzzy element (IVHFE, for short). The set of all interval-valued hesitant fuzzy sets on U is denoted by IVHF(U). We can note that an IVHFS A~ can be seen as an interval-valued fuzzy set if there is only one element in hA~(x), which indicates that interval-valued fuzzy sets are a special type of IVHFSs.
Definition 6.
Let h1 and h2 be two IVHFSs; then one has the following:
h1∪h2=γ1-∨γ2-,γ1+∨γ2+∣γ1∈h1,γ2∈h2,
h1∩h2=[γ1-∧γ2-,γ1+∧γ2+]∣γ1∈h1,γ2∈h2.
Definition 7.
Let (U,E) be a soft universe and A⊆E. A pair S=(F~,A) is called an interval-valued hesitant fuzzy soft set over U, where F~ is a mapping given by F~:A→IVHF(U).
An interval-valued hesitant fuzzy soft set is a parameterized family of interval-valued hesitant fuzzy subsets of U. That is to say, F~(e) is an interval-valued hesitant fuzzy subset in U, ∀e∈A. Following the standard notations, F~(e) can be written as(4)F~e=x,F~ex:x∈U.
Sometimes we write F~ as (F~,E). If A⊆E, we can also have an interval-valued hesitant fuzzy soft set (F~,A).
Definition 8.
Let U be an initial universe and let E be a set of parameters. Supposing that A,B⊆E and (F~,A) and (G~,B) are two interval-valued hesitant fuzzy soft sets, one says that (F~,A) is an interval-valued hesitant fuzzy soft subset of (G~,B) if and only if
A⊆B,
γ1σ(k)≤γ2σ(k),
where, for all e∈A, x∈U, γ1σ(k) and γ2σ(k) stand for the kth largest interval number in the IVHFEs F~(e)(x) and G~(e)(x), respectively.
In this case, we write (F~,A)⊑(G~,B). (F~,A) is said to be an interval-valued hesitant fuzzy soft super set of (G~,B) if (G~,B) is an interval-valued hesitant fuzzy soft subset of (F~,A). We denote it by (F~,A)⊒(G~,B).
Definition 9.
Let (F~,A) and (G~,B) be two interval-valued hesitant fuzzy soft sets. Now (F~,A) and (G~,B) are said to be interval-valued hesitant fuzzy soft equal if and only if
(F~,A)⊑(G~,B),
(G~,B)⊑(F~,A),
which can be denoted by (F~,A)=(G~,B).
Definition 10.
Let (F~,A) and (G~,B) be two interval-valued hesitant fuzzy soft sets over U. The “(F~,A) AND (G~,B),” denoted by (F~,A)∧(G~,B), is defined by(5)F~,A∧G~,B=H~,A×B,where, for all (α,β)∈A×B,(6)H~α,β=x,H~α,βx:x∈U=x,F~αx∩G~βx:x∈U.
Definition 11.
Let (F~,A) and (G~,B) be two interval-valued hesitant fuzzy soft sets over U. The “(F~,A) OR (G~,B),” denoted by (F~,A)∨(G~,B), is defined by(7)F~,A∨G~,B=I~,A×B,where, for all (α,β)∈A×B,(8)I~α,β=x,I~α,βx:x∈U=x,F~αx∪G~βx:x∈U.
2. Counterexample
We begin this section with Theorem 12 below, originally proposed as Theorem 36 in Zhang et al. [1] and provide a counterexample to show that assertions (3) and (4) are not true.
Theorem 12 (see [1]).
Let (F~,A), (G~,B), and (H~,C) be three interval-valued hesitant fuzzy soft sets over U. Then one has the following:
The following example shows that assertions (3) and (4) of Theorem 12 above are not true in general.
Example 13.
Let U=x1,x2 be a set of two houses and let E=e1,e2,e3,e4,e5,e6 be a set of parameters, which stand for expensive, beautiful, cheap, size, location, and in the green surroundings, respectively. Consider A, B, and C to be subsets of E, where A=e1,e2=expensive,beautiful, B={e3,e4}=cheap,size, and C={e5,e6}=location,inthegreensurroundings. Suppose that (F~,A), (G~,B), and (H~,C) are three interval-valued hesitant fuzzy soft sets defined by(9)F~e1=x1,0.2,0.4,0.5,0.7,x2,0.4,0.8,0.5,0.8,F~e2=x1,0.3,0.5,0.6,0.7,x2,0.1,0.3,0.5,0.9,G~e3=x1,0.4,0.6,0.8,0.9,x2,0.2,0.3,0.4,0.5,G~e4=x1,0.6,0.9,0.5,0.7,x2,0.4,0.6,0.7,0.8,H~e5=x1,0.1,0.3,0.4,0.6,x2,0.3,0.6,0.6,0.8,H~e6=x1,0.4,0.5,0.6,0.7,x2,0.7,0.8,0.7,0.9.
By Definitions 10 and 11, the interval-valued hesitant fuzzy soft set (F~,A)∧((G~,B)∨(H~,C)) has the parameter set A×(B×C) and interval-valued hesitant fuzzy soft set ((F~,A)∧(G~,B))∨((F~,A)∧(H~,C)) has a set of parameters as (A×B)×(A×C). But we can not find any notion which ensures A×(B×C)=(A×B)×(A×C). Hence Theorem 12 above is not true.
3. Main ResultsDefinition 14.
Let U be an initial universe and let E be a set of parameters. For subsets A and B of E, let (F~,A) and (G~,B) be interval-valued hesitant fuzzy soft sets. One says that (F~,A) is a generalized interval-valued hesitant fuzzy soft subset of (G~,B), denoted by F~,A⊏~gG~,B, if, for every α∈A, there exists β∈B such that γ1σ(k)≤γ2σ(k), where, for all α∈A, β∈B, x∈U, γ1σ(k) and γ2σ(k) stand for the kth largest interval number in the IVHFEs F~(α)(x) and G~(β)(x), respectively.
Example 15.
Let U=x1,x2,x3 be an initial universe and let E={e1,e2,e3} be a set of parameters. With A=e1,e2 and B=e1,e3, let (F~,A) and (G~,B) be interval-valued hesitant fuzzy soft sets defined by(10)F~e1=x1,0.1,0.4,0.3,0.7,0.3,0.8,x2,0.4,0.5,0.5,0.6,x3,0.2,0.4,0.4,0.5,F~e2=x1,0.2,0.5,0.3,0.6,x2,0.3,0.5,0.4,0.7,0.6,0.8,x3,0.3,0.9,0.5,0.8,G~e1=x1,0.3,0.5,0.4,0.8,x2,0.3,0.7,0.4,0.8,x3,0.3,0.5,0.3,0.7,0.5,0.8,G~e3=x1,0.3,0.5,0.5,0.6,0.8,1.0,x2,0.55,0.6,0.7,0.9,x3,0.3,0.7,0.8,0.85,0.9,1.0.Then F~,A⊏~gG~,B.
Definition 16.
Let (F~,A) and (G~,B) be interval-valued hesitant fuzzy soft sets. One says that (F~,A) and (G~,B) are generalized interval-valued hesitant fuzzy soft set equal, denoted by (F~,A)≅(G~,B), if F~,A⊏~gG~,B and G~,B⊏~gF~,A.
Theorem 17 is the corrected version of assertions (3) and (4) of Theorem 12, originally written as Theorem 36 of Zhang et al. [1].
Theorem 17.
Let (F~,A), (G~,B), and (H~,C) be three interval-valued hesitant fuzzy soft sets over U. Then one has the following:
For any α∈A, β∈B, and γ∈C, we have F~(α)∩(G~(β)∪H~(γ))=(F~(α)∩G~(β))∪(F~(α)∩H~(γ)). Hence conclusion (3) is valid. Similarly, we can prove assertion (4).
4. Conclusions
Zhang et al. [1] introduced interval-valued hesitant fuzzy soft set based on interval-valued hesitant fuzzy set and proposed several theorems and some operations on an interval-valued hesitant fuzzy soft set. However, we pointed out that assertion (3) and (4) of Theorem 36 [1] are not true. Using the notions of a generalized interval-valued hesitant fuzzy soft subset and fuzzy soft equal, Theorem 36 (3) and (4) of [1] is proposed and proven to be true.
ZhangH.XiongL.MaW.On interval-valued hesitant fuzzy soft sets201520151725476410.1155/2015/254764MR3324657MolodtsovD.Soft set theory—first results1999374-5193110.1016/s0898-1221(99)00056-5MR1677178MajiP. K.BiswasR.RoyA. R.Fuzzy soft sets200193589602MR1859540MajiP. K.BiswasR.RoyA. R.Soft set theory2003454-555556210.1016/s0898-1221(03)00016-6MR19685452-s2.0-0037301143AliM. I.FengF.LiuX.MinW. K.ShabirM.On some new operations in soft set theory20095791547155310.1016/j.camwa.2008.11.009MR25099672-s2.0-63049126255ChenN.XuZ. S.XiaM. M.Interval-valued hesitant preference relations and their applications to group decision making20133752854010.1016/j.knosys.2012.09.009XuZ. S.DaQ. L.The uncertain OWA operator200217656957510.1002/int.100382-s2.0-0036605456