1 Introduction
Since the introduction of fuzzy sets by Zadeh (1965), various generalizations of fuzzy sets have been provided, such as intuitionistic fuzzy sets introduced by Atanassov (1986), abbreviated here as A-IFS (the reasons for this are presented in Dubois et al., 2005), grey set (Deng, 1989), vague set (Gau and Buehrer, 1993), interval-valued fuzzy set (Sambuc, 1975; Zadeh, 1975), and so on. Deschrijver and Kerre (2003, 2007) investigated the relationships among some extensions of fuzzy set theory, and proved that A-IFS, grey set, vague set and interval-valued fuzzy set are equivalent. As we know, it is constructed through the membership degree, the non-membership degree and the hesitancy degree, which can describe the uncertainty and fuzziness more objectively than the usual fuzzy set. Thus A-IFS has attracted more and more attention from researchers and has been used to solve many problems, especially the multi-criteria decision making (MCDM) problems.
An effective method to deal with the MCDM problem under intuitionistic fuzzy environment is to calculate the aggregation values of the alternatives. At present, plenty of aggregation operators in fuzzy environment have been extended to fit different situations in intuitionistic fuzzy case. All kinds of mean operators, such as quasi-arithmetic means (Hardy et al., 1934), (generalized) Bonferroni mean (BM, GBM) (Bonferroni, 1950; Yager, 2009) and (induced) ordered weighted averaging (OWA, IOWA) operators (Yager, 1988; Yager and Filev, 1999), are hot topics in aggregation, and a lot of related work has been done. With respect to the operations defined for intuitionistic fuzzy numbers (IFNs) based on algebraic product t-norm, probabilistic sum t-conorm and OWA operator, Xu and Yager (2006), Xu (2007) generalized the weighted geometric averaging operator to the intuitionistic fuzzy weighted geometric/averaging (IFWG/IFWA) operator, the intuitionistic fuzzy ordered weighted geometric/averaging (IFO WG/IFOWA) operator and the intuitionistic fuzzy hybrid geometric/averaging (IFHG/IFHA) operator and applied them to the MCDM problem under intuitionistic fuzzy environment. Although the IFHA (IFHG) operator generalized both the IFWA (IFWG) and IFOWA (IFOWG) operators by weighting the given importance and the ordered position of the arguments, there is a flaw pointed out by Liao and Xu (2014) that these hybrid aggregation operators do not satisfy some desirable properties, such as boundedness and idempotency; the developed operators not only can weigh both the arguments and their ordered positions simultaneously, but also have some desirable properties, such as idempotency, boundedness, and monotonicity. Based on the generalized OWA operator proposed by Yager (2004b), Li (2010) and Zhao et al. (2010) introduced the generalized IFWA, generalized IFOWA, and generalized IFHA operators, and applied them to multiple attribute decision making with intuitionistic fuzzy information. Using the operations defined in Xu (2007), Xu and Yager (2011) investigated the BM under intuitionistic fuzzy environments, developed an intuitionistic fuzzy BM (IFBM) and discussed its variety of special cases. Then, they applied the weighted IFBM to multicriteria decision making. Considering that the algebraic product and Einstein t-norms are two prototypical examples of the class of strict Archimedean t-norms (Klement et al., 2000), Wang and Liu (2011, 2012) proposed the intuitionistic fuzzy Einstein weighted geometric/averaging (IFEWG/IFEWA) operator and the intuitionistic fuzzy Einstein ordered weighted geometric/averaging (IFEOWG/IFEOWA) operator. By using Archimedean t-norm and t-conorm, Xia et al. (2012) defined the Archimedean t-norm and t-conorm based intuitionistic fuzzy weighted averaging (ATS-IFWA) operator and the Archimedean t-norm and t-conorm based intuitionistic fuzzy geometric (ATS-IFWG) operator to provide more choices for the decision makers by these parameterized t-norms and t-conorms. By extending the quasi-arithmetic ordered weighted averaging operator to different intuitionistic fuzzy situations, Yang and Chen (2012) introduced three kinds of new operators: the quasi-IFOWA operator, the quasi-intuitionistic fuzzy Choquet ordered averaging operator and the quasi-IFOWA operator based on the Dempster–Shafer belief structure. Tan et al. (2013) provided a critical analysis of Yang and Chen’s operations to elicit their disadvantages, and associating with operations in Xia et al. (2012), proposed a new quasi-IFOWA operator based on Archimedean t-norm and t-conorm to overcome these faults, and obtained some consistent conclusions. Beliakov et al. (2011) declared that the IFWA operator is not consistent with the limiting case of ordinary fuzzy sets, which is undesirable, and proposed a new construction method for the IFWA operator based on the Łukasiewicz t-norm, which is consistent with operations on ordinary fuzzy sets. Similarly to IFBM, Beliakov and James (2013) presented two alternative methods to extend the generalized Bonferroni mean to intuitionistic fuzzy sets. Particularly, they constructed a general form of intuitionistic fuzzy aggregation operators by pairing the usual aggregation operators and their duals. Since the above intuitionistic fuzzy aggregation operators are using different aggregation operators on membership and non-membership information, it was pointed out in Xia and Xu (2012) that it is necessary to develop some neutral aggregation operators in order to be neutral in some cases and to be treated fairly. For example, it is pointed out in Xu and Ma (2019), Yang et al. (2019) that when aggregating some individual intuitionistic fuzzy preference relations into a collective one, such operators are necessary. Based on algebraic product t-norm, new intuitionistic fuzy aggregation operators, which treat the membership and non-membership information fairly, were defined (Liao and Xu, 2015). Furthermore, due to the absence of parameters in these t-norms, the existing neutral aggregation operators can not provide more choices for the decision makers. Motivated by the idea of Beliakov and James (2013), Calvo and Mesiar (2003), Tan et al. (2013), Xia and Xu (2012), Xia et al. (2012), in this paper, some new intuitionistic fuzzy aggregation operators based on weighted Archimedean t-norm and t-conorm, which fairly treat membership and non-membership information and provide more choices for the decision maker, are developed.
To do so, the remainder of this paper is organized as follows: The basic concepts of weighted Archimedean t-norms and t-conorms and intuitionistic fuzzy sets are introduced in Section 2. In Sections 3 and 4, symmetric intuitionistic fuzzy weighted mean operators w.r.t. weighted Archimedean t-norms and t-conorms are defined, in which using parameters the attitude whether the decision maker is optimistic, pessimistic or impartial is reflected and the relationship among the proposed operators and the existing ones is discussed. Section 5 provides an example to illustrate the behaviour of the proposed operators. In the final section, our research is concluded.
2 Preliminaries
To make the presentation self-contained, in what follows, we review some basic concepts.
2.1 Weighted Archimedean t-Norms and t-Conorms
Definition 2.1 (See Klement et al., 2000).
Definition 2.2 (See Klement et al., 2000).
Definition 2.3 (See Klement et al., 2000).
A t-norm T is called an Archimedean t-norm if it is continuous and
T(x,x)<x for all
x∈(0,1). An Archimedean t-norm is called a strictly Archimedean t-norm if it is strictly increasing in each variable for
x,y∈(0,1).
Definition 2.4 (See Klement et al., 2000).
A t-conorm S is called an Archimedean t-conorm if it is continuous and
S(x,x)>x for all
x∈(0,1). An Archimedean t-conorm is called a strictly Archimedean t-conorm if it is strictly increasing in each variable for
x,y∈(0,1).
It is well known (see Klement et al., 2000) that a strict Archimedean t-norm can be expressed via its additive generator g as follows:
T(x,y)=g−1(g(x)+g(y)), and the same applies to its dual t-conorm,
S(x,y)=h−1(h(x)+h(y)), with
h(x)=g(1−x). That is,
S(x,y)=1−g−1(g(1−x)+g(1−y)). If not otherwise specified, we remind that an additive generator of a continuous Archimedean t-norm is a strictly decreasing function
g:[0,1]→[0,∞] such that
g(1)=0 in the following parts. For nilpotent operations the inverse changes to the pseudo-inverse.
For a given weight vector
ω=(ω1,ω2,…,ωn)⊤ of
x=(x1,x2,…,xn) where
ωj∈[0,∞) is the weight of
xj (
j=1,2,…,n), we denote the weighted t-norm aggregation operator as
Tω(x). Let T be a continuous Archimedean t-norm with an additive generator g (Yager, 2004a), and we define the weighted aggregation as:
If we assign specific forms to the function g, then some weighted Archimedean t-norm from the well-known Archimedean t-norms (Klement et al., 2000) can be obtained:
Let
gSSγ(t)=1−tγγ,
γ≠0, then the weighted Schweizer–Sklar t-norm is provided as follows:
Particularly, if
γ=1 and
ω=(1,1), then Schweizer–Sklar t-norm reduces to the Łukasiewicz t-norm.
Furthermore, let
A=H(T,S) be a composed aggregation operator based on a continuous t-norm T, a continuous t-conorm S and a binary aggregation operator H, Calvo and Mesiar (2003) introduced weighted t-norms based aggregation operator
Aω:[0,1]dimω→[0,1] as
Aω=H(Tω,Sω), i.e.
Aω(x)=H(Tω(x),Sω(x)).
2.2 Intuitionistic Fuzzy Sets
Definition 2.5 (See Atanassov, 1986).
We recall for an intuitionistic fuzzy set the membership grade of x in A which is represented as a pair
(μA(x),νA(x)) is called a intuitionistic fuzzy number (IFN) (Xu, 2007) and the set of all IFNs is denoted as
IFN. Here, the expression
πA(x)=1−μA(x)−νA(x) is called the hesitancy of x. The IFN
α=(μα,να) has a physical interpretation, for example, if
α=(0.3,0.2), then it can be interpreted as “the vote for resolution is 3 in favour, 2 against, and 5 abstentions (Gau and Buehrer, 1993). The following partial order ⩽ on
IFN, which is defined for
α=(μα,να) and
β=(μβ,νβ) as
β⩽α if and only if
μβ⩽μα and
να⩽νβ. For an IFN α, a score function s (Chen and Tan, 1994), which is defined as the difference of membership and non-membership function, can be denoted as:
s(α)=μα−να, where
s(α)∈[−1,1]. The larger the score
s(α) is, the greater the IFN α is. To make the comparison method more discriminatory, an accuracy function h (Hong and Choi, 2000) is defined as follows:
h(α)=μα+να, where
h(α)∈[0,1]. When the scores are the same, the larger the accuracy
h(α) is, the greater the IFN α is. However, it is obvious that
h(α)+πα=1.
Definition 2.6 (See Xu, 2007).
For convenience, if not otherwise specified, we always denote
α=(α1,α2,…,αn),μα=(μα1,μα2,…,μαn),να=(να1,να2,…,ναn),1−μα=(1−μα1,1−μα2,…,1−μαn),1−να=(1−να1,1−να2,…,1−ναn),
for IFNs
αj (
j=1,2,…,n).Definition 2.8 (See Xia et al., 2012).
Definition 2.9 (See Xia et al., 2012).
However, if we assign
g(t) to
gHγ(t)=ln(γ+(1−γ)tt),
gSSγ(t)=1−tγγ and
gDγ(t)=(1−tt)γ, respectively, then the following families of IFWM
Tω,g operators are obtained:
Note that
IFWMTω,gHγ has been investigated in Xia et al. (2012). In particular, if
γ=1, then
IFWMTω,gH1(α)=(n∏j=1μωjαj,1−n∏j=1(1−ναj)ωj),IFWMTω,gSS1(α)=(∑nj=1ωjμαj,n∑j=1ωjναj),IFWMTω,gD1(α)=((n∑j=1ωjμ−1αj)−1,1−(n∑j=1ωj(1−ναj)−1)−1),
IFWMTω,gH1=IFWGω defined by Xu (2007),
IFWMTω,gSS1=IFWMω defined by Beliakov et al. (2011) and
IFWMTω,gD1 are natural generalizations of fuzzy weighted geometric mean, arithmetic mean and Harmonic mean, respectively.However, Deschrijver and Kerre (2008) provided a natural extension of an aggregation function to the environment of interval-valued fuzzy set, and Beliakov and James (2013) gave the definition for A-IFS representation as follows:
Definition 2.10 (See Beliakov and James, 2013).
Given an aggregation function
agg:[0,1]n→[0,1], the natural extension of the aggregation function
agg is given by
Agg:IFNn→IFN,
Agg(α)=(agg(μα),1−agg(1−να)).
3 Symmetric Intuitionistic Fuzzy Weighted Mean Operators w.r.t. Weighted Archimedean t-Norms and t-Conorms
Considering the work of Beliakov and James (2013), Calvo and Mesiar (2003), Tan et al. (2013), Xia and Xu (2012), Xia et al. (2012), in this section we develop some symmetric intuitionistic fuzzy weighted mean operators w.r.t. weighted Archimedean t-norms and t-conorms to fairly treat membership and non-membership information and provide more choices for the decision maker by considering his/her attitude with parameters.
3.1 Symmetric Intuitionistic Fuzzy Weighted Mean Operators w.r.t. Weighted Archimedean t-Norms
Proof.
Since
αj(j=1,2,…,n) are IFNs, it holds that
μαj+ναj⩽1. The antitonicity of g leads that
Tω,g(να)⩽Tω,g(1−μα). Thus we have
Tω,g(μα)Tω,g(μα)+Tω,g(1−μα)⩽Tω,g(μα)Tω,g(μα)+Tω,g(να). Similarly, it holds that
Tω,g(να)Tω,g(να)+Tω,g(1−να)⩽Tω,g(να)Tω,g(να)+Tω,g(μα). Then it yields immediately that
Tω,g(μα)Tω,g(μα)+Tω,g(1−μα)+Tω,g(να)Tω,g(να)+Tω,g(1−να)⩽1, i.e. Eq. (4) is an IFN. □
Definition 3.2.
Let
αj (
j=1,2,…,n) be a collection of IFNs,
Tω,g be a weighted Archimedean t-norm and
SIFWMTω,g:IFNn→IFN, if
then SIFWM
Tω,g is called a symmetric intuitionistic fuzzy weighted mean (SIFWM
Tω,g) operator of dimension n w.r.t.
Tω,g.
Especially,
ναj=1−μαj for all
j=1,2,…,n, that is, all
αj are reduced to
μαj, respectively, then Eq. (5) has the following form:
which becomes both a symmetric sum operator of dimension n (Beliakov et al., 2007) and a weighted t-norm-based aggregation operator with
H(x,y)=x1+x−y (Calvo and Mesiar, 2003) to aggregate fuzzy information.
Proposition 3.3.
Let
αj,βj
(j=1,2,…,n) be two collections of IFNs with
α=(α1,α2,…,αn),
β=(β1,β2,…,βn), respectively, and
Tω,g be a weighted Archimedean t-norm with an additive generator g.
Proof.
(1) By Definition 3.2, it holds that
and hence
SIFWMTω,g(α)=δ.
(2) Since
αj⩽βj for all j, i.e.
μαj⩽μβj and
νβj⩽ναj, we have
Tω,g(μα)⩽Tω,g(μβ),
Tω,g(1−μβ)⩽Tω,g(1−μα),
Tω,g(1−μα)⩽Tω,g(1−μβ) and
Tω,g(μβ)⩽Tω,g(μα), and hence
Tω,g(μα)Tω,g(μα)+Tω,g(1−μα)=11+Tω,g(1−μα)Tω,g(μα)⩽11+Tω,g(1−μβ)Tω,g(μβ)=Tω,g(μβ)Tω,g(μβ)+Tω,g(1−μβ).
Similarly, it holds that
Tω,g(νβ)Tω,g(νβ)+Tω,g(1−νβ)⩽Tω,g(να)Tω,g(να)+Tω,g(1−να). Thus we obtain
SIFWMTω,g(α)⩽SIFWMTω,g(β).When the additive generator g is assigned to different forms, some specific intuitionistic fuzzy aggregation operators can be provided as follows:
-
(1) If g(t)=gHγ(t), then the SIFWM Tω,g operator is reduced to the following form: Especially, if γ=1, i.e. gH1(t)=−ln(t), then the SIFWMTω,gH1 operator with Tω,gH1(x)=∏nj=1xωjj is called a symmetric intuitionistic fuzzy weighted geometric (SIFWG) operator defined by Xia and Xu (2012) ; if γ=2, i.e. gH2(t)=ln(2−tt), then the SIFWMTω,gH2 operator with Tω,gH2(x)=2∏nj=1(2xj−1)ωj+1 is the symmetric form of IFWG operator based on the Einstein t-norm defined by Wang and Liu (2012) ; if γ→∞, then it holds thatlimγ→∞Tω,gHγ(x)=limγ→∞γ∏nj=1(γxj+1−γ)ωj+γ−1=limγ→∞(∏nj=1(γxj+1−γ)ωj∏nj=1γωj+γ−1γ)−1=limγ→∞(n∏j=1(1xj+1−γγ)ωj+γ−1γ)−1=(n∏j=1(1xj−1)ωj+1)−1,thus we have if γ→0, in a similar way, we have
-
(2) If g(t)=gSSγ(t), then the SIFWM Tω,g operator is reduced to the following form: Particularly, if γ→∞, we assume that xk=max{x1,x2,…,xn}, k∈{1,2,…,n}, then it follows from L’Hôpital’s rule thatlimγ→∞Tω,gSSγ(x)=limγ→∞(n∑j=1ωjxγj)1γ=limγ→∞eln(∑nj=1ωjxγj)γ=limγ→∞e∑nj=1ωjxγjlnxj∑nj=1ωjxγj=elimγ→∞∑nj=1ωjxγjlnxj∑nj=1ωjxγj=elimγ→∞∑nj=1ωj(xjxk)γlnxj∑nj=1ωj(xjxk)γ=eωklnxkωk=xk,thus we get Similarly, if γ→−∞, then we have and if γ→0, then we get
-
(3) If g(t)=gDγ(t), then the SIFWM Tω,g operator is reduced to the following case: In particular, if γ=1, then the SIFWM Tω,g operator is reduced to the following case: where Tω,gD1(x)=(∑nj=1ωjx−1j)−1. Now, we consider the case for γ→∞. Notice that For limγ→∞(∑nj=1ωj(x−1j−1)γ)1γ, taking xk=min{x1,x2,…,xn} with k∈{1,…,n}, then we have the following three cases:Case 1. xk<12, i.e. x−1k−1>1. Then it follows from L’Hôpital’s rule thatlimγ→∞(n∑j=1ωj(x−1j−1)γ)1γ=limγ→∞eln(∑nj=1ωj(x−1j−1)γ)γ=limγ→∞e∑nj=1ωj(x−1j−1)γln(x−1j−1)∑nj=1ωj(x−1j−1)γ=limγ→∞e∑nj=1ωj(x−1j−1x−1k−1)γln(x−1j−1)∑nj=1ωj(x−1j−1x−1k−1)γ=eln(x−1k−1)=x−1k−1.Thus limγ→∞Tω,gDγ(x)=xk.Case 2. xk=12, i.e. x−1k−1=1. Then it follows from L’Hôpital’s rule that thus limγ→∞Tω,gDγ(x)=12.Case 3. xk>12, i.e. x−1k−1<1. Then it is similar to Case 1 that thus limγ→∞Tω,gDγ(x)=xk.
3.2 Symmetric Intuitionistic Fuzzy Weighted Mean Operators w.r.t. Weighted Archimedean t-Conorms
Proof.
Since
αj
(j=1,2,…,n) are IFNs, we have
μαj+ναj⩽1, i.e.
ναj⩽1−μαj. The antitonicity of g leads that
ωjg(1−μαj)⩽ωjg(ναj), and hence
Sω,g(να)⩽Sω,g(1−μα). Thus we get
Sω,g(μα)Sω,g(μα)+Sω,g(1−μα)⩽Sω,g(μα)Sω,g(μα)+Sω,g(να). Similarly,
Sω,g(να)Sω,g(να)+Sω,g(1−να)⩽Sω,g(να)Sω,g(να)+Sω,g(μα). Thus it yields that
Sω,g(μα)Sω,g(μα)+Sω,g(1−μα)+Sω,g(να)Sω,g(να)+Sω,g(1−να)⩽1, that is, (16) is an IFN. □
Definition 3.5.
Let
αj (
j=1,2,…,n) be a collection of IFNs,
Sω,g be the dual of a weighted Archimedean t-norm
Tω,g with an additive generator g w.r.t. standard negation
n(x)=1−x and
SIFWMSω,g:IFNn→IFN, if
then SIFWM
Sω,g is called a symmetric intuitionistic fuzzy weighted mean (SIFWM
Sω,g) operator of dimension n w.r.t.
Sω,g.
Especially, if
ναj=1−μαj for all
j=1,2,…,n, that is, all
αj are reduced to
μαj, respectively, then Eq. (17) is reduced to the following form:
which becomes both a symmetric sum operator of dimension n (Beliakov et al., 2007) and a weighted t-norm-based aggregation operator with
H(x,y)=y1−x+y (Calvo and Mesiar, 2003) to aggregate fuzzy information.
Proposition 3.6.
Let
αj,βj
(j=1,2,…,n) be two collections of IFNs with
α=(α1,α2,…,αn),
β=(β1,β2,…,βn), respectively, and
Sω,g be the dual of a weighted Archimedean t-norm
Tω,g with an additive generator g w.r.t. standard negation
n(x)=1−x.
Next, we assign the additive generator g to different forms, some specific symmetric intuitionistic fuzzy aggregation operators can be obtained as follows:
-
1. If g(t)=gHγ(1−t), then the SIFWM Sω,g operator is reduced to the following form: where Sω,gHγ(x)=∏nj=1(γ1−xj+1−γ)ωj−1∏nj=1(γ1−xj+1−γ)ωj+γ−1, γ>0.Especially, if γ=1, i.e. gH1(t)=−ln(1−t), then the SIFWMSω,gH1 operator with Sω,gH1(x)=1−∏nj=1(1−xj)ωj is the symmetric form of intuitionistic fuzzy weighted averaging (IFWA) operator defined by Xu (2007) ; if γ=2, i.e. gH2(t)=ln(1+t1−t), then the SIFWMSω,gH2 operator with Sω,gH2(x)=∏nj=1(1+xj1−xj)ωj−1∏nj=1(1+xj1−xj)ωj+1 is the symmetric form of IFWG operator based on Einstein t-norm and t-conorm defined by Wang and Liu (2012) ; if γ→∞, then it is similar to the proof of limγ→∞Tω,gHγ(x) that and hence
-
2. If g(t)=gSSγ(1−t), then the SIFWM Sω,g operator is reduced to the following form: where Sω,gSSγ(x)=1−(∑nj=1ωj(1−xj)γ)1γ, γ≠0. In particular, it is similar to the proofs of SIFWMTω,gSS∞(α), SIFWMTω,gSS−∞(α) and SIFWMTω,gSS0(α) that
-
(3) If g(t)=gDγ(1−t), then the SIFWM Sω,g operator is reduced to the following form: where Sω,gDγ(x)=(∑nj=1ωj(xj1−xj)γ)1γ(∑nj=1ωj(xj1−xj)γ)1γ+1, γ>0.Particularly, if γ=1, then the SIFWM Sω,g operator is reduced to the following form: where Sω,gD1(x)=∑nj=1ωjxj1−xj∑nj=1ωj11−xj; it is similar to the proofs of SIFWMTω,gD∞(α) and SIFWMTω,gD0(α) that
All in all, we have the following conclusion:
The above corollary indicates that the operators
SIFWMTω,gSSγ and
SIFWMSω,gSSγ can well reflect the variations of the other operators. Furthermore, since
SIFWMTω,gSSγ and
SIFWMSω,gSSγ are dual, we always use the operator
SIFWMTω,gSSγ to neutrally aggregate the IFNs and the Eqs. (10), (11) and (12) can be considered as the cases when the decision maker is optimistic, pessimistic or impartial. With respect to the existing symmetrical intuitionistic fuzzy aggregation operators (Beliakov et al., 2011; Liao and Xu, 2015; Xia and Xu, 2012), the proposed aggregation operators based on weighted Archimedean t-norm and t-conorm possess the following advantages:
-
• these existing operators (Beliakov et al., 2011; Liao and Xu, 2015; Xia and Xu, 2012) can only treat membership and non-membership information fairly, and provide a single choice for the decision maker; the proposed ones can not only treat membership and non-membership information fairly but also provide more choices for the decision maker;
-
• the existing operator (Liao and Xu, 2015) can not reduce to the corresponding fuzzy one; the proposed ones can be considered as generalizations of the existing aggregation operators in fuzzy cases;
-
• the existing operator (Xia and Xu, 2012) is not suitable for dealing with IFNs (1,0) or (0,1); the proposed operators can solve the case.
4 The Relationships Among the Proposed Aggregation Operators and the Existing One
The following lemma is obvious but useful to investigate the relationships among the proposed aggregation operators and the existing ones:
The relationships among IFWM
Tω,g, IFWA
Tω,g and SIFWM
Tω,g can be shown as follows:
Proposition 4.2.
Let
αj
(j=1,2,…,n) be a collection of IFNs and
Tω,g be a weighted Archimedean t-norm
Tω,g with an additive generator g.
Proof.
We only prove (1), and (2), (3) can be proven in a similar way.
Since g is concave, i.e.
g−1 is convex, it follows from Lemma 4.1(2) that
g−1(∑ni=1ωig(μαi))+g−1(∑ni=1ωig(1−μαi))⩽∑ni=1ωiμαi+∑ni=1ωi(1−μαi)=∑ni=1ωi=1, and hence
g−1(∑ni=1ωig(μαi))⩽1−g−1(∑ni=1ωig(1−μαi)), i.e.
Tω,g(μα)⩽1−Tω,g(1−μα). Using Lemma 4.1(1), we get
Tω,g(μα)⩽Tω,g(μα)Tω,g(μα)+Tω,g(1−μα)⩽1−Tω,g(1−μα). In a similar way, it yields that
Tω,g(να)⩽Tω,g(να)Tω,g(να)+Tω,g(1−να)⩽1−Tω,g(1−να). Thus, IFWM
Tω,g(α) ⩽ SIFWM
Tω,g(α) ⩽ IFWA
Tω,g(α). □
The relationships between IFWM
Sω,g, IFWA
Sω,g and SIFWM
Sω,g can be shown as follows:
Proposition 4.3.
Let
αj
(j=1,2,…,n) be a collection of IFNs and
Sω,g be the dual of a weighted Archimedean t-norm
Tω,g with an additive generator g w.r.t. standard negation
n(x)=1−x.
Proof.
We only prove (1), and (2), (3) can be proven in a similar way.
Since g is concave, i.e.
g−1 is convex, it follows from Lemma 4.1(2) that
g−1(∑ni=1ωig(μαi))+g−1(∑ni=1ωig(1−μαi))⩽∑ni=1ωiμαi+∑ni=1ωi(1−μαi)=∑ni=1ωi=1, and hence
g−1(∑ni=1ωig(μαi))⩽1−g−1(∑ni=1ωig(1−μαi)), i.e.
Tω,g(μα)⩽1−Tω,g(1−μα). By Lemma 4.1(1), we get
Tω,g(μα)⩽1−Tω,g(1−μα)2−Tω,g(μα)−Tω,g(1−μα)=Sω,g(μα)Sω,g(μα)+Sω,g(1−μα)⩽1−Tω,g(1−μα). In a similar way, we have
Tω,g(να)⩽Sω,g(να)Sω,g(να)+Sω,g(1−να)⩽1−Tω,g(1−να). Thus
IFWMSω,g(α)⩽SIFWMSω,g(α)⩽IFWASω,g(α). □
5 An Approach to Intuitionistic Fuzzy Multi-Criteria Decision Making
For a multi-criteria decision making under intuitionistic fuzzy environment, let
x={x1,x2,…,xm} be a set of alternatives to be selected, and
C={C1,C2,…,Cn} be a set of criteria to be evaluated. To evaluate the performance of the alternative
xi under the criterion
Cj, the decision maker is required to provide not only the information that the alternative
xi satisfies the criterion
Cj, but also the information that the alternative
xi does not satisfy the criterion
Cj. This two part information can be expressed by
μij and
νij which denote the degrees that the alternative
xi satisfies the criterion
Cj and does not satisfy the criterion
Cj, then the performance of the alternative
xi under the criteria
Cj can be expressed by an IFN
αij with the condition that
0⩽μij,νij⩽1 and
0⩽μij+νij⩽1. When all the performances of the alternatives are provided, the intuitionistic fuzzy decision matrix
D=(αij)m×n=((μij,νij))m×n can be constructed. To obtain the ranking of the alternatives, the following steps are given:
-
(2) Aggregate the IFNs βij (j=1,2,…,n) of the alternative xi (i=1,2,…,m), denoted as βi (i=1,2,…,m), by the proposed aggregation operators SIFWMTω,gSSγ (9).
-
(3) Calculate the score s(βi) of βi (i=1,2,…,m) by Definition 2.6, and obtain the priority of the alternatives according to the ranking of βi (i=1,2,…,m), the bigger the IFN βi is, the better the alternative xi is.
To illustrate the proposed methods, an example adapted from Chen (2011), Xia et al. (2012) is given as follows:
Example 5.1.
The purchasing manager in a small enterprise considers various criteria involving
C1: financial factors (e.g. economic performance, financial stability),
C2: performance (e.g. delivery, quality, price),
C3: technology (e.g. manufacturing capability, design capability, ability to cope with technology changes), and
C4: organizational culture and strategy (e.g. feeling of trust, internal and external integration of suppliers, compatibility across levels and functions of the buyer and supplier). The set of evaluative criteria is denoted by
C={C1,C2,C3,C4}, whose weight vector is
ω=(0.34,0.23,0.22,0.21)⊤. There are six suppliers available, and the set of all alternatives is denoted by
X={x1,x2,…,x6}. The characteristics of the suppliers
xi
(i=1,2,…,6) in terms of the criteria in C are expressed by the following intuitionistic fuzzy decision matrix (see Table 1).
Table 1
Intuitionistic fuzzy decision matrix D.
C1 | C2 | C3 | C4 | |
x1 | (0.60, 0.18) | (0.24, 0.44) | (0.10, 0.54) | (0.45, 0.23) |
x2 | (0.41, 0.25) | (0.49, 0.09) | (0.10, 0.39) | (0.52, 0.45) |
x3 | (0.62, 0.18) | (0.67, 0.28) | (0.36, 0.42) | (0.12, 0.67) |
x4 | (0.21, 0.58) | (0.76, 0.22) | (0.48, 0.34) | (0.15, 0.53) |
x5 | (0.38, 0.19) | (0.65, 0.32) | (0.06, 0.29) | (0.24, 0.39) |
x6 | (0.56, 0.12) | (0.50, 0.41) | (0.21, 0.07) | (0.06, 0.28) |
As it has been pointed in Xia et al. (2012) that all the criteria
Cj
(j=1,2,3,4) are the benefit criteria, the IFNs of the alternatives
xi
(i=1,2,…,6) do not need normalization. Thus to obtain the alternative(s), the following steps are given:
Obviously, the aggregated results and the ranking orders of the alternatives vary with the parameter γ, that is, they can be considered as the function with γ as its independent variable. Thus we can illustrate them by their functional images as follows:
-
Fig. 1 gives the variation of the memberships of the aggregated results by SIFWMTω,gSSγ operators, denoted as μTω,gHγi ( i=1,2,…,6), respectively, with the parameter γ from −20 to 20. Particularly, when γ=0, it is the result obtained by the operator in Xia et al. (2012) ; when γ=1, it is the result obtained by the operator in Beliakov et al. (2011).
-
Fig. 2 indicates the variation of the nonmemberships of the aggregated results by SIFWMTω,gSSγ operators where the values of γ increase from −20 to 20. Similarly, when γ=0, it is the result obtained by the operator in Xia et al. (2012) ; when γ=1, it is the result obtained by the operator in Beliakov et al. (2011).
-
Fig. 3 provides the variation of the scores of the alternatives obtained by the SIFWMTω,gSSγ operator with γ from −30 to 30. When γ<−14.7, that is, pessimistically, the optimal alternative is x4; when −14.7<γ<−1.2, relatively pessimistically, optimal one is x2; when −1.2<γ<9.2, impartially the optimal one is x6; when 9.2<γ, optimistically, the optimal one is x5. It is obvious that the alternative x5 varies from the worst one to the optimal one with the parameter γ which reflects the attitude of the decision maker.
In order to compare the ranking orders with those that are provided by SIFWG operator (Liao and Xu, 2015), we take
γ=0, and
γ=1, that is, the results obtained by the operators in Xia and Xu (2012), Beliakov et al. (2011), which are listed in Table 2.
Table 2
Ranking orders determined by different aggregation operators.
Operator | Ranking order |
The proposed operator with γ=−∞ | x4≻x2≻x6≻x1≻x3≻x5 |
The proposed operator with γ=−1 | x6≻x2≻x3≻x1≻x5≻x4 |
The proposed operator with γ=0 (Xia and Xu, 2012) | x6≻x3≻x2≻x1≻x5≻x4 |
The proposed operator with γ=1 (Beliakov et al., 2011) | x6≻x3≻x2≻x5≻x1≻x4 |
The proposed operator with \gamma =\infty | {x_{5}}\succ {x_{6}}\succ {x_{2}}\succ {x_{4}}\succ {x_{1}}\succ {x_{3}} |
The operator provided by Liao (Liao and Xu, 2015) | {x_{6}}\succ {x_{2}}\succ {x_{3}}\succ {x_{1}}\succ {x_{5}}\succ {x_{4}} |
6 Conclusions
Various aggregation operators have been constructed to adapt to different situations. In this paper, we proposed the SIFWM operators w.r.t. weighted Archimedean t-norms and t-conorms to neutrally deal with membership and non-membership of intuitionistic fuzzy information. Comparing the existing symmetrical operators with the proposed ones, we found that
In the future, we will utilize the symmetrical aggregation operators in other fuzzy environments such as linguistic, bipolar, Pythagorean and intuitionistic multiplicative fuzzy environment (Alghamdi et al., 2018; Alonso et al., 2013; Ma and Xu, 2016, 2018) to investigate the consensus in group decision making problems (Del Moral et al., 2018; Dong et al., 2018; Urena et al., 2019).