International Journal of Computational Intelligence Systems

Volume 12, Issue 2, 2019, Pages 1179 - 1196

Aggregating Interrelated Attributes in Multi-Attribute Decision-Making With ELICIT Information Based on Bonferroni Mean and Its Variants

Authors
Bapi Dutta1, Álvaro Labella2, *, Rosa M. Rodríguez2, Luis Martínez2
1The Logistics Institute Asia Pacific, National University of Singapore, 21 Heng Mui Keng Terrace, Singapore, 119613, Singapore
2Department of Computer Science, University of Jaén, Campus Las Lagunillas, Jaén, 23071, Spain
*Corresponding author. Email: alabella@ujaen.es
Corresponding Author
Álvaro Labella
Received 27 August 2019, Accepted 28 September 2019, Available Online 21 October 2019.
DOI
10.2991/ijcis.d.190930.002How to use a DOI?
Keywords
ELICIT information; Aggregation operator; Interrelationship; Bonferroni mean
Abstract

In recent times, to improve the interpretability and accuracy of computing with words processes, a rich linguistic representation model has been developed and referred to as Extended Comparative Linguistic Expressions with Symbolic Translation (ELICIT). This model extends the definition of the comparative linguistic expressions into a continuous domain due to the use of the symbolic translation concept related to the 2-tuple linguistic model. The aggregation of ELICIT information via a suitable rule that reflects the underlying interrelation among the aggregated information in output is the key tool to design decision-making algorithm for solving multi-attribute decision-making problems under linguistic information. In this study, we introduce three aggregation operators for aggregating ELICIT information in aim of capturing three different types of interrelationship patterns among inputs, which we refer to as ELICIT Bonferroni mean, ELICIT extended Bonferroni mean and ELICIT partitioned Bonferroni mean. Further, the key aggregation properties of these proposed operators are investigated with the proposal of weighted forms. Based on the proposed aggregation operators, an approach for solving multi-attribute decision-making problems, in which attributes are interrelated is developed. Finally, a didactic example is presented to illustrate the working of the proposal and demonstrate its feasibility.

Copyright
© 2019 The Authors. Published by Atlantis Press SARL.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

1. INTRODUCTION

With the growing complexity of the socio-economic environment, it is quite common to prevail the uncertainty and vagueness in the decision-making process, in particular, the situations, where human judgments/assessments/perceptions are inevitable to reach a final decision over a set of alternatives [1]. The emergence of such scenarios involving human cognition leads us to use linguistic information based on the fuzzy linguistic approach [2] to effectively manage uncertainty in such decision-making processes. The fuzzy linguistic approach uses fuzzy set theory [3] to manage uncertainty and model linguistic information by using linguistic variables described by Zadeh [2] as “A variable whose values are not numbers but words or sentences in a natural or artificial language.” A linguistic variable is characterized by a syntactic value or label and a semantic value. Whereas the label is a word that belongs to a set of linguistic terms, semantics is provided by a fuzzy set in a discourse universe. Over the years, the fuzzy linguistic approach has been applied successfully in solving many practical multi-attribute decision-making (MADM) problems from the different domains [1,4] and many linguistic computational models have been put forwarded to improve and enhance the information modeling and computation process capability of the Zadeh's approach [2]. They can be broadly classified into two distinct categories: symbolic computational models [57] and semantic-based computational models [8]. In terms of simplicity and interpretability, symbolic models stand out semantic models. The symbolic models have evolved enormously over the years. The first proposals [4,9,10] made use of single linguistic variables, for instance, good, horrible, very bad, perfect, to provide the decision makers’ preferences and carried out the linguistic computations. Among these symbolic models, 2-tuple linguistic computational model [4,5], which enhanced the interpretability of the fuzzy linguistic approach by introducing the concept of symbolic translation, has got wide speared acceptance among the community and successfully applied in solving the MADM problems [11,12]. However, in spite of many of these approaches have been applied successfully in decision-making problems, the modeling of linguistic information is limited when experts provide their preferences by using just single terms. To overcome this drawback, several proposals that obtain richer linguistic expressions than single linguistic terms have been proposed [13]. One of the most outstanding proposals is the so-called Hesitant Fuzzy Linguistic Term Sets (HFLTSs) [14], which were introduced to model the hesitancy of the experts when they doubt among several linguistic terms at the same time. HFLTSs are also based on the fuzzy linguistic approach that will serve as bases to increase the flexibility of the elicitation of linguistic information. An example of HFLTS might be {good,very good,excellent}. Furthermore, several decision-making proposals have been put forwarded in the literature [15]. Although HFLTS can be directly used by the experts to elicit several linguistic values for a linguistic variable, they are not close to the way of expressing opinions used by human beings. For this reason, Rodríguez et al. [14,16] proposed a formalization process to generate linguistic expressions close to the common language used by human beings in decision-making problems. Such expressions, so-called comparative linguistic expressions (CLEs), are based on HFLTSs and model the decision maker's hesitancy by means of the use of context-free grammars. An example of CLEs might be between good and very good, at most bad, at least medium, etc. Several decision-making models in CLEs environment have been proposed by adopting different computational approaches [1720]. Up to this point, the CLEs are the closest to the way of thinking of the decision makers but the interpretability of the results in the existing computational approaches and information loss in the linguistic computations are the two key concerns that restrict their use as a decision tool under uncertainty. For this reason, in recent times, Labella et al. [21] proposed a new fuzzy linguistic representation for CLEs, which they referred as Extended Comparative LInguistiC Expressions with SymbolIc Translation (ELICIT) information. This representation takes advantage of the main characteristic of the CLEs, their interpretability, and improves the precision of the results by extending the representation of CLEs generated by a context-free grammar into a continuous domain to perform computing with words (CW) processes without any kind of approximation. In this way, the proposed ELICIT computational model overcomes the drawbacks of the earlier proposals. Some examples of ELICIT information might be between (good,0.23)0.12 and (very good,0.1)0.3, at most (bad,0)0, at least (medium,0.1)0.11, etc.

In the same way that representing information in the decision process is key, the aggregation of such information, which comes from different sources via a suitable rule (aggregation operator), plays also a pivotal role in decision-making process by combining several pieces of information into a single information, which represents overall overview [22]. In the context of MADM, aggregation operators are generally used to find overall performance of the alternatives from their performances against the predefined set of criteria. The need of modeling specific interaction among the attributes and computational formalization with different types of linguistic information to conduct decision-making process under specific linguistic environment were the cornerstone behind the development of several classes of aggregation operators in MADM context.

In this vein, to aggregate interrelated linguistic information represented by 2-tuple linguistic information, several 2-tuple linguistic aggregation operators have been proposed in the literature [4,2327]. On the other hand, to fuse linguistic information, expressed by HFLTSs, many aggregation operators have been developed considering the nature of the interaction (independent/interrelated) among the aggregated HFLTSs [2833]. Despite many successful uses of the hesitant fuzzy linguistic computational model in decision-making, it has limitations in modeling complex linguistic expressions by HFLTS [34] and can be overcome with the capability of ELICIT expression. The use of ELICIT information in the decision-making makes it necessary to consider the issue of aggregation of ELICIT information. In this view, Labella et al. [21] defined an aggregation operator, which we can refer to as ELICIT arithmetic mean, to aggregate ELICIT expressions in the decision-making process. However, the proposed aggregation operator does not consider the interrelationship among the aggregated ELICIT expressions that are connected with the underlying interrelationship structure of associated concepts/objects, like the attributes’ interrelationship and the corresponding ratings. Further, considering the importance/weights of the inputs in the aggregation process is vital to take into account in many decision-making processes and that have not been considered by Labella et al.[21]. Therefore, in spite of ELICIT information advantages, there is an evident lack of proposals about ELICIT aggregation operators that consider the interrelation among the ELICIT expressions and their importance in the aggregation process. For this reason, this study aims:

  • Develop several aggregation operator to aggregate ELICIT information by capturing different interrelationship patterns (homogeneous, heterogeneous and partitioned structure) among the aggregated arguments.

  • Capture the homogeneous relationship among ELICIT expressions by developing the ELICIT Bonferroni mean (ELICITBM) operator.

  • Reflect the heterogeneous interaction among the aggregated ELICIT expressions by developing the ELICIT extended Bonferroni mean (ELICITEBM) operator

  • Capture the partitioned structured interrelationship among aggregated ELICIT expressions by developing the ELICIT partitioned Bonferroni mean (ELICITPBM) operator.

  • Study the proposed aggregation operators properties and weighted form to take into account weight information in the aggregation process.

  • Based on the proposed aggregation operators, present an approach for solving MADM problems in which attributes follow the different interrelationship patterns.

To this end, the paper is organized as follows. In Section 2, we provide a brief primer of classical aggregation operator that captures interrelationship of among the aggregated arguments along with fuzzy set theory. A brief overview of the ELICIT representation and computational model is also included in Section 2. In Section 3, we develop three aggregation operators to fuse the ELICIT information according to their underlying interrelationship structures, namely, ELICITBM, ELICITEBM and ELICITPBM. The key properties of these operators are also studied along with the weighted forms: ELICITWBM, weighted ELICITEBM (ELICITWEBM) and WELICITPBM. In Section 4, an aggregation operator-based approach to solving the MADM problems, in which attributes are interrelated with different patterns is proposed. A didactic example is presented in Section 5 to illustrate the working of our approach and feasibility. Finally concluding remarks are made in Section 6.

2 PRELIMINARIES

In this section, we overlay the key concepts related to Bonferroni mean (BM), arithmetic operational laws of fuzzy numbers and ELICIT information for easy understanding of our subsequent proposals on aggregation of interrelated ELICIT information and linguistic decision-making process.

2.1 Aggregation Operators for Interrelated Information

In this section, we briefly introduce the BM and its variants, which are capable of capturing different kinds of interrelationship patterns among the aggregated information. We start by recalling the definition of the BM operator.

Definition 1.

[35] Let p and q0, p+q>0. For an input vector a =(a1,a2,,an)[0,1]n, the BM can be defined as a mapping BM:[0,1]n[0,1] and given by

BMp,q(a1,a2,,an)=1n(n1)i,j=1ijnaipajq1p+q

Although, BM was introduced by Bonferroni [35] in 1950, it is analyzed and interpreted in decision-making context by Yager [36]. Specifically, BM captures a homogeneous interrelationship pattern among the inputs that every input ai a is related to the rest of the inputs of a. But in many real-life contexts, such homogeneous connections among the inputs may not exist rather the inputs are related to each other in a heterogeneously related fashion. To capture such heterogeneous connections among the inputs, Dutta et al. [25] developed a new aggregation operator, which is referred to as extended Bonferroni mean (EBM). Based on heterogeneous connection among the inputs, they classified inputs a into two categories U and V, where every input of U is related to a subset of the rest of the inputs, i.e., Ei a {ai} and the inputs of V are not related to each other. Having this interpretation of the heterogeneous interrelationship pattern, the rule for the EBM aggregation operator is given by

Definition 2.

[25] For any p>0 and q0, the EBM operator of dimension n is a mapping EBM :[0,1]n[0,1] such that

EBMp,q(a1,a2,,a3)=(n|I|)n(1n|I|)iIaip(1|Ii|jIiajp))pp+q+|I|n(1|I|iIaip)n|I|)n(1n|I|)iI(1|I|jI))pp+q)1p
where Ii is the set of indices of the elements of Ei, I is the collection indices of the inputs of V, |I| denotes the cardinality of the set I and empty sum is zero by convention with 00=0.

Partitioned Bonferroni mean (PBM) is another variant of BM, which is capable of capturing partition structure interrelationship pattern among the input set in the aggregation process and reflects it in the aggregated value [24]. In the following, we provide a brief description of the specific partition structure interrelationship pattern and PBM operator.

Let a =(a1,a2,,an) be the collection of inputs, with ai's being non-negative real numbers. Suppose, on the basis of the interrelationship pattern, the input set a is partitioned into d distinct classes P1,P2,,Pd such that PiPj=ϕ for all ij,i,j{1,2,,d}, r=1d P r = a and |Pi|2 for all i=1,2,,d. We further assume that the inputs of each Pi are interrelated and there is no interrelationship among the inputs of any two partitions Pi and Pj whenever i,j{1,2,,d} and ij. With these assumptions and notations, the PBM operator of the collection of inputs (a1,a2,,an) is defined as follows:

Definition 3.

[24] For p,q0 with p+q>0, the PBM operator is a mapping PBM :[0,1]n [0,1] such that

PBM(a1,a2,,an)=1dr=1d1|Pr|iPraip1|Pr|1jijPrajq1p+q
where |Pr| denotes cardinality of Pr.

It is evident from the Definitions 1 and 3 that BM is a special case PBM when all the inputs belong to same class [24]. To establish more concrete link between BM and PBM, we can write Eq. (3) as follows:

PBMp,q(a1,a2,,an)=1dr=1d1|Pr|(|Pr|1)i,jPrijaipajq1p+q=1dr=1dBMr(aiPr)
where,
BMr(aiPr)=1|Pr|(|Pr|1)i,jPrijaipajq1p+q
and (aiPr) denotes the set of inputs belongs to the partition Pr. With the help of Eq. (4), we can interpret PBM as arithmetic average of BM over different partition of the given input set. Therefore, one can compute the aggregated value of an input set by PBM via computing BM over different partitions.

2.2 Arithmetic Operations of Fuzzy Numbers

In this section, key concepts associated with the fuzzy numbers and their operational laws are briefly described. We start by recalling the definition of a fuzzy set, which is well known to model the concept that does not possess the sharp boundaries. Throughout this article, we will restrict ourselves to the class of fuzzy sets over the universe of discourse X which is a subset of the set of real numbers R.

Definition 4.

[3] A fuzzy set A˜ over the universe of discourse X is characterized by a membership function, which associates every element of xX to a real number from the interval [0,1] and denoted as

μA˜:X[0,1]

A fuzzy set A˜ can also be defined with help of ordered pairs of generic element xX and the corresponding membership degree (μA˜(x)) and represented as

A˜={(x,μA˜(x))|xX}

Definition 5.

[3] The support of the fuzzy set A˜ over the universe of discourse X is the set of all elements xX, such that, the membership degree is greater than 0, i.e.,

Supp(A˜)={xX|μA˜(x)>0}.

Definition 6.

[37] A fuzzy set A˜ is said to be normal if there exists a x0X such that μA˜(x0)=1.

Definition 7.

[37] A fuzzy set A over a convex universe of discourse X is said to be convex if

μA(λx+(1λ)y)min{μA(x),μA(y)},
for all x,ysupp(A) and λ[0,1].

Definition 8.

[37] A fuzzy number A˜ over the universe of discourse XR is a special fuzzy set, which is convex and normal.

As a fuzzy set is completely characterized by its membership function, we can say the membership functions are synonyms of the fuzzy sets. Although any function f:X[0,1] can serve as a membership function, in practice trapezoidal and triangular membership functions are widely used to quantify the fuzzy meaning of the linguistic terms used by the decision maker to express their opinions in natural language.

Definition 9.

A trapezoidal fuzzy number (TrFN) A˜=(a,b,c,d) with four parameters a,b,c,d(abcd) is a fuzzy subset of the real line R and described by its membership function μA˜ as follows:

μA˜(x)=xabaifax<b1ifb<xcdxdcifc<xd0,otherwise

Definition 10.

A triangular fuzzy number (TFN) A˜=(a,b,c) with three parameters a,b,c(abc) is a fuzzy subset of the real line R and described by its membership function μA˜ as follows:

μA˜(x)=xabaifax<b1ifx=bcxcbifb<xc0,otherwise

The obvious motivations behind the use of trapezoidal and TFNs come from the simplicity of the membership functions and their characterization requires reasonably limited information about the linguistic term [38,39]. For example, when a triangular A˜=(a,b,c) is used to quantify a linguistic term, the triplet (a,b,c) represents the lower, most likely and upper values of that linguistic term with varied membership degree, described via membership function μA˜(x).

The fuzzy arithmetic operational laws allow us to facilitate the computation over linguistic information. There are several ways to derive the arithmetic operational laws of the fuzzy numbers based on the Zadeh's extension principle [37]. As in the ELICIT computational model [21] the meaning of the primary linguistic term sets are represented by using TFNs or TrFNs, we restrict ourselves on fuzzy arithmetic operational laws, which preserve the shape of the original fuzzy numbers. In this view, we adopt Chen's function principle based arithmetic operational laws, which is given as follows [40]:

Definition 11.

Let A˜=(a1,b1,c1,d1) and B˜=(a2,b2,c2,d3) be the two positive TrFNs. Following Chen's function Then arithmetic operations between A˜ and B˜ can be defined as follows:

  • Addition: A˜B˜=(a1+a2,b1+b2,c1+c2,d1+d2)

  • Multiplication: A˜B˜=(a1a2,b1b2,c1c2,d1d2)

  • Scalar multiplication: rA˜=(ra1,rb1,rc1), r>0

  • Exponent: A˜r=(a1r,b1r,c1r), r>0.

Note that the function principle based arithmetic laws differ from extension principle-based arithmetic laws in multiplication operation as the former approximate resultant fuzzy number shape. Further, one may observe that with the increment of the number of aggregated fuzzy numbers in the aggregation process, the difference between function principle based aggregation and extension principle based aggregation results diminishes.

2.3 ELICIT Information

Despite the evolution of the symbolic approaches over the time [4,14,16], there exists several drawbacks in terms of interpretability and/or accuracy. ELICIT information allows us to keep the interpretability and precision of the results in MADM problems under linguistic environments thanks to the extension of CLEs into a continuous domain. To carry out such extension, the ELICIT expressions are generated by means of a context-free grammar by using the symbolic translation concept used by the 2-tuple linguistic model.

Definition 12.

[21] Let GH be a context-free grammar and S={s0,,sg} a linguistic term set. The elements of GH=(VN,VT,I,P) are defined as follows.

VN=(continuous primary term),  (composite term),   (unary relation),  (binary relation),(conjunction)VT={at least, at most, between, and,(s0,α)γ,,(sg,α)γ}IVN

The production rules defined in an extended Backus–Naur Form are:

P=I::=(continuous primary term)|(composite term)(composite term)::=(unary relation)(continuous primary term)|(binary relation)(continuous primary term)(conjunction)(continuous primary term)(continuous primary term)::=(s0,α)γ|(s1,α)γ||(sg,α)γ(unary relation)::= at least|at most(binary relation)::= between(conjunction)::= and

Therefore, the possible ELICIT expressions generated according to the previous context-free grammar are: “at least (si,α)γ”, “at most (si,α)γ” and “between (si,α1)γ1 and (sj,α2)γ2” (see Figure 1).

Figure 1

ELICIT information examples.

To obtain linguistic results represented by ELICIT information in decision-making processes, a novel approach was introduced in [21]. This approach starts from linguistic preferences provided by the experts modeled by CLEs and/or ELICIT information. Afterward, CLEs and ELICIT information are transformed into TrFNs. Whereas the CLEs are transformed into TrFNs through the computation of their fuzzy envelope [18], the transformation of the ELICIT information into TrFNs is carried by means an inversefunction.

Definition 13.

[21] Let EL1 be an ELICIT expression and T(a,b,c,d) a TrFN. The function ζ1 is defined as:

ζ1:EL1T(a,b,c,d)

Such that, from an ELICIT expression, it returns its equivalent TrFN.

In this point, the adjustment, γ, of the ELICIT expression plays a key role. The adjustment is an additional parameter included in the ELICIT expression, which will be used to obtain the respective fuzzy number from an ELICIT expression by using its inverse function, ζ1, preserving as much information as possible in the fuzzy representation and facilitating accurate computations. Depending on the ELICIT expression, the ζ1 function is defined in different ways.

  1. At least expression: The function ζ1 for an ELICIT expression whose relation is at least is defined as follows:

    Definition 14.

    [21] Let at least (si,α)γ be an ELICIT expression and TELICIT(a,b,1,1) the fuzzy envelope of such ELICIT expression. There is a function ζ1:

    ζ1(at least (si,α)γ)=T(a,b,1,1)a=a+γb=b

  2. At most expression: The function ζ1 for an ELICIT expression whose relation is at most is defined as follows:

    Definition 15.

    [21] Let at most (si,α)γ be an ELICIT expression and TELICIT(0,0,c,d) the fuzzy envelope of such ELICIT expression. There is a function ζ1:

    ζ1(at most (si,α)γ)=T(0,0,c,d)c=cd=d+γ

  3. Between expression: The function ζ1 for an ELICIT expression whose relation is between is defined as follows:

    Definition 16.

    [21] Let between (si,α1)γ1and(sj,α2)γ2 be an ELICIT expression and TELICIT(a,b,c,d) the fuzzy envelope of such ELICIT expression. There is a function ζ1:

    ζ1(between (si,α1)and(sj,α2))=T(a,b,c,d)a=a+γ1b=bc=cd=d+γ2

Remark 1.

Appendix A.1 has been included in order to show the performance of ζ1 through a practical example.

Once the TrFNs are obtained, they are manipulated and aggregated by means of fuzzy operations that keep the fuzzy parametric representation of such TrFNs [41]. Finally, the resulting TrFNs, noted as β, are retranslated into ELICIT information. This process consists of several steps, which are briefly described below:

  1. Identify relation: The relation of the ELICIT expression is determined by the fuzzy number β˜ and the ζ function, defined in [21] as follows:

    Definition 17.

    Let S={s0,,sg} be a set of linguistic terms and β˜ a fuzzy number. The function ζ is given by Eq. (11) as shown in the beginning of the next page.

    For sake of space, it is assumed that the ELICIT expression is composed by a “between” relation (see [21] for further detail about the construction of other ELICIT expressions).

    ζ(β˜)=EL, whereEL=at least (si,α)γ if β˜=T(a,b,1,1)EL=at most (si,α)γ if β˜=T(0,0,c,d)EL=between (si,α1)γ1and (sj,α2)γ2if β˜=T(a,b,c,d)

  2. 2-tuple linguistic terms computation: The ELICIT expression with the relation “between” is composed by two continuous primary terms (si,α1)γ1 and (sj,α2)γ2. The process of obtaining such terms is divided into different steps:

    1. Compute linguistic terms: To select the linguistic terms si and sjS,i,j{0,g}, whose distance between the coordinates x of their respective centroids [42], x¯i and x¯j, and the points b and c belonging to β˜ is minimal.

      i=arg minh|bx¯h|,  h0,,gj=arg minh|cx¯h|,  h0,,g

      The ELICIT expression so far is “between (si,?)? and (sj,?)?”.

    2. Compute symbolic translations: According to [4,43], 12g represents the distance equivalent to a symbolic translation equal to 0.5 in S, where g+1 is the cardinality of S:

      α1=g(bx¯i)α1[0.5,0.5)α2=g(cx¯j)α2[0.5,0.5)

      The ELICIT expression so far is “between (si,α1)? and (sj,α2)?”.

  3. Compute adjustments: The steps to compute the adjustments for the ELICIT expression are:

    1. Compute HFLTS: The HFLTS of an ELICIT expression whose relation is between would be composed by:

      EELICIT(between (si,α) and (sj,α))=sk|(si,α) and (sj,α) and si<sk<sj where skS

    2. Compute fuzzy envelope: The fuzzy envelope [18] of the computed HFLTS is computed and noted as TELICIT=T(a,b,c,d).

    3. Compute adjustments γ1 and γ2: The adjustments γ1 and γ2 are determined by the subtraction between the points a and d of β˜=T(a,b,c,d) and the points a and d of TELICIT(a,b,c,d), so that:

      γ1=aaγ1[0,1]γ2=ddγ2[0,1]

      Finally, the ELICIT expression is completed “between (si,α1)γ1 and (sj,α2)γ2”.

Remark 2.

Appendix B.1 has been included in order to show the retranslation process through a practical example.

3 AGGREGATION OF INTERRELATED ELICIT EXPRESSIONS

The fusion of linguistic information that is represented by CLEs and/or ELICIT expressions according to underlying interrelationship structure of the information is essential to design a variety of linguistic decision-making processes. In this section, we extend the classical interrelated aggregation operators described in the previous section to aggregate the ELICIT expressions with certain underlying interrelationship pattern. From now onward, we are going to use to denote the set of all possible ELICIT expressions over a linguistic term set S.

3.1 ELICIT Bonferroni Operators

Based on the Definition 1, the homogeneously interrelated ELICIT expressions can be aggregated as follows:

Definition 18.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from . For any p,q0 with p+q>0, the ELICITBM operator is a mapping ELICITBM :n and defined as follows:

ELICITBMp,q(EL1,EL2,,ELn)=ζ1n(n1)i,j=1ij(ζ1(ELi))p(ζ1(ELj))q1p+q
where represents the addition of fuzzy numbers and denotes the multiplication of fuzzy numbers.

Based on the arithmetic operational laws of fuzzy numbers, we illustrate the computational formula of ELICITBM in the following theorem:

Theorem 1.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from . For any p,q0 with p+q>0, the aggregated value of ELICIT expressions by ELICITBM is a ELICIT expression and given by

ELICITBMp,q(EL1,EL2,,ELn)=ζ1n(n1)i,j=1jinaipajq1p+q,1n(n1)i,j=1jinbipbjq1p+q,1n(n1)i,j=1jincipcjq1p+q,1n(n1)i,j=1jindipdjq1p+q
where ζ1(ELi)=(ai,bi,ci,di) is the equivalent fuzzy number of the ELICIT expression ELi for all i=1,2,,n.

Proof.

Please see Appendix C.1

Remark 3.

With the notation of the BM operator, the computational formula for ELICITBM (Eq. 16) can be rewritten as follows:

ELICITBMp,q(EL1,EL2,,ELn)=ζBMp,q(a1,a2,,an),BMp,q(b1,b2,,bn),  BMp,q(c1,c2,,cn),BMp,q(d1,d2,,dn)

Example 1.

Let us consider the aggregation of homogeneously interrelated ELICIT information: EL1=at least (s4,0)0, EL2=at least (s5,0)0, EL3=at most(s3,0)0 EL4=between (s3,0)0 and (s4,0)0. To capture the homogeneous interrelation pattern in the aggregation process, we are going to employ ELICITBM operator with parameters p=q=1. As per Theorem 1, we first obtain the fuzzy numbers corresponding to the given ELICIT by utilizing Definitions 1416 with the semantics of linguistic terms defined in Figure 1 as follows: ζ1(EL1)=(0.5,0.86,1,1), ζ1(EL2)=(0.67,0.98,1,1), ζ1(EL3)=(0,0,0.36,0.67), ζ1(EL4)=(0.34,0.5,0.67,0.84). With the help of Eq. (17), we obtain

ELICITBM1,1(EL1,EL2,EL3,EL4)=ζBM1,1(0.5,0.67,1,0.34),BM1,1(0.86,0.98,1,0.5),  BM1,1(1,1,0.36,0.67),BM1,1(1,1,0.67,0.84)

From Eq. (1), we have

ELICITBM1,1(EL1,EL2,EL3,EL4)=ζ(0.35,0.54,0.74,0.87)

By utilizing Eq. (11) with the retranslation steps of ELICIT information, we obtain

ELICITBM1,1(EL1,EL2,EL3,EL4)=between(s3,0.28)0.02and(s4,0.42)0.04.

Theorem 2.

The ELICIT expressions aggregation operator ELICITBM satisfies the following properties:

  • ELICITBM :n is commutative, i.e.,

    ELICITBMp,q(EL1,EL2,,ELn)=ELICITBMp,q(ELσ(1),ELσ(2),,ELσ(n))
    where ELσ(1),ELσ(2),,ELσ(n) is a permutation of the ELICIT expressions EL1,EL2,,ELn.

  • ELICITBM :n is idempotent, i.e.,

    ELICITBMp,q(EL,EL,,EL)=EL

  • ELICITBM :n is ratio-scale invariant, i.e. for any real number r>0

    ELICITBMp,q(rEL1,rEL2,,rELn)=rELICITBMp,q(EL1,EL2,,ELn).

Proof.

Please see Appendix C.2.

Theorem 3.

Let EL=(EL1,EL2,,ELn) be the collection of ELICIT expressions and ζ1(ELi)=(ai,bi,ci,di) (i=1,2,,n) be the equivalent fuzzy numbers of the ELICIT expression ELi (i=1,2,,n). Then the operator ELICITBM :n is bounded, i.e.

ζ(miniai,minibi,minici,minidi)  ELICITBMp,q(EL1,EL2,,ELn)  ζ(maxiai,maxibi,maxici,maxidi).

Proof.

Please see Appendix C.3.

In the above, we have not considered the weight of the aggregated ELICIT expressions. But, in many practical applications, we need to consider the weight of input arguments in the aggregation process. In this view, we define the weighted form of ELICITBM as follows:

Definition 19.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from . For any p,q0 with p+q>0, the ELICITWBM operator is a mapping ELICITWBM :n and defined as follows:

ELICITWBMp,q(EL1,EL2,,ELn)=ζ(1n(n1)i,j=1ij(wi(ζ1(ELi))p)  (wj1wi(ζ1(ELj))q)1n(n1)i,j=1ij)1p+q
where (w1,w2,,wn) be the weights of the input ELICIT expressions and wi>0 (i=1,2,,n) with i=1mwi=1.

With the operational laws of the fuzzy numbers, we derive the computational formula of the ELICITWBM as follows:

Theorem 4.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from . For any p,q0 with p+q>0, the aggregated value of ELICIT expressions by ELICITWBM is a ELICIT expression and given by

ELICITWBMp,q(EL1,EL2,,ELn)=ζi,j=1jinwiwj1wiaipajq1p+q,i,j=1jinwiwj1wibipbjq1p+q,i,j=1jinwiwj1wicipcjq1p+q,i,j=1jinwiwj1widipdjq1p+q
where, ζ1(ELi)=(ai,bi,ci,di) is the equivalent fuzzy number of the ELICIT expression ELi for all i=1,2,,n and (w1,w2,,wn) is the weight vector of the inputs and wi>0 (i=1,2,,n) with i=1mwi=1.

Proof.

It follows in the lines of Theorem 1.

3.2 ELICIT Extended Bonferroni Mean

This section focuses on aggregating ELICIT expressions that are heterogeneously interrelated in the fashion described in Section 2 and define ELICITEBM operator as follows:

Definition 20.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from such that the input set EL is heterogeneously interrelated (as described in Section 2). For any p,q0 with p+q>0, the ELICITEBM operator is a mapping ELICITEBM :n and defined as follows:

ELICITEBMp,q(EL1,EL2,,ELn)=ζ(1|Ii|)pp+qn|I|)n(1n|I|)iI(ζ1(ELi))p(1|Ii|jIi(ζ1(ELj))q1|Ii|jIi)pp+q|I|n(1|I|iI(ζ1(ELi))p))1p
where empty sum of fuzzy numbers () is set as fuzzy zero (with TrFN representation (0,0,0,0)) in the lines of convention of classic crisp system with (0,0,0,0)0=(0,0,0,0).

For the computational purpose, we derive the explicit mathematical formulae based on the arithmetic operational laws of TrFNs and ELICIT computational model as follows:

Theorem 5.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from , which are heterogeneously interrelated. For any p,q0 with p+q>0, the aggregated value of ELICIT expressions is a ELICIT expression and given by

ELICITEBMp,q(EL1,EL2,,ELn)=ζEBM(a1,a2,,an),EBM(b1,b2,,bn),  EBM(c1,c2,,cn),EBM(d1,d2,,dn)
wher, ζ1(ELi)=(ai,bi,ci,di) is the equivalent fuzzy number of the ELICIT expression ELi for all i=1,2,,n and the heterogeneous interrelationship structure of ELis is inherited into ζ1(ELi)s in component-wise fashion.

It is not difficult to show that ELICITEBM satisfies commutative, idempotency and ratio-scale invariant properties of the aggregation operator as those properties holds for classic EBM. Further, it is bounded by ζ(miniai,minibi,minici,minidi) and ζ(maxiai,maxibi,maxici,maxidi). To take into account the relative importance of the aggregated arguments in the aggregation process, we define the weighted form of the ELICITEBM as follows:

Definition 21.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from , which are heterogeneously interrelated in the fashion described Section 2. For any p,q0 with p+q>0 and weight vector w=(w1,w2,,wn), such that wi>0 with i=1nwi=1, the ELICITWEBM operator is a mapping ELICITWEBM :n and defined as follows:

ELICITWEBMp,q(EL1,EL2,,ELn)=ζ(1iIwi)iIwi1iIwi(ζ1(ELi))p1|Ii|jIiwjjIwj(ζ1(ELj))qpp+qiIwiiIwiiIwi(ζ1(ELi))p1p

The explicit computational formula of ELICITWEBM could be obtained by using the arithmetic laws of fuzzy numbers with ELICIT computational model and summarized in the following:

Theorem 6.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from , which are heterogeneously related. For any p,q0 with p+q>0 and weight vector w=(w1,w2,,wn), such that wi>0 and i=1nwi=1, the aggregated value of ELICIT expressions by ELICITWEBM is a ELICIT expression and given by

ELICITWEBMp,q(EL1,EL2,,ELn)=ζWEBM(a1,a2,,an),WEBM(b1,b2,,bn),WEBM(c1,c2,,cn),WEBM(d1,d2,,dn)
where, ζ1(ELi)=(ai,bi,ci,di) is the equivalent fuzzy number of the ELICIT expression ELi for all i=1,2,,n and the heterogeneous interrelationship structure of ELis is inherited into ζ1(ELi)s in component-wise fashion. The WEBM :[0,1]n[0,1] is the weighted form of EBM aggregation operator, which is given by
WEBMp,q(a1,a2,an)=((1iIwi)(iIwi1iIwiaip(1|Ii|jIiwjjIwjajq))pp+qiIwi(iIwiiIwiaip)1p

3.3 ELICIT Partitioned Bonferroni Mean

In this section, we consider the aggregation of ELICIT expressions, which follows a partitioned structure interrelationship pattern described in Section 2. Based on the fact in Eq. (4) and Definition 18, we define ELICITPBM operator in the following:

Definition 22.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from such that the input set EL is partitioned into d distinct classes P1, P2,…, Pd (as described in Section 2). For any p,q with p+q>0, the ELICITPBM operator is a mapping ELICITPBM :n and defined as follows:

ELICITPBMp,q(EL1,EL2,,ELn)=ζ1dr=1dζ1(ELCITBM(ELi:iPr))
where (ELi:iPr) denotes the set of ELICIT expressions ELis that belong to the partition Pr.

From the Definition 22, we note that by repeated application of ELICITBM over the partitions of the input set we can obtain the aggregated value of ELICITPBM. The more explicit computational formula to find the aggregated value of the ELICICTPBM in terms of BM is given below:

Theorem 7.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from , which are partitioned into d classes P1, P2,…, Pd. For any p,q0 with p+q>0, the aggregated value of ELICIT expressions is a ELICIT expression and given by

ELICITPBMp,q(EL1,EL2,,ELn)=ζ1dr=1dBMp,q(ai:iPr),r=1dBMp,q(bi:iPr),r=1dBMp,q(ci:iPr),r=1dBM(di:iPr)
where, ζ1(ELi)=(ai,bi,ci,di) is the equivalent fuzzy number of the ELICIT expression ELi for all i=1,2,,n and the partitioned structure interrelationship of ELis is inherited into ζ1(ELi)s in component-wise fashion.

As the ELICITPBM operator is composed of a set of ELICITBM operators with different dimensions, we can easily exhibit that the ELICITPBM operator satisfies commutative, idempotent and ratio-scale invariant properties with help of Theorem 2. Further, the ELCITPBM operator is bounded as follows:

ζ(miniai,minibi,minici,minidi)ELICITPBMp,q(EL1,EL2,,ELn)ζ(maxiai,maxibi,maxici,maxidi).

When the inputs ELICIT expressions have different relative importance, we need to take account it in the aggregation process and to reflect on the aggregated value. In this view, the weighted form of the ELICITPBM can be defined as follows:

Definition 23.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from such that the input set EL is partitioned into d distinct classes P1, P2, …, Pd (as described in Section 2). For any p,q0 with p+q>0 and weight vector w=(w1,w2,,wn), such that wi>0 and i=1nwi=1, the ELICITWPBM operator is a mapping ELICITWPBM :n and defined as follows:

ELICITWPBMp,q(EL1,EL2,,ELn)=ζ1dr=1dζ1(ELCITWBM(ELiPr))
where (ELi:iPr) denotes the set of ELICIT expressions ELis that belong to the partition Pr.

Theorem 8.

Let EL=(EL1,EL2,,ELn) be the collection of n ELICIT expressions from . For any p,q0 with p+q>0 and weight vector w=(w1,w2,,wn), such that wi>0 and i=1nwi=1, the aggregated value of ELICIT expressions by ELICITWPBM is a ELICIT expression and given by

ELICITWPBMp,q(EL1,EL2,,ELn)=ζ1dr=1dWBMp,q(ai:iPr),r=1dWBMp,q(bi:iPr),  r=1dWBMp,q(ci:iPr),r=1dWBMp,q(di:iPr)
where ζ1(ELi)=(ai,bi,ci,di) is the equivalent fuzzy number of the ELICIT expression ELi for all i=1,2,,n and
WBMp,q(ai:iPr)=i,jPrjiwiwj(iPrwi)(jPrjiwj)aipajq1p+q

4 APPROACHES TO MADM WITH ELICIT ASSESSMENTS

In this section, we develop an approach based on ELICIT expressions aggregation operators to solve MADM problem in which attributes follow a typical interrelationship pattern, and the decision maker provides his/her assessments by using CLEs and/or ELICIT expressions.

We consider a typical MADM problem, where a finite set of alternatives are evaluated against a predefined set of performance measuring attributes in the aim of ranking the alternatives from best to worst on their suitability. In such a decision-making problem two pieces of information are required to find the ranking of the alternatives. One is assessment information of the alternatives against the criteria, which we often refer to as decision information. Another one is related to the relative importance of the criteria that is referred to as weight information. Mathematically, we can describe the MADM problem with all the relevant information as follows:

  • A finite set of m(2) alternatives: X={Xi|iI}, where I={1,2,,m}

  • A fixed set of criteria: A={Aj|jJ} where J={1,2,,n}

  • The weight vector of the criteria: w=(w1,w2,,wn) such that wj0 and j=1nwj=1.

  • The alternatives are assessed over criteria and evaluations are summarized in the following decision matrix:

        A1    A2    AnD=X1X2   XmEL11EL12EL1nEL21EL22EL2n         ELm1ELm2ELmn
    where ELij is the ELICIT expression that has been obtained from the decision maker's linguistic opinions to provide his/her assessment for the alternative Xi against the criteria Aj. Specifically, decision maker uses CLEs to express his/her assessments against the alternatives under different attributes.

Apart from these binding pieces of information, the decision maker needs to provide the typical pattern of the interrelationship among the attributes. As interrelationship is vital in the selection of an appropriate aggregation operator, this information is crucial to make a reliable decision.

WEBMp,q(a1,a2,an)=((1sIws)(sIws1sIwsaisp(1|Is|tIswttIswjaitq))pp+q+sIws(sIwssIwsaisp))1p

With this available information in hand, we intend to design an algorithm based on the aggregation operators, developed in the previous section, to find the most desirable alternative(s) from the alternatives’ pool {X1,X2,,Xm}. Our proposed algorithm takes following steps to find ranking order of the alternatives:

Step 1

Give the decision maker's preference summarized in the decision matrix D=(ELij)m×n and weight information w=(w1,w2,,wn).

Step 2

Provide the interrelationship patter among the attributes, i.e., whether, the attributes follows homogeneous interrelationship pattern, heterogeneously interrelation patter or partitioned structured interrelationship pattern. In the cases of heterogeneous and partitioned interrelationship, specific structure of interrelationship data need to be provided.

Step 3

Based on the interrelationship pattern, the suitable aggregation operator is selected to obtain the overall performance of the alternative Xi from the alternative's individual performances under different attributes Eij(j=1,2,,n). Specifically, three scenarios arise here:

  • attributes are homogeneously related in this case, we utilize ELICITBM operator to find the alternatives Xi overall performance ri(i=1,2,,m) as follows:

    ri=ELICITBM(ELi1,ELi2,,ELin)=ζs,t=1tsnwswt1wsaispaitq1p+q,s,t=1tsnwswt1wsbispbitq1p+q,s,t=1tsnwswt1wsctspcitq1p+q,s,t=1tsnwswt1wsdispditq1p+q
    where ζ1(ELij)=(aij,bij,cij,dij) is the equivalent fuzzy number of the ELICIT expression ELij for all i=1,2,,m.

  • attributes are heterogeneously interrelated, in this case, we employ ELCITWEBM operator to obtain overall performance ri of the alternative Xi as follows:

    ELICITWEBMp,q(ELi1,ELi2,,ELin)=ζWEBM(ai1,ai2,,ain),WEBM(bi1,bi2,,bin),WEBM(ci1,ci2,,cin),WEBM(di1,di2,,din)
    where, ζ1(ELij)=(aij,bij,cij,dij) is the equivalent fuzzy number of the ELICIT expression ELij for all j=1,2,,n and WEBM(ai1,ai2,,ain) is given by Eq. (29).

  • attributes are partitioned structured, in this case, WELCITPBM operator is utilized to obtain overall performance ri of the alternative Xi as follows:

    ri=WELICITPBM(ELi1,ELi2,,ELin)=ζ1dr=1dWBM(aijPr),r=1dWBM(bij:jPr),r=1dWBM(cij:jPr),r=1dWBM(dij:jPr)
    where, ζ1(ELi)=(aij,bij,cij,dij) is the equivalent fuzzy number of the ELICIT expression ELij for all j=1,2,,n and
    WBM(aij:jPr)=k,jPrjkwkwj(kPrwk)(jPrjkwj)akpajq1p+q

Step 4

The overall performance of the alternatives ri(i=1,2,,m) are ELICIT expressions. To facilitate the comparisons, we first transformed them into fuzzy numbers Tri=ζ1(ri)=(ti1,ti2,ti3,ti4) for i=1,2,,m and then defuzzified them into real number Mag(Tri)(i=1,2,,m) by using the approach proposed by Abbasbandy and Hajri [44].

Step 5

Based on the Mag(Tri)(i=1,2,,m), we rank the alternatives Xi(i=1,2,,m) in the sense that better the magnitude, better the rank.

5 PRACTICAL EXAMPLE

In this section, we provide a practical example to demonstrate the working and feasibility of the proposed decision-making algorithm.

In the face of a trade war, a major company is considering to shift its manufacturing plant from the current location. After, initial screening the company has identified five possible locations around the world to step up the new manufacturing plant. We name this potential locations as {X1,X2,X3,X4,X5}. To prioritize further these locations, the company has identified seven assessment attributes: market (A1), business climate (A2), labour characteristic (A3), infrastructure (A4), availability of raw materials (A5), investment cost (A6) and possibility for the further extensions (A7). These performance measuring attributes have some intrinsic connections/interrelations and that could be described as follows: A1 is interrelated with A4; A2 with {A6,A7}; A3 with A7; A4 with {A1,A6}; A5 with A7; A6 with {A2,A4} and A7 with {A3,A5}. The information regarding the attributes for all possible options are collected and presented to the key managerial responsible for taking a decision.

Due to the presence of vagueness and uncertainty, the decision maker uses linguistic information to assess the locations against the attributes. According to the expertise of the decision maker, a linguistic term set with 7 labels is provided, S = {s0: unfeasible (UF), s1: very unsuitable (VUS), s2: unsuitable (US), s3: fair (F), s4: suitable (S), s5: very suitable (VS), s6: excellent (E)}.

Decision maker uses a single linguistic term or complex linguistic expression, modeled by CLEs to rate the alternatives against the attributes. The decision maker's preferences are represented by CLEs (Table 1Rating in CLEs) that are transformed into ELICIT information and modeled by the decision matrix D and presented as follows:

                                A1                           A2D=X1X2X3X4X5at least s4,00at least s5,00at most s1,00s3,00s5,00at least s5,00s0,00s0,00s6,00s3,00                   A3                                         A4                                          A5s4,00s4,00at least s3,00bts3,00 and s4,00bts0,00 and s1,00at least s3,00s4,00s5,00bts2,00 and s3,00s1,00bts3,00 and s4,00at most s2,00s6,00at least s4,00s2,00                    A6                                        A7at least s4,00bts3,00 and s4,00s3,00s3,00at most s3,00s3,00s3,00s2,00bts4,00 and s5,00s5,00
                                     A1                                A2D¯=X1X2X3X4X5T0.5,0.86,1,1T0.67,0.98,1,1T0,0,0.03,0.34T0.34,0.5,0.67T0.67,0.84,1T0.67,0.98,1,1T0,0,0.17T0,0,0.17T0.84,1,1T0.34,0.5,0.67                       A3                                         A4                                        A5T0.5,0.67,0.84T0.5,0.67,0.84T0.34,0.64,1,1T0.34,0.5,0.67,0.84T0,0,0.17,0.34T0.34,0.65,1,1T0.5,0.67,0.84T0.67,0.84,1T0.17,0.34,0.5,0.67T0.67,0.84,1T0.4,0.5,0.67,0.84T0,0,0.15,0.5T0.84,1,1T0.5,0.84,1,1T0.17,0.34,0.5                    A6                                          A7T0.5,0.86,1,1T0.34,0.5,0.67,0.84T0.34,0.5,0.67T0.34,0.5,0.67T0,0,0.36,0.67T0.34,0.5,0.67T0.34,0.5,067T0.17,0.34,0.5T0.5,0.67,0.84,1T0.67,0.84,1

A1 A2 A3 A4 A5 A6 A7
X1 at least S at least VS S S at least F at least S bt F and S
X2 at most VUS F bt F and S bt UF and VUS at least F F F
X3 VS at least VS S VS bt US and F at most F F
X4 UF UF VUS bt F and S at most US F US
X5 E F E at least S US bt S and VS VS

bt = between.

Table 1

Alternatives rating under different criteria.

Further all performance measuring attributes are not equally important. To take into account the variation in relative importance of the attributes, weight information is set as w=(0.2,0.1,0.15,0.15,0.2,0.1,0.1).

With this available information about the locations’ choices problem, we employ the proposed decision-making algorithm to prioritize the locations and to find the most suitable one.

Step 1

To carry out the linguistic computations, all the ELICIT expressions are required to transform into machine manipulative format, i.e., TrFNs. Decision maker's opinions in terms of ELICIT expressions given in D are converted into TrFNs and summarized in the matrix D¯ and given in the previous page, where the first entry of D¯, T(0.5,0.86,1,1) is the equivalent TrFN corresponding to the ELICIT expression at least (s4,0)0, i.e., ζ1(at least (s4,0)0)=T(0.5,0.86,1,1).

Step 2

From the description of the attributes interrelationship pattern, it is quite evident that the attributes are heterogeneously related with no independent arguments. In the aim of capturing this heterogeneous interaction among the attributes and its reflection in the aggregated value, we choose ELICITWEBM (Eq. 29), to compute the overall performance of the alternatives. We set the associated parameter p and q to 1 in ELICITWEBM and compute the overall performance with the translated information D¯ and weight information w. The results are summarized in the following Table 2. From Table 2 decision maker obtains the overall performance of alternatives expressed in terms of linguistic ELICIT expressions, which is quite intuitive to interpret. It is also clear to the decision maker from the Table 2 that X3 is better than {X2,X4} and X2 is better than X4. Undoubtedly, X1 and X5 are better than rest of the alternatives but it is not very clear about the order of the X1 and X5 from the linguistic overall performances. We are going to the next step for finding the exact ranking order of the alternatives.

Alternative Tri (TrFN) ri=ζ1(Tri)
X1 T(0.4545,0.6963,0.8106,0.9102) between (s4,0.1758)0.0455 and (s5,0.1362)0.0898
X2 T(0.2612,0.4084,0.4889,0.6351) between (s2,0.4524)0.0942 and (s3,0.0666)0.1351
X3 T(0.4401,0.5869,0.6567,0.8315) between (s4,0.4806)0.0599 and (s4,0.0618)0.0015
X4 T(0.1862,0.2874,0.3241,0.5291) between (s2,0.2736)0.0192 and (s2,0.0540)0.0291
X5 T(0.5639,0.7797,0.8286,0.9084) between (s5,0.3198)0.1031 and (s5,0.0264)0.0916
Table 2

Alternatives overall performance.

Step 3

From the overall performances ri(i=1,2,3,4,5), we compute the magnitude of the corresponding TrFNs, Tri(i=1,2,3,4,5) of the ri as follows: Mag(Tr1)=0.7416, Mag(Tr2)=0.4486, Mag(Tr3)=0.6242, Mag(Tr4)=00.3144 and Mag(Tr5)=0.7928. Based on the Mag(Tri)(i=1,2,3,4,5), the ranking of the alternatives are as follows: X5X1X3X2X4. Hence the location X5 is the most suitable to set up the manufacturing plant followed by location X1.

In the above analysis, we have set the parameters associated with ELICITWEBM as (p,q)=(1,1). But this choice of the parameters p and q associated with ELICITWEBM may have an impact on the final ranking of the locations. Thus, it is necessary to check the robustness of the ranking result concerning the parameters. For this purpose, we adopt the simulation-based approach, specifically, the framework of stochastic multi-criteria acceptability analysis [45]. As there is no preference over the parameters’ values, we assume that the parameters are uniformly distributed in the space [0.1,100]2. By randomly drawing the parameters from the space [0.1,100]2, we solve the decision-making problem and find the ranking of the locations. Further, repeating this process for the sufficient numbers of times (10,000) within Monte Carlo framework, we collect the evidence in terms of probability of occupying a ranking position by an alternative. We report the result of the Monte Carlo in the Table 3, where br corresponding the alternative Xi denotes the probability of occupying r-th ranking position by Xi. It is quite evident that for the almost all configuration of the parameters from the space [0.1,100]2, the X5 occupied the first ranking positions followed by X1. Unanimously, X3 is always occupied the third-ranking positions followed by X2 and X4. But there is a possibility of switching the ranking position between X2 and X4 for some configurations of the parameters. In nutshell, we can conclude that present ranking results are robust and not much sensitive to the parameters. Note that the exact estimation of the appropriate parameters associated with ELICITEBM could also be stem from the decision maker's perceived view towards aggregation process [22,46].

Alternative b1 b2 b3 b4 b5
X1 0.0040 99.9960 0 0 0
X2 0 0 0 88.7300 11.2700
X3 0 0 100 0 0
X4 0 0 0 11.2700 88.7300
X5 99.9960 0.0040 0 0 0
Table 3

Percentage of occupying different ranking positions by alternatives.

As we have emphasized on the fact that capturing the underlying interrelationship pattern in the aggregated ELICIT information is vital to make a reliable decision, it is worthy here to investigate the consequence if we do not consider the interrelationship in the information fusion process. For this purpose, we use the weighted ELICIT arithmetic mean operators, which assume that the input arguments are independent, in place of ELICITWBM in the proposed decision-making algorithm to compute the overall performances of the alternatives. Rest of the steps in our proposed MADM algorithm to find the ranking of the alternatives is kept unaltered. With this new configuration of the algorithm, we re-execute the step of the MADM algorithms and found the following ranking order of the alternatives X1X5X3X2X4. It is evident that the ranking positions for X1 and X5 are reversed, which due to not capturing the underlying interrelationship structure among the attributes.

6 CONCLUSION

In this study, we have investigated the aggregation of linguistic information that is represented by ELICIT expressions and followed some specific interrelationship patterns. Specifically, we have considered three types of interrelationship patterns, namely, heterogeneous, homogeneous and partition structure among the aggregated arguments and such relationships are captured via direct conjunctions among the aggregated arguments with the core of three classical aggregation operators: BM, EBM, and PBM. In this view, we have extended these classical operators in ELICIT information environment and developed three new aggregation operators for aggregation ELICIT expressions, which we have referred to as ELICITBM, ELICITEBM, and ELICITPBM. Furthermore, we have investigated the properties of these aggregation operators and proposed the weighted form of these aggregation operators to deal with the situations where inputs have different relative importance. Using these aggregation operators as an information fusion tool, an algorithm for solving the MADM problems, in which attributes follow some specific interrelationship patterns, has been develped. Finally, we have presented numerical examples to illustrate the feasibility and applicability of our proposed approach.

In the future, it would be interesting to investigate the more complex interaction among the ELICIT expressions via Choquet integral [47]. Further, one may consider extending the aggregation of ELICIT expressions for other class of averaging aggregation operators, such as ordered weighted average operators [48], power averaging operator [49], prioritize aggregation operator [50] and their different variants.

CONFLICT OF INTEREST

The authors declare that they have no conflict of interest.

AUTHORS' CONTRIBUTIONS

Bapi Dutta, Alvaro Labella, Rosa M. Rodriguez, and Luis Martinez did the conceptualization, methodology, validation, review writing, and editing. Bapi Dutta and Alvaro Labella wrote the original draft.

ACKNOWLEDGMENT

This work is partially supported by the Spanish Ministry of Economy and Competitiveness through the Spanish National Research Projects TIN2015-66524-P and PGC2018-099402-B-I00 and the Postdoctoral fellow Ramón y Cajal (RYC-2017-21978).

APPENDIX A

A.1 ELICIT Inverse Function Example

In order to facilitate the understanding of the inverse function, ζ1, for ELICIT information, let us suppose a linguistic term set with seven labels, S = {s 0 : horrible, s1 : very bad, s2 : bad, s3 : medium, s4 : good, s5 : very good, s6 : perfect} and an ELICIT expression between (s3,0.432)0.024 and (s4,0.144)0.023 (see Figure A.1).

Figure A.1

Extended Comparative LInguistiC Expressions with SymbolIc Translation (ELICIT) information examples.

First, it is necessary to compute the fuzzy envelope [18] of the ELICIT expression. To do that, the HFLTS of the expression is obtained through the transformation function defined in [21]:

EELICIT(between (si,α) and (sj,α))={sk|(si,α) and (sj,α) and si<sk<sj where skS}

For our example:

EELICIT(between (s3,0.432) and (s4,0.144))=sk|(s3,0.43) and (s4,0.14) and s3<sk<s4 where skS={(s3,0.432),(s4,0.144)}

Once the HFLTS is computed, the different fuzzy memberships functions of the linguistic terms that belong to the HFLTS are aggregated with the OWA operator [48]. The OWA operator assigns different importance to the linguistic terms that compose the HFLTS through the orness measure thus, the way of computing the OWA weights affect directly to the resulting fuzzy envelopes. This process is carried out in [21] by means of a parameter, noted as ϵ[0,1], which allows modifying the way to compute the OWA weights. The variation of ϵ modifies the importance of the linguistic terms of the HFLTS, in order to reduce the interval whose height is 1 in the fuzzy envelope. In [21], several fixed orness values provided by ϵ are used in order to compute fuzzy envelopes that preserve as much information as possible. The fixed values of ϵ are: ϵ=0 for at least relations, ϵ=1 for at most relations and ϵ1=0 and ϵ2=1 for between relations. Following this process, the resulting fuzzy envelope for the ELICIT expression is T(0.405,0.572,0.691,0.857).

Finally, the corresponding TrFN of the respective ELICIT expression is obtained by applying Prop. 16:

ζ1(between (s3,0.432)0.024and(s4,0.144)0.023)=T(0.429,0.572,0.691,0.834)a=0.405+0.024=0.429b=0.572c=0.691d=0.857+(0.023)=0.834

APPENDIX B

B.1 ELICIT Retranslation Process Example

In order to facilitate the understanding of the retranslation process to obtain an ELICIT expression from a TrFN, let us suppose the TrFN computed in A.1, β˜=T(0.429,0.572,0.691,0.834). The process to obtain an ELICIT expression is composed by several steps:

  1. Identify relation: The relation of the ELICIT expression is determined by the fuzzy number β˜=T(0.429,0.572,0.691,0.834) and the ζ function (see Eq. 11).

    ζ(T(0.429,0.572,0.691,0.834))=EL,whereEL=at least (si,α)γifβ˜=T(a,b,1,1)EL=at most (si,α)γifβ˜=T(0,0,c,d)EL=between (si,α1)γ1and (sj,α2)γ2   ifβ˜=T(a,b,c,d)

    According to the fuzzy number β˜, the relation of the ELICIT expression is “between”.

  2. 2-tuple linguistic terms computation (see Figure B.1): The ELICIT expression with the relation “between” is composed by two continuous terms, (si,α1)γ1 and (sj,α2)γ2.

    1. Compute linguistic terms: First, we select the linguistic terms si and sjS,i,j{0,1,2,3,4,5,6}, whose distance between the coordinates x of their respective centroids [42], x¯i and x¯j, and the points b=0.572 and c=0.691 belonging to β˜ is minimal. In this case, such centroids are x¯3 and x¯4:

      i=arg minh0,1,2,3,4,5,6|0.572x¯h|=3j=arg minh0,1,2,3,4,5,6|0.691x¯h|=4

      The ELICIT expression so far is “between (s3,?)? and (s4,?)?.”

      Figure B.1

      Select linguistic terms.

    2. Compute symbolic translations: Once the linguistic terms have been selected, the symbolic translations of the continuous terms are computed as follows:

      α1=6(0.570.5)=0.432α2=6(0.6910.667)=0.144α1,α2[0.5,0.5),

      The ELICIT expression so far is “between (s3,0.432)? and (s4,0.144)?.”

  3. Compute adjustments: Finally, to complete the ELICIT expression, we compute the adjustments for the ELICIT expression following the steps below:

    1. Compute HFLTS:

      EELICIT(between (s3,0.432) and (s4,0.144))=sk|(s3,0.432) and (s4,0.144) and   s3<sk<s4 where skS={(s3,0.432),(s4,0.144)}

    2. Compute fuzzy envelope (see Figure B.2): The fuzzy envelope [18] of the HFLTS {(s3,0.432),(s4,0.144)} is:

      TELICIT=T(0.405,0.572,0.691,0.857)
      Figure B.2

      Extended Comparative LInguistiC Expressions with SymbolIc Translation (ELICIT) fuzzy envelope.

    3. Compute adjustments γ1 and γ2:

      γ1=0.4290.405=0.024γ2=0.8340.857=0.023gamma1,γ2[0,1]

      Finally, the ELICIT expression is completed “between (s3,0.432)0.024 and (s4,0.144)0.023.”

APPENDIX C

C.1 Proof of Theorem 1

By using operational laws of fuzzy numbers, we have

(ζ1(ELi))p(ζ1(ELj))q=(aipajq,bipbjq,cipcjq,dipdjq)

Clearly, the right-hand side of Eq. (C.1) is a TrFN due to the assumption 0aibicidi(i=1,2,,n) on the parameters of the envelope of ELICIT expression ζ1(ELi). Further the Eq. (C.1) is true for any pair of ELICIT expressions (ELi,ELj) (i,j{1,2,,n}). As the addition of TrFNs is associative, we can extend easily to the addition of n(n1) TrFNs of the form (ζ1(ELi))p(ζ1(ELj))q (i,j{1,2,,n},ij) and obtain

i,j=1ij(ζ1(ELi))p(ζ1(ELj))q=i,j=1jinaipajq,i,j=1jinbipbjq,i,j=1jincipcjq,i,j=1jindipdjq

With the help of scalar multiplication laws of TrFNs, we get

1n(n1)i,j=1ij(ζ1(ELi))p(ζ1(ELj))q=1n(n1)i,j=1jinaipajq,1n(n1)i,j=1jinbipbjq,1n(n1)i,j=1jincipcjq,1n(n1)i,j=1jindipdjq

Finally by using exponential operational laws of TrFN from Eq. (C.3), we obtain

1n(n1)i,j=1ij(ζ1(ELi))p(ζ1(ELj))q1p+q=1n(n1)i,j=1jinaipajq1p+q,1n(n1)i,j=1jinbipbjq1p+q,1n(n1)i,j=1jincipcjq1p+q,1n(n1)i,j=1jindipdjq1p+q

Since aibicidi for all i=1,2,,n, the monotonocity property of the BMp,q:[0,1]n[0,1] implies Eq. (C.5).

1n(n1)i,j=1jinaipajq1p+q1n(n1)i,j=1jinbipbjq1p+q1n(n1)i,j=1jincipcjq1p+q1n(n1)i,j=1jindipdjq1p+q
ELICITBMp,q(ELσ(1),ELσ(2),,ELσ(n))=ζBMp,q(aσ(1),aσ(2),,aσ(n)),BMp,q(bσ(1),bσ(2),,bσ(n)),BMp,q(cσ(1),cσ(2),,cσ(n)),BMp,q(dσ(1),dσ(2),,dσ(n))

It infers that 1n(n1)i,j=1ij(ζ1(ELi))p(ζ1(ELj))q1p+q is TrFN and therefore ELICITBMp,q(EL1,EL2,,ELn) is an ELICIT expression. Hence the results.

C.2 Proof of Theorem 2

(i) First we will show that ELICITBM is commutative. Let ELσ(1),ELσ(2),,ELσ(n) is a permutation of the ELICIT expressions EL1,EL2,,ELn. With the help of computational formula Eq. (17), we can express ELICITBM(ELσ(1),ELσ(2),,ELσ(n)) in the form of Eq. (C.6)

The values of the parameters p and q, and the underlying interrelationship structure among the aggregated ELICIT expressions remain intact in the permutation (ELσ(1),ELσ(2),,ELσ(n)). Further such interrelationship is also inherited in the parameters of the TrFNs (aσ(i),bσ(i),cσ(i),dσ(i))(i=1,2,,n), which are the envelope of the ELICIT expression ELσ(i), (i=1,2,,n). Thus, the components of the envelopes of ELσ(i), (i=1,2,,n) become connected. Under this circumstance, BM exhibits the commutative property, i.e.,

BMp,q(aσ(1),aσ(2),,aσ(n))=BMp,q(a1,a2,,an)

It follows that

ELICITBMp,q(ELσ(1),ELσ(2),,ELσ(n))=ζBMp,q(a1,a2,,an),BMp,q(b1,b2,,bn),  BMp,q(c1,c2,,cn),BMp,q(d1,d2,,dn)=ELICITBMp,q(EL1,EL2,,ELn)

(ii) Now we will show that ELICITBM operator is idempotent. Let ζ1(EL)=(a,b,c,d) be the envelope of the ELICIT expression EL. From the Eq. (17), we have

ELICITBMp,q(EL,EL,,EL)=ζBMp,q(a,a,,a),BMp,q(b,b,,b),  BMp,q(c,c,,c),BMp,q(d,d,,d)

Since the BM operator is idempotent, i.e., BMp,q(e,e,,e)=e, we obtain from Eq. (C.8)

ELICITBMp,q(EL,EL,,EL)=ζ(a,b,c,d)=ζ(ζ1(EL))=EL

(iii) Now we will prove that ELICITBM is ratio-scale invariant. Let r>0 be a scalar. From the scalar multiplication law of TrFN, we have rζ1(ELi)=(rai,rbi,rci,rdi). From the definition of ELICITBM, we obtain

ELICITBMp,q(rEL1,rEL2,,rELn)=1n(n1)i,j=1ij(ζ1(rELi))p(ζ1(rELj))q1p+q=ζBMp,q(ra1,ra2,,ran),BMp,q(rb1,rb2,,rbn),       BMp,q(rc1,rc2,,rcn),BMp,q(rd1,rd2,,rdn)

As the BM operator is ratio-scale invariant i.e. BMp,q(re1,re2,,ren)=rBMp,q(e1,e2,,en), from Eq. (C.9) we have

ELICITBMp,q(rEL1,rEL2,,rELn)=ζrBMp,q(a1,a2,,an),rBMp,q(b1,b2,,bn),rBMp,q(c1,c2,,cn),rBMp,q(d1,d2,,dn)=rζBMp,q(a1,a2,,an),BMp,q(b1,b2,,bn),BMp,q(c1,c2,,cn),BMp,q(d1,d2,,dn)=rELICITBMp,q(EL1,EL2,,ELn)

C.3 Proof of the Theorem 3

We will show that ELICITBM is bounded. Since aiminiai for all i, the monotonocity and idempotency of properties of the BM operator implies that

BMp,q(a1,a2,,an)BM(miniai,miniai,,miniai)=miniai

Similarly, we can obtain

BMp,q(b1,b2,,bn)minibiBMp,q(c1,c2,,cn)miniciBMp,q(d1,d2,,dn)minidi.

From these inequalities, we have

BMp,q(a1,a2,,an),BMp,q(b1,b2,,bn),BMp,q(c1,c2,,cn),BMp,q(d1,d2,,dn)(miniai,minibi,minici,minidi)

Note that the inequality Eq. (C.10) is in the sense of lexicographic ordering of TrFNs, i.e., (a1,b1,c1,d1)(a2,b2,c2,d2) iff a1a2, b1b2, c1c2 and d1d2. From Eq. (C.10), we have

ELICITBMp,q(EL1,EL2,,ELn)=ζBMp,q(a1,a2,,an),BMp,q(b1,b2,,bn),BMp,q(c1,c2,,cn),BMp,q(d1,d2,,dn)ζ(miniai,minibi,minici,minidi)

Similarly, we can show that

ELICITBMp,q(EL1,EL2,,ELn)ζ(maxiai,maxibi,maxici,maxidi)

Hence the result.

REFERENCES

1.R. Parreiras, W. Pedrycz, and P. Ekel, Fuzzy Multicriteria Decision Making: Models, Methods and Applications, Wiley, 2011.
35.C. Bonferroni, Sulle medie multiple di potenze, Boll. Mat. Ital., Vol. 5, 1950, pp. 267-270.
37.H.J. Zimmermann, Fuzzy Set Theory-and its Applications, Springer, Netherlands, 2011.
41.S. Rezvani and M. Molani, Representation of trapezoidal fuzzy numbers with shape function, Ann. Fuzzy Math. Informat., Vol. 8, 2014, pp. 89-112.
Journal
International Journal of Computational Intelligence Systems
Volume-Issue
12 - 2
Pages
1179 - 1196
Publication Date
2019/10/21
ISSN (Online)
1875-6883
ISSN (Print)
1875-6891
DOI
10.2991/ijcis.d.190930.002How to use a DOI?
Copyright
© 2019 The Authors. Published by Atlantis Press SARL.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Bapi Dutta
AU  - Álvaro Labella
AU  - Rosa M. Rodríguez
AU  - Luis Martínez
PY  - 2019
DA  - 2019/10/21
TI  - Aggregating Interrelated Attributes in Multi-Attribute Decision-Making With ELICIT Information Based on Bonferroni Mean and Its Variants
JO  - International Journal of Computational Intelligence Systems
SP  - 1179
EP  - 1196
VL  - 12
IS  - 2
SN  - 1875-6883
UR  - https://doi.org/10.2991/ijcis.d.190930.002
DO  - 10.2991/ijcis.d.190930.002
ID  - Dutta2019
ER  -