MPE Mathematical Problems in Engineering 1563-5147 1024-123X Hindawi Publishing Corporation 10.1155/2016/5646927 5646927 Corrigendum Corrigendum to “On Interval-Valued Hesitant Fuzzy Soft Sets” Khalil Ahmed Mostafa 1 http://orcid.org/0000-0003-0605-8265 Zhang Haidong 2 http://orcid.org/0000-0002-5802-0974 Xiong Lianglin 3 Ma Weiyuan 2 1 Department of Mathematics Faculty of Science Al-Azhar University Assiut 71524 Egypt azhar.edu.eg 2 School of Mathematics and Computer Science Northwest University for Nationalities Lanzhou Gansu 730030 China xbmu.edu.cn 3 School of Mathematics and Computer Science Yunnan Minzu University Kunming Yunnan 650500 China muc.edu.cn 2016 512016 2016 28 09 2015 16 12 2015 2016 Copyright © 2016 Ahmed Mostafa Khalil et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

1. Introduction

We point out that assertions (3) and (4) of Theorem 36 in the paper titled “On Interval-Valued Hesitant Fuzzy Soft Sets”  are not true in general. We verify that the corresponding assertions in Zhang et al.  are incorrect by a counterexample. Finally, we introduce reasonable definitions to improve the results.

The soft set theory, proposed by Molodtsov , can be used as a general mathematical tool for dealing with uncertainty. Maji et al.  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.  defined some operations on soft sets and showed that the distributive law of soft sets is varied. Ali et al.  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.  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 [14, 6, 7].

Definition 1.

Let a=aL,aU=xaLxaU; 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 ab is defined as(1)pab=max1-maxbU-aLla+lb,0,0.Similarly, the degree of possibility of ba is defined as(2)pba=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 AE. A pair (F,A) is called soft set over U, where F is a mapping given by F:AP(U).

Definition 4.

A pair (F,A) is called a fuzzy soft set over U, if AE and F~:AF(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~xxX,where hA~(x):XInt[0,1] denotes all possible interval-valued membership degrees of the element xX 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:

h1h2=γ1-γ2-,γ1+γ2+γ1h1,γ2h2,

h1h2=[γ1-γ2-,γ1+γ2+]γ1h1,γ2h2.

Definition 7.

Let (U,E) be a soft universe and AE. A pair S=(F~,A) is called an interval-valued hesitant fuzzy soft set over U, where F~ is a mapping given by F~:AIVHF(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, eA. Following the standard notations, F~(e) can be written as(4)F~e=x,F~ex:xU.

Sometimes we write F~ as (F~,E). If AE, 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,BE 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

AB,

γ1σ(k)γ2σ(k),

where, for all eA, xU, γ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~,AG~,B=H~,A×B,where, for all (α,β)A×B,(6)H~α,β=x,H~α,βx:xU=x,F~αxG~βx:xU.

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~,AG~,B=I~,A×B,where, for all (α,β)A×B,(8)I~α,β=x,I~α,βx:xU=x,F~αxG~βx:xU.

2. Counterexample

We begin this section with Theorem 12 below, originally proposed as Theorem  36 in Zhang et al.  and provide a counterexample to show that assertions (3) and (4) are not true.

Theorem 12 (see [<xref ref-type="bibr" rid="B7">1</xref>]).

Let (F~,A), (G~,B), and (H~,C) be three interval-valued hesitant fuzzy soft sets over U. Then one has the following:

(F~,A)((G~,B)(H~,C))=((F~,A)(G~,B))(H~,C),

(F~,A)((G~,B)(H~,C))=((F~,A)(G~,B))(H~,C),

(F~,A)((G~,B)(H~,C))=((F~,A)(G~,B))((F~,A)(H~,C)),

(F~,A)((G~,B)(H~,C))=((F~,A)(G~,B))((F~,A)(H~,C)).

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,in  the  green  surroundings. 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 Results Definition 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, xU, γ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. .

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:

(F~,A)((G~,B)(H~,C))((F~,A)(G~,B))((F~,A)(H~,C)),

(F~,A)((G~,B)(H~,C))((F~,A)(G~,B))((F~,A)(H~,C)).

Proof.

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.  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  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  is proposed and proven to be true.

Zhang H. Xiong L. Ma W. On interval-valued hesitant fuzzy soft sets Mathematical Problems in Engineering 2015 2015 17 254764 10.1155/2015/254764 MR3324657 Molodtsov D. Soft set theory—first results Computers & Mathematics with Applications 1999 37 4-5 19 31 10.1016/s0898-1221(99)00056-5 MR1677178 Maji P. K. Biswas R. Roy A. R. Fuzzy soft sets Journal of Fuzzy Mathematics 2001 9 3 589 602 MR1859540 Maji P. K. Biswas R. Roy A. R. Soft set theory Computers and Mathematics with Applications 2003 45 4-5 555 562 10.1016/s0898-1221(03)00016-6 MR1968545 2-s2.0-0037301143 Ali M. I. Feng F. Liu X. Min W. K. Shabir M. On some new operations in soft set theory Computers & Mathematics with Applications 2009 57 9 1547 1553 10.1016/j.camwa.2008.11.009 MR2509967 2-s2.0-63049126255 Chen N. Xu Z. S. Xia M. M. Interval-valued hesitant preference relations and their applications to group decision making Knowledge-Based Systems 2013 37 528 540 10.1016/j.knosys.2012.09.009 Xu Z. S. Da Q. L. The uncertain OWA operator International Journal of Intelligent Systems 2002 17 6 569 575 10.1002/int.10038 2-s2.0-0036605456