Multi-attribute group decision-making based on intuitionistic fuzzy aggregation operators defined by weighted geometric means

This paper proposes a multi-attribute group decision-making methodology that takes advantage of a new weighted geometric mean aggregation operator on intuitionistic fuzzy numbers (IFNs). To this purpose, first, we define the intuitionistic fuzzy direct weighted geometric operator on IFNs, then we prove that it is a representable intuitionistic aggregation operator, and afterwards, we compare it with other aggregation operators motivated by the geometric mean. We use two proxies for the quantitative comparison of performances, namely the average of the Euclidean distances to the IFNs and the sum of squared error inspired by the k-means clustering algorithm.


Introduction
The aim of this article is to prove that the intuitionistic fuzzy numbers or values can be aggregated with the direct application of weighted geometric means.Our motivation is to show that this very simple method has never been established before; however, it gives a valid procedure for the aggregation of intuitionistic fuzzy numbers that generates a new multi-attribute group decision-making procedure in this popular framework.
Following the introduction of fuzzy sets (Zadeh 1965) and its multiple applications (Bellman and Zadeh 1970;Chen and Phuong 2017;Chen and Wang 2009), Atanassov (1986) first proposed to use a restricted class of ''orthopairs'' (i.e., pairs of numbers from the unit interval) as a way to assess belongingness to a set.The core principle that justifies this position is that non-membership is often evaluated separately from membership.Thus, the new model considered a pair of values in the unit interval, that assess the possible membership/non-membership of an element to the ''orthopair fuzzy set''.Atanassov's extension was called ''intuitionistic fuzzy set'' (IFS).Because belongingness is split between membership and nonmembership (with some hesitancy allowed), this model assumes that for each orthopair, the sum of both values is less than or equal to 1.
Probably, the most successful generalization of intuitionistic fuzzy sets that still resorts to pairs of evaluations consists of q-rung orthopair fuzzy sets (Khan et al. 2021;Senapati et al. 2023;Yager 2017).Their semantics have been explored recently by Alcantud (2023).They are bound by a less restrictive condition: the sum of the q À th power of the membership and non-membership values must not exceed 1.In this general framework, intuitionistic fuzzy sets become 1-rung orthopair fuzzy sets, and 2-rung orthopair fuzzy sets coincide with intuitionistic fuzzy sets of second type (Atanassov (1989), reprinted in Atanassov (2016), see also Atanassov et al. (2013)).This model gained traction under the name Pythagorean fuzzy sets (Yager 2014).
When the use of more than one evaluation was accepted and justified by applications, other types of extensions of fuzzy sets introduced an evaluation for the indeterminacy of the belongingness.This idea produced picture fuzzy sets (Cuong 2014), spherical fuzzy sets (Kutlu Gu ¨ndog ˘du and Kahraman 2019), and even more general models (Akram and Martino 2023;Akram et al. 2023), but we shall not refer to them in this paper.
Our research is motivated by the importance of aggregation in the framework of multi-attribute group decisionmaking (MAGDM).An intuitionistic fuzzy set associates an intuitionistic fuzzy number or value (IFN or IFV, respectively) with each element of a universal set of alternatives.Aggregation of IFSs is typically performed elementwise.This means that for each element, the IFN corresponding to its evaluation by an aggregate IFS is the result of the aggregation of all individual IFNs associated with the element.Therefore, aggregation of intuitionistic fuzzy sets reduces to aggregation of intuitionistic fuzzy numbers.And for this reason, aggregation operators on crisp numbers have been a source of inspiration for aggregators in the intuitionistic fuzzy field.The problems of intertemporal aggregation of intuitionistic fuzzy information (Alcantud et al. 2020), ranking IFNs (Ali et al. 2019;Feng et al. 2020;Liu et al. 2018), and information quantification (Ali et al. 2022), have also received considerable attention.
In relation with this idea, we note that already Xu and Yager (2006) discussed the aggregation of IFNs.They initiated a methodology that generates aggregation operators through operational laws that preserve the structure of IFNs.Another source of inspiration takes advantage of special aggregation operators on crisp numbers.Both approaches are not independent, and they are often combined in a single formula.Let us describe these two methodologies.
In relation with the first line of inspection, Xu and Yager (2006) introduced the intuitionistic fuzzy (respectively, ordered) weighted geometric operators and the intuitionistic fuzzy hybrid geometric operator.The intuitionistic fuzzy (respectively, ordered) weighted averaging operators and intuitionistic fuzzy hybrid aggregation operator appeared in Xu (2007).Afterwards Wei (2010) defined induced geometric aggregation operators and Garg (2017) used novel aggregation operators from improvements of the operational laws.Beliakov et al. (2011) suggested to resort to additive generators of the t-norm and t-conorm in the operational laws for IFNs.With the help of transformation techniques between intuitionistic fuzzy numbers and triangular fuzzy numbers, Chen and Chang (2016) produced renewed expressions for the operators in Xu and Yager (2006).These authors criticized and improved upon He et al. (2014).
Many examples exist that testify to the value of the second line of investigation.Intuitionistic fuzzy Bonferroni means and intuitionistic fuzzy power aggregation operators were the subjects of Xu andYager (2011) andXu (2011).In Wang and Liu (2011), the intuitionistic fuzzy Einstein (ordered) weighted geometric operators were introduced.The geometric Heronian mean inspired Yu (2013) to define the IFGHM (intuitionistic fuzzy weighted geometric) aggregation operator.Under the inspiration of the Heronian mean, Liu and Chen (2017) defined the IFAHA (intuitionistic fuzzy Archimedean Heronian aggregation, whose explicit formula is given in their Theorem 1) and IFWAHA (intuitionistic fuzzy weight Archimedean Heronian aggregation, whose explicit formula is given in their Theorem 5) aggregation operators.They were used to define an MAGDM methodology Liu and Chen (2017) (Sect.4).Also, Kumar and Chen (2022) defined the AIFWHM (advanced intuitionistic fuzzy weighted Heronian mean) aggregation operators in their Eq.8.They criticized the proposal in Liu and Chen (2017) with the argument that it does not always discriminate among alternatives Kumar and Chen (2022) (Sect.4).In passing, we note that Beliakov et al. (2011); Chen and Chang (2016); He et al. (2014); Kumar and Chen (2022) use a variety of operational laws on IFNs.
In consideration of cases with correlated information, Xu (2010) used the Choquet integral to define intuitionistic fuzzy correlated averaging (respectively, geometric) aggregation operators from a fuzzy measure.Special cases included the intuitionistic fuzzy weighted averaging/geometric operators and the intuitionistic fuzzy weighted ordered weighted averaging/geometric operators.Relatedly, Xu and Xia (2011) developed induced generalized intuitionistic fuzzy Choquet ordered averaging.
Evidence of the impact of the research about aggregators of IFSs on decision-making can be found in articles such as Deng et al. (2022); Huang et al. (2023); Liu et al. (2020); Chen and Randyanto (2013); Wang et al. (2022), and their references.Other applications include the investigation of centroid transformation of IFVs (Feng et al. 2019).Also, the advancement of this field has a positive impact on other branches including the aggregation of complex intuitionistic fuzzy sets (Akram et al. 2021), a model that extends IFSs, or the measurement of similarities (Chen and Chen 2001).
Many aggregation operators for IFNs have resorted to the weighted geometric mean.However, it is surprising that neither of these methodologies operates on the orthopairs in the most direct and natural manner, to wit, by taking the weighted geometric means of both membership and non-membership degrees.To fill this unexpected gap in the literature, in this paper, we define the intuitionistic fuzzy direct weighted geometric operator on IFNs.Then we prove that our new formula produces a well-defined aggregation operator on IFNs, and we compare its performance with existing aggregators with the help of two proxies (the average of the Euclidean distances to the IFNs, and the sum of squared error or SSE inspired by the kmeans clustering algorithm, v. Celebi et al. (2013)).Our mathematical proof allows us to show that the intuitionistic fuzzy direct weighted geometric operator is in fact a representable intuitionistic aggregation operator on IFNs.This class of aggregator has been studied by Kolesa ´rova ánd Mesiar (2020).An application to group decisionmaking with an illustrative example supplements and motivates these achievements.
This paper is organized as follows.Sect. 2 recalls known concepts and facts about intuitionistic fuzzy sets and aggregation operators.Section 3 summarizes relevant antecedents on aggregation of intuitionistic fuzzy sets.General comments are made in Sect.3.1.Operational laws for IFNs are described in Sects.3.2, and 3.3 recalls how their implementation with weighted geometric averages leads to several aggregation operators on IFNs.Section 4 contains our contribution to the aggregation of IFNs and a comparison with existing aggregation operators.Multi-attribute group decision-making is the subject of Sect. 5. Section 6 concludes this article.

Preliminary concepts and results
This section revises some definitions and results.Section 2.1 recalls basic concepts, and Sect.2.2 gives a brief overview of aggregation operators.
For convenience, we shall write the unit interval [0, 1] as I .
Henceforth, X denotes a set of alternatives.

Review of concepts
The next standard notions will be used in this paper.
Definition 1 (Yager 2017) A q-rung orthopair fuzzy set A over X is A ¼ fhx; ðl A ðxÞ; m A ðxÞÞij x 2 Xg: The mappings l A ; m A : X !I , respectively, encode the degrees of membership and non-membership of x 2 X to A, with ðl A ðxÞÞ q þ ðm A ðxÞÞ q 1 for all x 2 X.
Definition 1 produces an Atanassov's intuitionistic fuzzy set (Atanassov 1986) when q ¼ 1, and a Pythagorean fuzzy set when q ¼ 2. Recently, Alcantud (2023) has generalized Definition 1 to complemental fuzzy sets, and he has provided a common semantic interpretation to all these models.
Focusing on Atanassov's intuitionistic fuzzy sets, the interpretation of hx; ðl A ðxÞ; m A ðxÞÞi is that for each x 2 X, the degree of membership of x in A (the IFS) lies in the closed interval ½l A ðxÞ; 1 À m A ðxÞ.
An orthopair is ðl; mÞ, where 0 l; m 1.And it is an intuitionistic fuzzy number (IFN) or intuitionistic fuzzy value (IFV), when 0 l þ m 1 (Xu and Yager 2006).The set of all IFNs will be denoted by A.
Some IFNs can be compared with the help of the binary relation < on IFNs defined as follows: for each pair (Atanassov 1986).The bottom and top elements of < are 0 ¼ ð0; 1Þ and 1 ¼ ð1; 0Þ, respectively.
This binary comparison is incomplete: for example, I 1 ¼ ð0:3; 0:5Þ and I 2 ¼ ð0:4; 0:6Þ cannot be compared by <.A more discriminating tool was built with the help of the score of an IFN I ¼ ðl; mÞ, defined as SðIÞ ¼ l À m in Chen and Tan (1994).IFNs with higher scores are preferred over IFNs with smaller scores.Because SðI 1 Þ ¼ SðI 2 Þ ¼ À0:2, this rule declares that I 1 and I 2 are equally good.Clearly, ties will appear on a regular basis.To act as a tie-breaking rule for situations like this, the accuracy of I, defined as Hong and Choi (2000), is commonly employed since Xu and Yager (2006) proposed its utilization.In a comparison of IFNs with the same score, the IFN with higher accuracy is preferred.In our example,

The next definition summarizes this comparison law:
Definition 2 Xu and Yager (2006)

Aggregation of IFSs: antecedents
This section contains some relevant antecedents that will serve us to formulate our main question.A brief introduction to the aggregation problem that we shall investigate is in Sect.3.1.Then in Sect.3.2, we recall some operations on IFNs.Section 3.3 defines known (families of) geometric aggregation operators.

Aggregation of intuitionistic fuzzy numbers
The aggregation of intuitionistic fuzzy sets is performed elementwise.Hence, it relies on aggregation of IFNs, which are the characteristics that define each element in X: Definition 4 Beliakov et al. (2011) [Definition 5] An aggregation operator on n IFNs is a mapping f : A Â . . .n Â A !A that is monotonic with respect to < and satisfies f ð0; . . .n ; 0Þ ¼ 0, f ð1; . . .n ; 1Þ ¼ 1.
The following guiding principles have helped to aggregate IFNs (Liu and Chen 2017).The founding Xu and Yager (2006) suggested to use operations on IFNs to replace the standard arithmetic operations between numbers, and several articles followed this trend.Sections 3.2 and 3.3, respectively, deal with both technicalities.Section 3.3 focuses on references relating to the implementation with weighted geometric averages, our research arena.And as mentioned in the Introduction, a different principle builds on special aggregation operators on crisp numbers.We do not need to be explicit about these other cases in our article.

Algebraic operations on intuitionistic fuzzy numbers
Some aggregation operators were designed with the help of various operations on IFNs or IFVs.Originally, one had the next expressions: Definition 5 (Atanassov 1994) Let I 1 ¼ ðl 1 ; m 1 Þ, I 2 ¼ ðl 2 ; m 2 Þ be IFNs and k [ 0. Then: However, He et al. ( 2014) suggested the following alternative expressions for multiplication of IFNs and power operation on IFNs: Some drawbacks found in the application of these operations motivated Chen and Chang (2016) to redefine them as follows: Now, let us see how these operations produce aggregation operators on IFNs.

Some geometric aggregation operators on intuitionistic fuzzy numbers
In this section, we let x ¼ ðx 1 ; . ..; x n Þ be a weight vector.
To avoid a lengthy discussion, we keep our presentation focused on geometric-type aggregators, and skip the details concerning, e.g., arithmetic-type aggregation of intuitionistic fuzzy numbers.
Definition 6 (Xu and Cai 2013;Xu and Yager 2006) The intuitionistic fuzzy weighted geometric operator on n intuitionistic fuzzy numbers associated with x can be computed as follows: when This aggregation operator was defined in Xu and Yager (2006), Definition 2, and Xu and Cai (2013), Definition 1.3.2, with the help of the operations on IFNs that we have recalled in Definition 5. Specifically, it was defined as IFWG x ðI 1 ; . ..;I n Þ ¼ x 1 I 1 . . .x n I n where refers to the first formula from Definition 5.It was characterized in Xu and Yager (2006), Theorem 2, and Xu and Cai (2013), Theorem 1.3.2,through the formula (3).In Xu et al. (2023), Definition 3.1, this operator is called IFWG operator with respect to .
The spirit of the OWA operator suggested the next variation Xu and Yager (2006)[Definition 3] which is also an aggregation operator on IFNs: in the conditions of Definition 6, IFOWG x ðI 1 ; . ..; with ðrð1Þ; . ..; rðnÞÞ being a permutation of ð1; 2; . ..; nÞ such that I iÀ1 > I i by the comparative rule in Definition 2, for each i ¼ 2; . ..; n.This operator was extended in Wei (2010), Definition 9, by the induced IFOWG (I-IFOWG) aggregation operator with the help of an order inducing variable.
The utilization of alternative expressions for the operations on IFNs (cf., Sect.3.2) prompted the next proposal: Definition 7 (Chen and Chang 2016, Definition 4.1) The intuitionistic fuzzy weighted geometric averaging (IFWGA) aggregation operator on n intuitionistic fuzzy numbers associated with x can be computed as follows: when fI 1 ¼ ðl 1 ; m 1 Þ; . ..;I n ¼ ðl n ; m n Þg are IFNs, IFWGA x ðI 1 ; . ..; The intuitionistic fuzzy ordered weighted geometric averaging (IFOWGA) aggregation operator (Chen and Chang 2016, Definition 4.2) is a variation of IFWGA that replicates the change introduced by IFOWG x with respect to IFWG x .
The next operator was defined in Yu ( 2013), Definition 6, with the help of the operations in Definition 5. Then Yu (2013), Theorem 2, proves the lengthy formula provided in Definition 8: Definition 8 (Yu 2013) The intuitionistic fuzzy geometric weighted Heronian mean aggregation operator on n intuitionistic fuzzy numbers associated with x and p > 0, q > 0 that do not vanish simultaneously, can be computed as follows: when fI 1 ¼ ðl 1 ; m 1 Þ; . ..;I n ¼ ðl n ; m n Þg are IFNs, IFGWHM p;q x ðI 1 ; . ..; Remark 1 Xu (2007) defined the IFWA x (for intuitionistic fuzzy weighted averaging) operator.In our analysis of geometric-inspired aggregators, it is timely to explain that in Xu et al. (2023), this operator is called IFWG operator with respect to È.Its formula in the conditions of Definition 6 is To conclude this section, we note that Xu et al. ( 2023) have performed an updated investigation of relationships among intuitionistic fuzzy weighted geometric operators.
Once the analysis of geometric-type aggregators on intuitionistic fuzzy numbers has been completed, we are ready to present our contribution.

The intuitionistic fuzzy direct weighted geometric aggregation operator
Section 3 has prepared the ground for the main concepts in this article.There we have witnessed the development of increasingly complicated expressions for geometric-meaninspired aggregation operators for IFNs.Here, we produce aggregation operators that, despite their simplicity, are novel in this literature.We state them directly with the help of the weighted geometric mean, so henceforth in this section x ¼ ðx 1 ; . ..; x n Þ denotes a weight vector (cf., Sect.3.3).
Our next section proves that ( 7) and ( 8) produce aggregation operators.Section 4.2 gives supplementary discussion.

Main result
We are ready to state and prove our main result in this paper: Theorem 1 IFDG x is an aggregation operator on IFNs.
Proof To prove that IFDG x satisfies Definition 4, consider First we need to prove that x j j 6 1.By definition of IFN, it must be the case that m j 6 1 À l j for each j ¼ 1; . ..; n.Therefore, the proof will be ended if we show This completes the proof that IFDG The application of Theorem 1 to x ¼ ð 1 n ; . ..; 1 n Þ guarantees that IFDG is an aggregation operator.

Discussion
Compared to Theorem 1, Definition 6 bypasses the difficulty of the proof that IFWG x is an aggregation operator by resorting to expressions defined from operational laws of IFNs.Then, the gist of the argument proving Xu and Yager (2006), Theorem 2, and Xu and Cai (2013), Theorem 1.3.2,becomes pretty simple and accessible.By contrast, the operator defined in Definition 9 also produces IFNs through a novel simpler formula; however, the demonstration that it is an aggregation operator is much harder without the utilization of the geometric-arithmetic inequality.
The proof of Theorem 1 justifies this non-trivial inequality.The second claim is now immediate (cf., Sect.2.1).h Finally in this section, to ensure that Definition 9 produces a distinct aggregation operator for IFNs, the next example compares it with the most prominent intuitionistic fuzzy geometric operators found in the existing literature.
Example 2 For illustration, let us examine the results of the aggregation of the IFNs used in Example 1 of Xu and Yager (2006) by the focal intuitionistic fuzzy geometric operators whose expressions are given in section 3.3 (we avoid the IFGWHM p;q x class of operators, which depend upon extra parameters and would require a very lengthy analysis).
Figure 1 shows both I 1 ; I 2 ; I 3 , and I 4 , and their aggregation by IFDG x , IFWG x , IFOWG x , and IFWGA x .
To compare the relative performance of these aggregation methodologies, we shall use two proxies.First, we employ the average of the Euclidean distances to the four IFNs.Second, we use the Sum of Squared Error (SSE) by inspiration of the k-means clustering algorithm (Celebi et al. 2013).Table 1 summarizes both the results of the aggregation by the four operators considered in this example, plus their respective average distances and SSEs.We observe that in this example IFDG x outperforms IFWG x and IFOWG x in both dimensions, although it is much simpler.
If we apply this expression to the case A ¼ B ¼ G x given by Eq. ( 2), then we obtain IFDG x ¼ ðA; BÞ.The crucial inequality G d x > G x that is required by the definition of representable intuitionistic aggregation function is precisely what we demonstrate in the proof of Theorem 1.
In conclusion, although IFDG x is a representable intuitionistic aggregation function, the fact that it is a new example of this class of aggregators necessitates a nontrivial mathematical proof that we produce in Theorem 1.

An application to multi-attribute group decision-making
This section produces an application of the intuitionistic fuzzy direct weighted geometric operator to group decision-making with the help of the comparison law in Definition 2. To this purpose, we adapt the methodology described in either Section 6 of Kumar and Chen (2022) or Section V of Liu and Chen (2017) by replacing their respective aggregation operators by an intuitionistic fuzzy direct weighted geometric operator in the corresponding steps of their algorithms.
We state this procedure below as Algorithm 1.The input is a list of IFSs.They are submitted by a group of agents.Two elective components are two vectors of weights x and w.They, respectively, capture the importance of the attributes that characterize the IFSs and the expertise of the agents.Then, the first step transforms attributes of cost type into benefit type (this standard procedure is called ''normalization'').
Step 2 uses IFDG w to produce an aggregate IFS from the multi-agent information.At this point, for each alternative and characteristic we have one IFV.Step 3 uses IFDG x to associate one IFV with each alternative.Finally, Step 4 computes the figures that are needed to apply the comparison law given in Definition 2 to the alternatives.The next example gives both illustrative application of Algorithm 1 and a comparative analysis with respect to two existing methodologies.
Example 3 For illustration, let us reconsider the example that was studied in both Example 6.1 of Kumar and Chen (2022) and Section V of Liu and Chen (2017) in the light of Algorithm 1.
The goal of this problem is to produce a ranking of five options O 1 ; . ..; O 5 .To calculate it, three experts evaluate the alternatives in relation with four characteristics C 1 ; . ..; C 4 .The values assigned to the opinions of the agents are measured by the vector of weights w ¼ ð0:35; 0:4; 0:25Þ.And the relative values of the characteristics are measured by x ¼ ð0:1; 0:2; 0:3; 0:4Þ.
The three experts submit their assessments by Tables 2-4, respectively.
Let us apply Algorithm 1. Example 6.1 of Kumar and Chen (2022) and Section V of Liu and Chen (2017) explained that all characteristics are positive.Therefore, we do not need to do anything at Step 1.
We conclude O 3 .This ranking coincides with the recommendations given by both Kumar andChen (2022), Sect. 6, andLiu andChen (2017), Section V, to this problem.This coincidence confirms that the methodology designed with our fundamental aggregation operator is consistent with existing approaches.
However, the intuitionistic fuzzy direct weighted geometric operator on IFNs defined in (7) remained unexplored.We have proven that it is an aggregation operator on IFNs and also that it as a new example of the class of  representable intuitionistic fuzzy aggregators studied by Kolesa ´rova ´and Mesiar (2020).Finally, we have confirmed that the utilization of the intuitionistic fuzzy direct weighted geometric operator produces reliable results in multi-attribute group decisionmaking.

Definition 3 (
Beliakov et al. 2007) A mapping A : I Â . . .n Â I !I is called an aggregation operator when it satisfies:

Finally
in this section, we explain that IFDG x is an example of representable intuitionistic aggregation function Kolesa ´rova ´and Mesiar (2020) [Section 3].To introduce this concept, recall that the dual of the aggregation operator A : I Â . . .n Â I !I is A d : I Â . . .

Table 2
Ratings given by expert 1 in Example 3

Table 3
Ratings given by expert 2 in Example 3

Table 4
Ratings given by expert 3 in Example 3

Table 5
Aggregate evaluation obtained after step 2 in Example 3

Table 6
Aggregate values and their scores in Example 3