Some Construction Methods of Aggregation Operators in Decision-Making Problems: An Overview

: Aggregating data is the main line of any discipline dealing with fusion of information from the knowledge-based systems to decision-making. The purpose of aggregation methods is to convert a list of objects, all belonging to a given set, into a single representative object of the same set usually by an n -ary function, so-called aggregation operator. As the useful aggregation functions for modeling real-life problems are limited, the basic problem is to construct a proper aggregation operator, usually a symmetric one, for each situation. During the last decades, a number of construction methods for aggregation functions have been developed to build new classes based on the existing well-known operators. There are three main construction methods in common use: transformation, composition, and convex combination. This paper compares these methods with respect to the type of aggregating problems that can be handled by each of them.


Introduction
The importance of aggregating in fusion of information, specially in decision-making problems, is, in fact, to get an overview of data for taking the final action. However, there are diverse strategies to reach the aggregated value: aggregation functions are one of the most effective and simple methods in this area. Aggregation functions are a mathematical way to summarize an n-tuple of information into a single output by means of non-decreasing functions where the output should remain in the same set as the input one. In literature, the non-decreasing function A : n∈N [0, 1] n → [0, 1] is usually considered as the standard definition of aggregation functions where the non-decreasing property of A shows increasing values of inputs increases the aggregated value. Moreover, the aggregation function A fulfills the boundary conditions A(0, · · · , 0) = 0 and A(1, · · · , 1) = 1 that guaranty the aggregating of minimal and maximal inputs are respectively minimal and maximal output.
Group decision-making problems that refer to as multi-person or multi-observer decision situations, are one of the main application fields of aggregation functions theory. Such problems usually contain two key phases known as consensus and selection (c.f. [1,2]) where the main objective of consensus is to obtain the consent over different judgments, not necessarily the full agreement of individuals participating in a decision-making problem, whereas selection phase contributes to find the optimum solution (c.f. [3]). According to the final goal in different decision situations, over the past decades a number of methods have been applied to reach consensus in group decision-making problems. The statistical tools and mathematical concepts, such as mean value, median, minimum, maximum, triangular norms [4], and fuzzy integrals [5,6] are widely used to aggregating data. On the other hand, dealing with linguistic information and non-numerical variables to express decision-makers' judgments in real-world decision-making problems highlights the use of fuzzy set theory [7] and soft set theory [8] in this area. As a result, most of the aggregating techniques have been adapted to these concepts. For instance, the ordered weighted average (OWA) operator [9] and the ordered weighted geometric (OWG) operator [10] have been developed to intuitionistic fuzzy operators [11,12], interval-valued intuitionistic fuzzy ordered weighted geometric (IVIFOWG) operator [13], intuitionistic trapezoidal fuzzy ordered weighted averaging (ITFOWA) operator [14], intuitionistic fuzzy-induced geometric (IFIGOWA) operators [15], intuionistic fuzzy generalized aggregation operators [16], fuzzy-induced generalized ordered weighted averaging (FI-GOWA) and fuzzy-induced quasi-arithmetic OWA (Quasi-FI-OWA) operators [17], induced generalized intuitionistic fuzzy ordered weighted averaging (I-GIFOWA) operator [18], interval-valued pythagorean trapezoidal fuzzy ordered weighted averaging (IVPTFOWA) operator [19], and m-polar fuzzy soft OWA operator [20] by different researchers.
However, the list of aggregation functions is not limited to these single or hybrid operators. In fact, the class of aggregation functions is huge and choosing the right one for a given problem is the main task of decision-makers in any consensus process. For example, averaging aggregation functions are used widely in real-life situations. To find the overall score of a student based on his/her final academic report, we usually use the arithmetic mean value AM. However, if different courses have different importance weights, the weighted arithmetic mean WAM, rather than AM, should be applied to get the correct result. However, this formula can give rise to misleading result if we want to consider the effect of final exams schedule on the student's performance, where the courses' weights are computed based on the exams timetable rather than how much that course/exam is difficult. Since then, a survey on aggregation functions can give an insight to the experts to enhance their performance for choosing the right one. Xu and Da [21] fulfilled the first overview of the aggregation operators in 2003 by reviewing the existing main aggregation operators. The authors of [22][23][24] focused on properties and classification of aggregation functions. Grabisch et al. [25] made a review only on averaging aggregation operators. Recently, Rosanisah Mohd and Lazim Abdullah [26] provided an overview of different types of aggregation functions used in decision-making from year to year. However, these works did not focus on the type of consensus problem that may handled by different construction methods of aggregation operators.
Finding a proper aggregation operator for the situation with a complex consensus scenario and based on the existing formulas is not always straightforward. We usually need to develop the class of aggregation functions by constructing new ones based on the existing operators. There are a number of techniques to construct different classes of aggregation operators with different properties [23,[27][28][29][30][31][32][33][34] where they start from given aggregation functions and continue by constructing new ones. A review paper over such techniques allows us to have an insight of not only the problems that can be solved by them, but also situations that cannot be handled by these methods. To this end, we compare three analytical approaches namely transformation, composition and convex combination, that are used to generate new aggregation functions based on existing ones, to address the following research questions.

1.
Which consensus problems can be handled by each of these aggregating techniques? 2.
What are the limitations of each technique?
This paper aims to provide an overview of three key construction methods of aggregation functions, namely, transformation, composition, and convex combination, to compare them with respect to type of aggregating problems that can be handled by each of them. This can help researchers gain a more comprehensive understanding of advantages as well as limitations of each constructing method of aggregation functions. We focus on consensus problems that may be solved by these construction techniques of aggregation operators and present a summary of some recent as well as older results. To this end, in Section 2, basic definitions and properties of aggregation functions are recalled. Sections 3-5 are, respectively, devoted to review of construction methods for aggregation functions including transformation of aggregation operator, composite aggregations, and weighted rule of aggregation operators based on convex combination approach. In Section 6, we compare these constructing methods by some numerical example. Finally, a summary is given in the conclusion section.

Basic Definitions and Properties
In this section, we recall some basic concepts about aggregation functions. Not that, throughout this paper, we use the following notations; I ⊂ R is the closed unit interval [0, 1] and I n = {x (n) = (x 1 , · · · , x n ) : x i ∈ I, i = 1, · · · , n} denotes the set of all real n-dimensional vectors x (n) whose components are in the interval I. Moreover, we say x (n) = (x 1 , · · · , x n ) ≤ y (n) = (y 1 , · · · , y n ) if and only if x i ≤ y i , for all i.

Definition 1.
• An aggregation function of dimension n ∈ N is an n-ary function A (n) :

•
An extended aggregation function is the function A : n∈N [0, 1] n → [0, 1] whose restriction A| I n := A (n) to I n is the n-ary aggregation function A (n) for any n ∈ N.
harmonic mean HM(x (n) ) = n minimum Min(x (n) ) = min n i=1 x i and maximum Max(x (n) ) = max n i=1 x i ; 7.
projection function to the kth coordinate P k (x (n) ) = x k are several well-known examples of extended aggregation functions.

Remark 1.
Note that, we have the weakest aggregation operator A w and the strongest aggregation operator A s defined by where for any aggregation operator A • has a neutral element e ∈ [0, 1] if A(x 1 , · · · , x i−1 , e, x i+1 , · · · , x n ) = A(x 1 , · · · , x i−1 , x i+1 , · · · , x n ) • has an annihilator element (absorbing element or zero element) a ∈ [0, 1] if A(x 1 , · · · , x i−1 , a, x i+1 , · · · , x n ) = a • has no zero divisors if it has the zero element a, and A(x 1 , · · · , x n ) = a =⇒ ∃ 1≤s≤n s : x s = a Therefore, if an aggregation function has a neutral element e, it can be omitted from the initial list of objects without any influence on the final aggregated value. Thus, in a decision-making problem, existence of the neutral element e means that the rest of arguments except e fulfill the aggregation process. If an aggregation function has the annihilator element a, then adding it to the list of arguments means that only the argument a fulfills the aggregation stage. In fact, the annihilator element a acts as a veto or qualifying score. Example 2. The product function Π and the minimum function Min have the neutral element 1, whereas 0 is the neutral element of the maximum function Max. Obviously, 1 is the annihilator for Max and 0 is the annihilator element of Π, Min, and GM where the latter has no neutral element. Operators A w and A s are without neutral element, whereas A w has an annihilator a = 0 and A s has an annihilator a = 1. The operators AM and P k are examples of aggregation functions without neutral and annihilator elements.
where c ∈ [0, 1] is an aggregation function that has neutral element e = c and without annihilator.

Classification of Aggregation Functions
There are four main classes of aggregation functions, including conjunctive, disjunctive, averaging, and remaining aggregation functions, defined by their relationship to Min and Max functions and proposed in [35] for the first time. Conjunctive if for every x (n) ∈ I n , A(x (n) ) is bounded by the minimum function: A(x (n) ) ≤ Min(x (n) ) = min(x 1 , · · · , x n ) • Disjunctive if for every x (n) ∈ I n , A(x (n) ) is bounded by the maximum function: Average whenever for all x (n) ∈ I n we have: According to [36], if A is the collection of all aggregation functions, C shows the class of conjunctive functions, D is the class of disjunctive functions, P shows the pure averaging functions, and R = A/(C ∪ D ∪ P ) is all remaining aggregation functions, then (C, D, P, R) forms a partition on A. From monotonic property of A, it is easy to check that the property of averaging is equivalent to the idempotency of aggregation function A where the aggregation function A : If an aggregation operator A has the neutral element e, then A is idempotent at e. Similarly, if A has the annihilator a, then A is idempotent at a. Thus, 0 and 1 are idempotent elements for each aggregation operator, called trivial idempotent elements.
Example 5. The arithmetic mean AM, the geometric mean GM, the operator Min, the operator Max, and the projection operator P k are average (idempotent) aggregation functions. A c is not an average (idempotent) aggregation operator, but has the idempotent elements 0, 1, c where c ∈ [0, 1].

Remark 3.
In multi-criteria decision-making problems, idempotency (averaging) means if all criteria (or decision-makers) are satisfied at the same degree like x, then the global score should be x.

Triangular Norms and Conorms
Triangular norms and conorms, or t-norms and t-conorms in brief, are well-known examples of conjunctive and disjunctive aggregation operators with the neutral elements e = 1 and e = 0, respectively, that are associative and commutative.
is called a triangular conorm or t-conorm if it is symmetric, associative, non-decreasing function and satisfies the boundary condition S(

Properties of Aggregation Functions
The algebraic and analytic properties of an arbitrary n-ary real functions, such as continuity and associativity can be naturally defined for the aggregation function A :

Definition 5. The aggregation function
for all x (n) ∈ I n and A(A(x 11 , · · · , x 1n ), · · · , A(x m1 , · · · , x mn )) = A(A(x 11 , · · · , x m1 ), · · · , A(x 1n , · · · , x mn )) for any m, n ∈ N; 6. Associative if for all (x 1 , Continuous if for any x (n) ∈ I n and ( c-Lipschitz with respect to the norm . : R → [0, +∞), if for some constant c ∈ (0, +∞) we have: Example 7. It is evident that the arithmetic mean AM is an example of an additive function. Operator Π is not idempotent. Operators AM, ∏, Min, Max, P k , and A c are continuous aggregation operators, which all also fulfill the 1-Lipschitz property. Operator AM is the only aggregation function that is 1 n -Lipschitz for all n ∈ N: whereas GM is an example of a continuous aggregation operator which is not Lipschitz. A w and A s are examples of non-continuous operators.

Remark 4.
Note that the symmetric property of an aggregation function reflects the same importance of single criteria in a multi-criteria decision-making problem, i.e., knowledge of the order of input score is irrelevant. Moreover, the bisymmetry property of an aggregation operator allows us to obtain an overall score of each candidate according to n judges from different decision-makers based on m criteria by any two following ways. We can first aggregate the numerical scores of each candidate over all criteria given by each decision-maker and then aggregate these values, or we may first aggregate the scores of the candidate on the basis of each criteria and then merge them over all decision-makers.

Remark 5.
The associativity property of an aggregation function allows us to start with aggregation procedure before knowing all inputs to be aggregated. Then, additional input can be simply aggregated with the output of the previous aggregating step.

Example 9.
Aggregation operators A w , A s , Min, Max, ∏, and P k are examples of associative functions. Operators A c and GM are non-associative aggregation operators.

Construction Methods of Aggregation Functions
In aggregation operators theory, construction methods are one of the important issues that should be addressed. There exist a large number of aggregation operators, some simple and straightforward and some very complex, with different properties. However, finding a proper one for a specific situation may be difficult. Sometimes the traditional operators are not suitable and experts try to develop new aggregation functions from the existing ones. In this case, the generic problem that should be solved is below.
Problem I. Constructing an aggregation function A ∈ A, possibly with some additional properties, to find the best output.
To cope with Problem I, several construction methods have been discussed in literature to create new aggregation functions. In the following sections, we review three commonly used construction methods of aggregation functions, namely transformation, composition, and convex combination, which answer Problem I. We also compare the type of consensus problems that can be solved by each of them.

Transformation of Aggregation Functions
The idea of transformation of functions can be used to construct new aggregation functions that inherit the algebraic and topological properties of the original aggregation functions. Proposition 1. Let A : I n → I be an n-ary aggregation function and φ : J → I be a monotone bijection where I, J are real intervals. Then, A φ : J n → J given by is an n-ary aggregation function on J n .
However, the analytical properties of A such as Lipschitz property, additivity or linearity are not be inherited by A φ .
Observe that the transformation formula can be successfully applied to change the scale from example I n into the J n by means of a monotone bijection φ : J → I where J is any real interval.
If A has the neutral element e, then by applying transformation formula on scales [0, e] and [e, 1] we can get two new aggregation operators based on A and with the neutral elements 1 and 0, respectively. For example, let A : n∈N [0, 1] n → [0, 1] be an aggregation function defined by with 0 0 = 0, that is an associative and symmetric aggregation function with neutral element e = 0.5. Then, by assumption φ 0 : that is an associative and symmetric aggregation function with neutral element e = 1. Moreover, if we put that is an associative and symmetric aggregation function with neutral element e = 0. Similarly, if A has the annihilator a, then by applying transformation formula on scales [0, a] and [a, 1], we can get two aggregation operators with annihilators 1 and 0, respectively.

Duality of Aggregation Functions
One of the most applied transformations is the duality transformation where φ(x) = 1 − x. Applying this transformation to any aggregation operator A, the dual aggregation function A d of A is obtained. Indeed, duality is one of the simplest methods to develop an aggregation function on the basis of a given one.
For any (extended) aggregation function A, the mapping A d : is called the dual aggregation function of A. Clearly, the minimum and the maximum functions are dual of each other. The operators A w and A s are also dual of each other. Moreover, if the product function Π(x (n) ) = ∏ n i=1 x i is given, then its dual, i.e., the probabilistic sum PS( is also an aggregation function.
Remark 6. The aggregation operators A and A d have the same analytical and algebraic properties, e.g., if A is continuous or symmetric then A d is also continuous or symmetric.
As the operators Min, Max are dual of each other, we clearly have the following result. 1] be an aggregation operator and A d be its dual.
• If A is average (or alternatively idempotent), then A d is also average (idempotent). • If A is conjunctive (disjunctive), then A d is disjunctive (conjunctive).

Remark 7.
If A has the neutral element e, then 1 − e is the neutral element of A d . Moreover, if a is the annihilator of A, then A d has the annihilator element 1 − a.
The aggregation operator A is called self-dual (or symmetric sum) if and only if A d = A or equivalently for any x (n) ∈ I n : A(1 − x (n) ) = 1 − A(x (n) ). The arithmetic mean AM is a well-known example for self-dual aggregation functions, as AM d ( The median operator Med and the weighted arithmetic mean WAM are also self-dual aggregation functions. However, in general case, the most aggregation functions are not self-dual. However, there is a technique (c.f. [28], Propositions 6 and 8) to make a self-dual function by using the average of aggregation function A and its dual, i.e., A d .
and it is called the core of aggregation operator B.
According to Proposition 3, by having an aggregation function B, we can generate a self-dual aggregation function A. For example, the arithmetic mean of Min and Max, i.e., A(x (n) ) = min(x (n) ) + max(x (n) ) 2 or the arithmetic mean of product function and probabilistic sum, i.e., where the latter is mean value for n = 2, are two new aggregation operators that are self-dual functions.
Remark 8. Triangular norms and their dual, i.e., the class of triangular conorms, are the most important and useful examples for the concept of duality in aggregation theory. Furthermore, as t-norms and t-conorms are dual to each other, by condition T(x 1 , x 2 ) = 1 − S(1 − x 1 , 1 − x 2 ) it will be sufficient to deal with t-norms only and accordingly the properties of t-conorms are obtained.

Quasi-Arithmetic Means
One of the most important classes of aggregation functions generated by the transformation formula is the quasi-arithmetic means as the transformation of AM [29]. If the arithmetic mean AM defined by AM(x 1 , · · · , x n ) = 1 n ∑ n i=1 x i is given and f : [0, 1] → R is a continuous strictly monotone function, then by (1) we can get the aggregation function AM f : that is called quasi-arithmetic mean. The function f defined in (4) is called a generator of AM f .
The quasi-arithmetic means are averaging aggregation functions that can be considered as the modern definition of mean value in the sense of Cauchy [37]. Therefore, they may be viewed as the solution for the following problem.
Problem II. Constructing an averaging aggregation function A ∈ A such that Min ≤ A ≤ Max.
Clearly, the class of quasi-arithmetic means includes the most commonly useful averaging aggregation functions, i.e., the arithmetic mean and the geometric mean. The below example provides some well-known instances of quasi-arithmetic means generated by means of different formulas for f . (4),

Example 10. In Equation
The following result shows the relation between quasi-arithmetic means generated by two functions f and g.

Composite Aggregation Functions
Another class of constructing methods to aggregation operators is composition over some given aggregation functions. The main objective for applying the composition technique to aggregation functions is to give an alternative aggregating approach when we face multi-source data. Therefore, such technique can be addressed the following problem.
Problem III. Constructing an aggregation function A ∈ A to combine the input data that have been merged by different techniques.
is an aggregation function if and only if B is an idempotent (averaging) aggregation operator.
Note that in Equation (5), each x i is aggregated by each of the inner aggregation functions A i , so totally m-times.

Remark 9. In reality, Equation (5) can be seen as a decision-making situation involving m decision-makers where each A i correspond to the ith expert and operator B to the head or mentor of the group.
For example, if we take B in (5) as the weighted arithmetic mean WAM with weighting vector w (m) = (w 1 , · · · , w m ), then the function C B;A 1 ,··· ,A m := ∑ m i=1 w i A i is the convex combination of aggregation functions A 1 , · · · , A m . As another simple example if B := max or B := min, then C B;A 1 ,··· ,A m := max(A 1 , · · · , A m ) and C B;A 1 ,··· ,A m := min(A 1 , · · · , A m ), respectively.

Composition over Different Source of Data
To aggregate a list of data coming from two or more different sources into a single output by using different aggregation functions that are defined according to the type of each source of input data, an alternative construction method is proposed in [27] to solve the following problem.
Problem IV. Constructing an aggregation function A ∈ A to combine two different types of input data.
is an aggregation operator that is called double aggregation function.
For example, in Proposition 5, let B be the median operator Med. Then, the function D B;A 1 ,A 2 given by (6) is the average value of aggregation functions A 1 and A 2 , i.e., D B;A 1 ,A 2 := A 1 +A 2 2 is the arithmetic mean of functions A 1 and A 2 . (5) and (6) is in the domains of inner aggregation functions. In (6), each input x j from the initial list of data is aggregated by only one of the inner aggregation functions A i . However, in (5), each input x j is aggregated by each of the inner aggregation functions A i . Thus, Proposition 5 allows us to aggregate a list of data coming from two or more different sources into a single output based on different aggregation functions that are defined according to each source of data.

Composition over Sub-Groups of Data
An interesting composition method of aggregation functions was recently proposed in [38]. This method can help handle the problem of partial agreement (not necessarily the full agreement) when α number of total n criteria or decision-makers are sufficient to reach consensus. The aim of this method is to overcome the following difficulty.
Problem V. Constructing an alternative aggregating approach in multi-criteria decision-making problems with n arguments where any possible list of α ≤ n arguments (not necessarily all n arguments) can affect the final decision at the consensus level α.
Before giving the explanation of this method, first, let X = {x 1 , · · · , x n } be the universal set of n elements and C n,α stands for α-combination operator of n where C i n,α {x 1 , · · · , x n } represents the ith α-combination from the set X. We apply the operator C n,α for the index set I = {1, · · · , n} to cut-off I into the different subsets I i ⊆ I with cardinality | I i |= α such that C n,α (I) = {I 1 , · · · , I k }, where for i = 1, · · · , k: I i shows the ith α-combination of I. By using the permutation operator σ * : {1, · · · , k} → {1, · · · , k}, we rearrange the collection C n,α (I) to provide a lexicographical order on C n,α (I).
For any extended aggregation functions A, B we can define an aggregation function F α;B,A : is an (extended) aggregation operator called combination operator-based aggregation function of degree α where α ∈ {1, 2, · · · , n} and k = n! α!(n−α)! is the binomial coefficient.
Thus, we first apply the operator A for aggregating any α-element selection of the set {x 1 , · · · , x n }, and then use the operator B to combine these obtained values into an unique output.
first combines pessimistically any 3-member selection over the alternatives x 1 , x 2 , x 3 and x 4 and then merges them optimistically to get the overall result.
That are not, of course, new operators.

Aggregating of Weighted Input
An important factor to handle aggregating problem of input data with different importance is weights. Indeed, the correspondence weighting vector w (n) = (w 1 , · · · , w n ) to such input values x 1 , · · · , x n can be understood as the vector of cardinality of each input x i where w i > 0 for i = 1, · · · , n. If ∑ n i=1 w i = 1, then w (n) is called the normal weighting vector. Thus, the aggregation function over weighted data contributes to solve the following problem.

Problem VI.
Constructing an aggregation operators A w ∈ A that permit to consider different weights of the sources or data where in fact, To aggregate a list of weighted input values, there are two main methods: (1) using the weighted aggregation operators defined naturally based on the weighting vector, such as weighted arithmetic mean, or (2) applying some techniques like weighted quasi-arithmetic means and weighted rule proposed based on a convex combination in [39] to produce a weighted aggregation operator based on unweighted one.
However, in both methodologies the identification of weights is an interesting topic. In practice, there is no unique strategy to find the associated weighting vector w (n) . Sometimes, these weights are given by the decision-makers or mentors involved in the decision-making problem based on their knowledge, information, and past experiences. The weighting vector can be also determined by a fuzzy linguistic quantifier function Q : [0, 1] → [0, 1] based on the formulation w i = Q( i n ) − Q( i−1 n ) for all i = 1, · · · , n, where the definition of Q may be changed from one case to another one [9,10,[40][41][42][43]. For example, the case "Q:=most", where "most" is interpreted as 60% of all data, may be defined by that means if at least 60% of some elements satisfy a property, then most of them certainly (to degree 1) satisfy it, when less than 20% of them satisfy it, then most of them certainly do not satisfy it (satisfy to degree 0). If between 20% and 60% of them satisfy it, more of them satisfy it, computed by the given formula.

Weighted Aggregation Functions
The weighted arithmetic mean defined by w i x i and weighted geometric mean defined by are the most commonly used operators to compute the aggregating of weighted input such that the weighting vector w (n) = (w 1 , · · · , w n ), where w i ≥ 0 and ∑ n i=1 w i = 1, shows the importance degrees of x i s.
Ordered weighted average (OWA) operator [9,33], which is calculated based on the arithmetic mean, and ordered weighted geometric (OWG) operator [10], which is formulated based on the geometric mean, are other two important aggregation operators for weighted input where the position/order of input has the weight rather than their sources.
The ordered weighted average (OWA) operator is defined by where σ is a permutation on {1, · · · , n} and x σ(i) is the ith largest element among x 1 , · · · , x n . Indeed, OWA opeartor is a revised version of WAM operator, where the reordering step of the OWA operator is carried out to assign the weight w i to the ith place/location not ith value. Similarly the ordered weighted geometric (OWG) operator is defined by • If n is even, w n 2 = w n 2 +1 = 1 2 , and w i = 0 else, then OWA := Med.
According to Remark 11, the ordered weighted averaging (OWA) operator is a useful aggregation technique, which provides a family of aggregation operators including the maximum, the minimum, the median, and the mean value. Especially, the role of OWA weights is very important to determine the type of aggregation to be performed. This has been motivated researchers to extend the OWA operator for a wide range of applications. For instance, Sang and Liu [44] considered the parametric form of a new type of OWA operator, called most preferred ordered weighted average (MP-OWA) operator, to deal with the uncertainty preference information where the weighting vector is determined based on the preferences information between arguments. Liu et al. [45] presented the probabilistic ordered weighted continuous extension of OWA operator. Recently, in [46], Yager proposed a solution to the problem of finding weights when we have a probability distribution over the argument values.
However, the main disadvantage of OWA and OWG operators is ignoring the importance of given arguments x 1 , · · · , x n for calculating the aggregated value. That is why they were extended into the induced OWA (or IOWA) operator in [41], and induced OWG (or IOWG) operator in [21], respectively. The IOWA operator, introduced by Yager and Filev [41], and the IOWG operator, given by Xu and Da [21], are two important extensions of operators OWA and OWG, respectively, to bridge the gap of weighted input arguments that is not mentioned in OWA and OWG.
The IOWA operator is defined by IOWA( u 1 , x 1 , · · · , u n , x n ) = n ∑ j=1 w j y j (9) and IOWG operator is defined by where y j is the value of x i that has the jth largest u i , and u i in u i , x i is referred to as the weight of variable x i . The weights w 1 , · · · , w n such that ∑ n i=1 w i = 1 are the associated weights to the IOWA and IOWG operators. Here, the reordering step of x i s is carried out by the variable u i rather than the value of x i , using in OWA and OWG. Therefore, the collection x 1 , · · · , x n is reordered as max{u i }, y 1 ≥ · · · ≥ min{u i }, y n .
However, these extensions have the inherent limitations from OWA operator and OWG operator, concerning the determination of associated weighting vector w (n) for IOWA and IOWG operators.
The weighted minimum and the weighted maximum are also commonly used classes of aggregation operators, discussed first in [47], dealing with objects having non-negative weights w 1 , · · · , w n such that max n i=1 w i = 1. Using the concept of possibility and necessity of fuzzy events, Dubois and Prade [47] proposed the following operators, the so-called the weighted disjunction and weighted conjunction, to interpretation the weighted maximum and weighted minimum, and where max n i=1 w i = 1.

Weighted Quasi-Arithmetic Means
By taking the weighted arithmetic mean WAM = ∑ n i=1 w i x i , where w i ∈ [0, 1] and ∑ n i=1 w i = 1, in Equation (4) we get the weighted quasi-arithmetic mean as below.
Obviously, if f (x) = x or f (x) = log x, then we have the weighted arithmetic mean WAM and the weighted geometric mean WGM, respectively.
The next theorem provides a new class of the weighted quasi-arithmetic mean approach so-called w-weighted quasi-arithmetic mean combination operator-based aggregation functions.
is an idempotent continuous n-array function that is called w-weighted quasi arithmetic mean combination operator-based aggregation function.

Weighted Rule Based on a Convex Combination
How to modify an unweighted scoring rule to apply for arguments with different importance degrees motivated authors in [39] to present a technique for extending an n-ary rule to its weighted version where the proposed method answers the following question.
Problem VII. Constructing aggregation operators A w ∈ A based on a convex combination of unweighted aggregation operators. Theorem 6. ( [39]) For every unweighted rule, f there exists a weighted rule that is based on f , compatible, and locally linear. If σ is a permutation that orders the weights as follows, w σ(1) ≥ · · · ≥ w σ(n) and w n+1 = 0, then is a weighted rule based on f .
For example, if A := min or A := max then the weighted minimum and the weighted maximum can be defined as below, respectively. and Remark 12. Using discussed constructing methods in previous sections as the underlying formula, we can provide some more new classes of aggregation operators based on the given technique in (18). For example, combining formulas given by Equations (7) and (20), we can get a weighted version of Example 11 as below.
Example 13. Reconsider Example 11 where B := max and A := min w . Take the weighting vector w (4)

Discussion
This study presents an overview of three constructing methods to aggregation functions, namely, transformation, composition, and convex combination, and their applications in group decision-making problems.
The following example compares the effect of choosing different aggregation methods on final result of aggregating data in a decision-making problem.

Example 14.
(Student evaluation based on the academic report) To evaluate the students' academic performance based on their final courses' marks where all courses have the same importance degree the mean value operator AM can be applied simply.
Let us suppose that four students are evaluated based on their final marks, that are calculated from 0 to 10, in three different courses as shown in Table 1 where their marks are divided by 10. According to Table 1, Student 1 and Student 2 have the best performance among all 4 students. As AM is a self-dual aggregation function, to find out the degree of failure of each student we only need to compute the 1 − AM. This means that student 3 by the highest failure degree 0.5 has the worst performance. Now let these courses have different weights as w (3) = (0.3, 0.5, 0.2). Therefore to compare the achievement of students we must use the WAM operator rather that AM.
By Table 2, it is easy to see that in this case Student 4 has better performance. In the next step, suppose that the correlation between students' achievement and examination timetable is being studied where the weighting vector w (3) = (0.3, 0.5, 0.2) has been devoted based on the courses' exam date in the examination schedule. Table 3, in this case, Student 1 has the best performance during the examination week based on aggregating operator IOWA. Let us now consider more challenging case where only 2 courses of these three courses are enough to evaluate the performance of students. In this case, we use the hybrid operator F

As shown in
2;Max,WAM to find the overall score of each student.
Thus according to Table 4, Student 1 has the best record during the examination week.

Conclusions
In decision situations, aggregating for reaching to consensus is one of the most important steps before taking the final action. This means that the used aggregating method affects the final solution. Different aggregating techniques have been discussed in literature; however, the most useful one is aggregation functions. In this paper, we have recalled properties and classification of aggregation functions. Some construction methods to generate new aggregation operators based on the existing ones have been also reviewed. Based on their characteristics, these techniques are classified into the following three groups; (1) transformation (which can produce linear transformation and dual of aggregation functions), (2) composition (that can cope with the problem of multi-source data), and (3) weighted rule of aggregation operators based on their convex combination (which permits data with different importance degrees). Especially, we have focused on the applications and consensus problems that may be handled by each of these methods. We also briefly discussed the differences between them by a comparative example.
Moreover, to develop new aggregation operators in future research, this overview gives an insight to the researchers. However, it is observed that, to date, many efforts have been made to develop aggregation functions theory, there are some gaps that need to be discussed by researchers in the future. For instance, there exist situations with multi-source data where some of the input information is dynamic or not complete that means the aggregating progress over each source can be dynamic or partial (such as negotiation process in management level). Composition of aggregation functions over different sub-groups of data where there are some incomplete/missing information may be the solution that can be discussed in another paper.
Author Contributions: Conceptualization, A.Z.K.; methodology, A.Z.K.; writing-original draft preparation, A.Z.K.; writing-review and editing, A.Z.K. and A.K.; project administration, A.K. All authors have read and agreed to the published version of the manuscript.