Abstract

Two important tasks in multiattribute group decision-making (MAGDM) are to describe the attribute values and to generate a ranking of all alternatives. A superior tool for the first task is linguistic interval-valued intuitionistic fuzzy number (LIVIFN), and an effective tool for the second task is aggregation operator (AO). To date, nearly ten AOs of LIVIFNs have been presented. Each AO has its own features and can work well in its specific context. But there is not yet an AO of LIVIFNs that can offer desirable generality and flexibility in aggregating attribute values and capturing attribute interrelationships and concurrently reduce the influence of unreasonable attribute values. To this end, a linguistic interval-valued intuitionistic fuzzy Archimedean power Muirhead mean operator and its weighted form, which have such capabilities, are presented in this paper. Firstly, the generalised expressions of the AOs are established by a combination of the Muirhead mean operator and the power average operator under the Archimedean T-norm and T-conorm operations of LIVIFNs. Then the properties of the AOs are explored and proved, their specific expressions are constructed, and the special cases of the specific expressions are discussed. After that, a new method for solving the MAGDM problems based on LIVIFNs is designed on the basis of the weighted AO. Finally, the designed method is illustrated via a practical example, and the presented AOs are evaluated via experiments and comparisons.

1. Introduction

Multiattribute group decision-making (MAGDM) or multiattribute group decision analysis refers to a process of finding the most desirable alternatives from a set of finite alternatives on the basis of a ranking or the collective attribute values of all alternatives, in which the value of each attribute is provided by a group of experts [1]. This process has two critical tasks. This first task is to describe the values of attributes, while the second task is to generate a ranking of all alternatives.

For the description of attribute values, real number is a default tool. But it is usually difficult for an expert to provide the assessment results in the form of crisp values because of ambiguity and incomplete information. To this end, fuzzy set is naturally introduced in MAGDM and becomes a popular tool in this field [2, 3]. To date, more than twenty different types of fuzzy sets have been presented with academia [4], where Atanassov’s intuitionistic fuzzy set (IFS) [5] and interval-valued IFS (IVIFS) [6] are two representative examples. IFS and IVIFS are powerful extensions of Zadeh’s fuzzy set [7] for dealing with vagueness. Both of them have a membership degree (MD) and a nonmembership degree (NMD), which can quantify the degrees of satisfaction and dissatisfaction, respectively. Due to such strong expressiveness, IFSs and IVIFSs have been widely used to express the values of attributes in MAGDM [8]. Many research topics about IFSs and IVIFSs for MAGDM, such as operational rules for the sets [913], fuzzy calculus for the sets [1417], score and accuracy functions of the sets [1822], preference relations of the sets [2326], similarity and distance measures of the sets [2730], aggregation operators (AOs) for the sets [3135], and decision-making approaches based on the sets [3640], have received widespread attention during the past few decades.

Although IFSs and IVIFSs have gained importance and popularity in MAGDM, they can only be leveraged to express the rating values in quantitative aspect (i.e., the numerical rating values). In practical decision-making problems, the rating values may be denoted by other kinds of variables, where linguistic variables are one of the most important types [4145]. For example, selection of a proper 3D printer from a certain number of alternatives to print a specific component is a classic decision-making problem in manufacturing domain. In this problem, the performance parameters of a 3D printer, such as surface roughness, strength, elongation, and hardness, may be described by some of linguistic terms like “small”, “medium”, and “large”. Under such case, IFSs and IVIFSs are not applicable. To address this issue, Chen et al. [46] extended the IFS to the linguistic IFS (LIFS), in which the MD and NMD are represented by linguistic variables. As a result, the rating values in the form of single-valued linguistic terms can be expressed by LIFSs. Because of such expressiveness, LIFSs have been applied to solve decision-making problems by a number of researchers. For example, Li et al. [47] developed a set of new operational rules and entropy for LIFSs; Zhang et al. [48] designed an extended outranking approach for decision-making problems with LIFSs; Liu et al. [49], Garg and Kumar [50], Peng et al. [51], and Teng and Liu [52] presented some AOs for LIFSs; Jin et al. [53] established a decision support model for MAGDM with the preferences relations of LIFSs.

To further improve the expressiveness of LIFS, Garg and Kumar [54, 55] extended it to the linguistic interval-valued IFS (LIVIFS), in which the MD and NMD are quantified by the intervals of linguistic variables. LIVIFS can provide more freedom to experts, because it allows them to describe their preferences using intervals of linguistic terms. Due to such characteristic, Garg and Kumar [55] presented a weighted average (WA) operator, an ordered WA (OWA) operator, a hybrid average (HA) operator, a weighted geometric (WG) operator, an ordered WG (OWG) operator, and a hybrid geometric (HG) operator of linguistic interval-valued intuitionistic fuzzy numbers (LIVIFNs) and applied these operators to solve MAGDM problems; Kumar and Garg [56] presented a prioritised weighted averaging (PWA) operator, a prioritised ordered weighted averaging (POWA) operator, a prioritised weighted geometric (PWG) operator, and a prioritised ordered weighted geometric (POWG) operator and study their applications in MAGDM problems; Liu and Qin [57] presented a weighted Maclaurin symmetric mean (WMSM) operator of LIVIFNs and proposed a new decision-making method based on it; Garg and Kumar presented [58] an extended TOPSIS group decision-making method under LIVIFS environment; Tang et al. [59] developed a procedure for MAGDM with LIVIFSs that can cope with inconsistent and incomplete preference relations of LIVIFSs.

For the generation of a ranking of all alternatives, there are usually two ways. One way is to use conventional decision-making methods (e.g., TOPSIS, VIKOR, and ELECTRE), and the other way is to adopt AOs. Generally, AOs can resolve the MAGDM problems more effectively than conventional methods, because they can generate both the collective attribute values and a ranking of all alternatives, while conventional methods can only provide a ranking [60]. So far, over ten AOs of LIVIFNs have been presented. Representative examples are the WA, OWA, HA, WG, OWG, and HG operators presented by Garg and Kumar [54, 55], the PWA, POWA, PWG, and POWG operators presented by Kumar and Garg [56], and the WMSM operator presented by Liu and Qin [57]. Each of these AOs can work well under its specific circumstance, but none of them can provide desirable generality and flexibility in aggregating attribute values and capturing attribute interrelationships and concurrently reduce the negative influence of extreme attribute values on aggregation result.

In practical decision-making problems, the aggregation of attribute values is a complicated process, in which a set of general and versatile AOs is needed. Further, the attributes considered in the problems are always not independent of each other, but are interrelated. Thus, it is important and useful to use a general, flexible, and effective AO to capture the interrelationships of different attributes for making a reasonable decision [60]. The seven existing AOs, however, are sometimes not versatile and flexible, since all of them are based on a specific type of T-norm and T-conorm (i.e., Algebraic T-norm and T-conorm). Except the WMSM operator, all of the AOs can only deal with the situation in which the attributes are independent of each other or have priority relationships. In addition, the values of attributes are generally evaluated by domain experts. It is usually difficult to ensure the absolute objectivity of this way, which means that some biased experts will provide extreme attribute values [61]. To get a reasonable aggregation result under such circumstance, it is of necessity to reduce the effect of unduly high or unduly low attribute values. But none of the seven existing operators can achieve this. Based on these considerations, the motivations and objectives of the present paper are as follows:(1)To develop a versatile and flexible AO of LIVIFNs, the Archimedean T-norm and T-conorm (ATNTC) operations [62], which can generate versatile and flexible operational rules for fuzzy numbers, are introduced to establish a set of operational rules of LIVIFNs(2)To make the AO have the capability to capture the interrelationships among attributes, the Muirhead mean (MM) operator [63], which is suitable for the situations where all aggregated arguments are independent of each other, where there are interrelationships between any two arguments, and where there are interrelationships among any multiple arguments [64, 65], is selected as the core component of the AO(3)To make the AO capable to reduce the negative influence of biased attribute values on the aggregation result, the power average (PA) operator [66], which has the capability to reduce the negative effect of unreasonable argument values, is combined with the MM operator

Based on the analysis above, this paper aims to present a linguistic interval-valued intuitionistic fuzzy weighted Archimedean power MM operator for MAGDM. This aim is achieved via combining the ATNTC operations, the MM operator, and the PA operator with weights in the context of LIVIFSs. The major contributions of the paper are as follows:(1)A set of general and flexible operational rules of LIVIFNs based on ATNTC operations is developed. The operational rules of LIVIFNs in the existing AOs of LIVIFNs are based on Algebraic T-norm and T-conorm, which are sometimes not versatile and flexible enough. The developed operational rules are based on any types of T-norm and T-conorm. They have satisfying generality and flexibility.(2)A weighted Archimedean power MM operator of LIVIFNs is presented to solve the MAGDM problems based on LIVIFNs. Compared to the existing AOs of LIVIFNs, the presented AO has generality and flexibility in aggregating attribute values and capturing attribute interrelationships and concurrently can reduce the influence of extreme attribute values.

The rest of the paper is organised as follows. A brief introduction of some prerequisites is provided Section 2. Section 3 explains the details of the presented AO of LIVIFNs. A MAGDM method based on the AO is designed in Section 4. Section 5 demonstrates the method and evaluates the AOs. Section 6 ends the paper with a conclusion.

2. Preliminaries

In this section, some prerequisites in LIVIFS theory, operational rules for LIVIFNs, PA operator, and MM operator are briefly introduced to facilitate the understanding of the paper.

2.1. LIVIFS Theory

LIVIFS was extended from IVIFS and LIFS by Garg and Kumar [54, 55]. Its formal definition is as follows.

Definition 1 (see [55]). Let be a continuous linguistic term set (where sh is a possible value for a variable and h is a positive integer, and for any ). A LIVIFS A in a finite universe of discourse (in this paper, the symbol in denotes that the subscript of s is r), where and are subsets of [s0, sh] and, respectively, stand for the linguistic MD and NMD of x to A, and for any x ∈ X. The linguistic intuitionistic index of x to A is .
A pair, , is called a LIVIFN. For convenience, a LIVIFN is denoted as , where , and b + d ≤ h. To compare two LIVIFNs, their scores and accuracies are required, which can be calculated according to the following definitions.

Definition 2 (see [55]). Let α = ([sa, sb], [sc, sd]) be a LIVIFN. Then its score is

Definition 3 (see [55]). Let α = ([sa, sb], [sc, sd]) be a LIVIFN. Then its accuracy isUsing S (α) and A (α), two LIVIFNs can be compared via the following definition.

Definition 4 (see [55]). Let and and be any two LIVIFNs, S (α1) and S (α2) be, respectively, the scores of α1 and α2, and A (α1) and A (α2) be, respectively, the accuracies of α1 and α2. Then, (1) if S (α1) > S (α2), then α1 > α2; (2) if S (α1) = S (α2) and A (α1) > A (α2), then α1 > α2; (3) if S (α1) = S (α2) and A (α1) = A (α2), then α1 = α2.
To calculate the distance between two LIVIFNs, a distance measure of LIVIFNs is required. On the basis of the distance measure of IVIFNs introduced by Xu [67] and the distance measure of LIFNs introduced by Liu and Liu [68], the following distance measure for LIVIFNs is defined.

Definition 5. Let and be any two LIVIFNs. Then, the distance of α1 and α2 isObviously, D(α1, α2) satisfies (1) ; (2) if is an arbitrary LIVIFN, then .

2.2. Operational Rules

Motivated by the concept of T-norm and T-conorm, a set of operational rules for LIVIFNs based on the Algebraic T-norm and T-conorm were presented by Garg and Kumar [54, 55], Kumar and Garg [56], and Liu and Qin [57]. These operational rules are sometimes not very versatile and flexible since they are just based on a specific type of ATNTC. Inspired by the general operational rules for IFNs [69] and q-rung orthopair fuzzy numbers [60] (which are based on any types of ATNTCs), a set of operational rules for LIVIFNs based on ATNTCs is developed. The definition of the operational rules is as follows.

Definition 6. Let , , and be any three LIVIFNs, and r be a real number that satisfies r > 0, the sum, product, multiplication, and power operations of LIVIFNs based on the Archimedean T-norm and its T-conorm can be, respectively, defined as follows:Equations (4)‒(7) are generalised form of the operational rules for LIVIFNs based on ATNTCs. If f and are assigned specific functions, then specific operational rules can be achieved. The following are four examples:(1)If and , then and . Four operational rules for LIVIFNs based on Algebraic T-norm and T-conorm are obtained as follows:(2)If and , then and . Four operational rules for LIVIFNs based on Einstein T-norm and T-conorm are obtained as follows:(3)If and then and . Four operational rules for LIVIFNs based on Hamacher T-norm and T-conorm are obtained as follows:(4)If and , then and . Four operational rules for LIVIFNs based on Frank T-norm and T-conorm are obtained as follows:The operational rules in equations (8)‒(11) are the four operational rules in [5457]. From these examples, it can be seen that the developed operational rules can be used to derive any operational rules based on ATNTCs and the operational rules in [5457] are just one special case of the developed operational rules. Therefore, the developed operational rules are more general and flexible than the operational rules in [5457].

2.3. PA Operator

The PA operator, introduced by Yager [66], has the capability to assign weights to arguments via computing their support degrees. This makes it possible to reduce the negative effect of the unduly high or unduly low argument values on the aggregation result. The formal definition of this operator is as follows.

Definition 7 (see [66]). Let (a1, a2, …, an) be a collection of crisp numbers, (where, is the distance of ai and aj and i, j = 1, 2, …, n and j ≠ i) be the support degree for ai from aj which has the following properties: (1) ; (2) ; (3) if , andThen the aggregation functionis called the PA operator.

2.4. MM Operator

The MM operator was firstly introduced to aggregate crisp numbers by Muirhead [63]. It can capture the interrelationships of arguments and provide a generalised form of several other AOs. The formal definition of the MM operator is as follows.

Definition 8 (see [63]). Let (a1, a2, …, an) be a collection of crisp numbers, (where but not at the same time ) be a collection of n real numbers, p(i) be a permutation of (1, 2, …, n), and Pn be the set of all permutations of (1, 2, …, n). Then the aggregation functionis called the MM operator.
In this operator, whether the interrelationships are considered depends on the values of : (1) if and , then the interrelationships are not considered; (2) if and , then the interrelationships between any two crisp numbers are considered; (3) if and , then the interrelationships among any k crisp numbers are considered. Further, different AOs can be obtained via assigning different values to :(1)If and then the MM operator will reduce to the generalised arithmetic average (GAA) operator. When Q = 1, it will become the arithmetic average (AA) operator.(2)If and , then the MM operator will reduce to the Bonferroni mean (BM) operator.(3)If and , then the MM operator will reduce to the Maclaurin symmetric mean (MSM) operator.(4)If , then the MM operator will reduce to the generalised geometric average (GGA) operator. When Q = 1, it will become the geometric average (GA) operator.

3. Aggregation Operators

In this section, a linguistic interval-valued intuitionistic fuzzy Archimedean power MM (LIVIFAPMM) operator and its weighted form, i.e., a linguistic interval-valued intuitionistic fuzzy Archimedean weighted power MM (LIVIFAWPMM) operator, are presented. The properties of these AOs are explored, and their specific cases are discussed.

3.1. LIVIFAPMM Operator

A LIVIFAPMM operator is an AO of LIVIFNs constructed via combining the PA operator and the MM operator under linguistic interval-valued intuitionistic fuzzy environment. The operations in this operator are based on ATNTCs. The formal definition of the operator is as follows.

Definition 9. Let (where ) be a collection of n LIVIFNs, (where but not at the same time ) be a collection of n real numbers that, respectively, correspond to be a permutation of (1, 2, …, n), Pn be the set of all permutations of (1, 2, …, n), and be, respectively, the sum and product operations of αi and αj based on ATNTCs, k and (k = 1, 2, …, n; r > 0) be, respectively, the multiplication and power operations of αk based on ATNTCs, (where is the distance of αi and αj and i, j = 1, 2, …, n and j ≠ i) be the support degree for αi from αj which satisfies , , and if , andThen the aggregation functionis called the LIVIFAPMM operator.
In this operator, the values of Qi are used to capture the interrelationships of the aggregated LIVIFNs: (1) if and , then the LIVIFNs are independent of each other; (2) if and , then the interrelationships between any two LIVIFNs are considered; (3) if and , then the interrelationships among any k LIVIFNs are considered.
According to equations (4)‒(7) and (28), the following theorem is obtained.

Theorem 1. Let (where ) be a collection of n LIVIFNs. Thenand it is still a LIVIFN, whereand ξp(i) is a PA factor that can be computed by

For the details regarding the proof of this theorem, please refer to Appendix A. The following three theorems respectively state the idempotency, commutativity, and boundedness of the LIVIFPMM operator.

Theorem 2 (idempotency). Let (where ) be a collection of n LIVIFNs. If for all , then .

Theorem 3 (commutativity). Let (where ) be a collection of n LIVIFNs. If is any permutation of , then .

Theorem 4 (boundedness). Let (where ) be a collection of n LIVIFNs, , and , Then .

For the details regarding the proofs of these three theorems, please refer to Appendices B–D, respectively.

Equation (29) is a generalised form of the LIVIFAPMM operator. If specific functions are assigned to f and , then specific operators can be constructed. For example, if the additive generators of Algebraic T-norm and T-conorm [60, 69] are, respectively, assigned to f and , i.e., f(t) = −In(t/h) and  = −In(1−t/h), then a linguistic interval-valued intuitionistic fuzzy power MM (LIVIFPMM) operator is constructed:

This operator has the following special cases:(1)If and , then the LIVIFPMM operator will reduce towhich is a linguistic interval-valued intuitionistic fuzzy power GAA (LIVIFPGAA) operator. When Q = 1, it will becomewhich is a linguistic interval-valued intuitionistic fuzzy power AA (LIVIFPAA) operator.(2)If and then the LIVIFPMM operator will reduce towhich is a linguistic interval-valued intuitionistic fuzzy power BM (LIVIFPBM) operator.(3)If and , then the LIVIFPMM operator will reduce towhich is a linguistic interval-valued intuitionistic fuzzy power MSM (LIVIFPMSM) operator.(4)If , then the LIVIFPMM operator will reduce towhich is a linguistic interval-valued intuitionistic fuzzy power GGA (LIVIFPGGA) operator. When Q = 1, it will becomewhich is a linguistic interval-valued intuitionistic fuzzy power GA (LIVIFPGA) operator.

Similarly, if the additive generators of other (e.g., Einstein, Hamacher, Frank) ATNTCs [60, 69] are, respectively, assigned to f and , then other specific operators can be constructed according to equation (29).

3.2. LIVIFAWPMM Operator

The LIVIFAPMM operator has advantages in having desirable generality and flexibility, capturing the complex interrelationships of LIVIFNs, and reducing the negative effect of unreasonable LIVIFNs on the aggregation result. But it does not consider the relative importance of each aggregated LIVIFN. To this end, weights are introduced and a LIVIFAWPMM operator is presented. The formal definition of this operator is as follows.

Definition 10. On the basis of Definition 9, let be, respectively, the weights of such that and . Then the aggregation functionis called the LIVIFAWPMM operator.
In this operator, the function of Qi is the same as the function of Qi in the LIVIFAPMM operator (see equation (28)).
According to equations (4)‒(7) and (39), the following theorem is obtained.

Theorem 5. Let (where ) be a collection of n LIVIFNs. Thenand it is still a LIVIFN, whereand ξp(i) is a PA factor that can be computed by equation (31).

The proof of Theorem 5 is similar to the proof of Theorem 1 (see Appendix A) and is omitted here. The following two theorems, respectively, state the commutativity and boundedness of the LIVIFAWPMM operator (it is worth nothing that the LIVIFAWPMM operator no longer has the property of idempotency due to the introduce of weights).

Theorem 6 (commutativity). Let (where ) be a collection of n LIVIFNs. If is any permutation of , then LIVIFAWPMMQ = LIVIFAWPMMQ.

Theorem 7 (boundedness). Let (where ) be a collection of n LIVIFNs, , and . Then .

The proofs of these theorems are, respectively, similar to the proofs of Theorems 3 (see Appendix C) and 4 (see Appendix D) and are omitted here.

Equation (40) is a generalised form of the LIVIFAWPMM operator. If specific functions are assigned to f and , then specific operators can be constructed. For example, if the additive generators of Algebraic T-norm and T-conorm [60, 69] are, respectively, assigned to f and , i.e., and , then a linguistic interval-valued intuitionistic fuzzy weighted power MM (LIVIFWPMM) operator is constructed:

This operator has the following special cases:(1)If and , then the LIVIFWPMM operator will reduce towhich is a linguistic interval-valued intuitionistic fuzzy weighted power GAA (LIVIFWPGAA) operator. When Q = 1, it will becomewhich is a linguistic interval-valued intuitionistic fuzzy weighted power AA (LIVIFWPAA) operator.(2)If and , then the LIVIFWPMM operator will reduce towhich is a linguistic interval-valued intuitionistic fuzzy weighted power BM (LIVIFWPBM) operator.(3)If and , then the LIVIFWPMM operator will reduce towhich is a linguistic interval-valued intuitionistic fuzzy weighted power MSM (LIVIFWPMSM) operator.(4)If , then the LIVIFWPMM operator will reduce towhich is a linguistic interval-valued intuitionistic fuzzy weighted power GGA (LIVIFWPGGA) operator. When Q = 1, it will becomewhich is a linguistic interval-valued intuitionistic fuzzy weighted power GA (LIVIFWPGA) operator.

Similarly, if the additive generators of other (e.g., Einstein, Hamacher, and Frank) ATNTCs [60, 69] are, respectively, assigned to f and , then other specific operators can be constructed according to equation (40).

4. MAGDM Method

In this section, an MAGDM method based on the LIVIFAWPMM operator is designed to resolve the MAGDM problems based on LIVIFNs.

In general, a MAGDM problem based on LIVIFNs can be formalised by a set of options , a set of attributes , a vector of weights of attributes such that and , a set of experts , a vector of weights of experts such that and , and L linguistic interval-valued intuitionistic fuzzy decision matrices such that is a LIVIFN that denotes the evaluation value of Aj with respect to Oi provided by Eh. Based on these components, the MAGDM problem can be formalised as determining the optimal option according to a ranking of all options in O based on A, Mh, w, and ϖ. Using the LIVIFAWPMM operator, the problem is solved according to the following steps:(1)Normalise the linguistic interval-valued intuitionistic fuzzy decision matrices Mh. To balance the physical dimensions of the rating values in Mh, they are normalised aswhere denotes “if is a benefit attribute” and denotes “if is a cost attribute.”(2)Compute the power weights of The power weights of are calculated usingwhere is the distance of and ( and ) that can be calculated via equation (3).(3)Compute the collective values of αh,i,j. Taking the matrices Nh and the set ϖ as input, the collective values of αh,i,j are calculated usingwhere LIVIFAWPMM is an arbitrary specific LIVIFAWPMM operator (for example, it can be the LIVIFWPMM operator in equation (42)), and the values of are assigned as and since the rating values of different experts should generally be mutually independent.(4)Compute the power weights of . The power weights of are calculated usingwhere is the distance of and that can be calculated via equation (3).(5)Calculate the collective values of . The collective values of are computed usingwhere LIVIFAWPMM is the same specific operator used in equation (51), and the values of are determined by identifying the interrelationships of the n attributes in A. If n attributes are mutually independent, then and . If there are interrelationships between any two attributes, then and . If there are interrelationships among any , and .(6)Compute the scores and accuracies of αi. The scores and accuracies of αi are calculated using equations (1) and (2), respectively.(7)Generate a ranking of Oi. According to the scores and accuracies of αi and the comparison rules in Definition 4, a ranking of Oi is generated.(8)Determine the optimal option. The optimal option is determined according to the ranking.

5. Example, Experiments, and Comparisons

In this section, a practical example is firstly used to illustrate the designed MAGDM method. Then a set of test experiments are carried out to validate the method and explore the effects of different values of Q on the aggregation and ranking results. Finally, qualitative and quantitative comparisons between the presented AO and the existing AOs are reported to show the characteristics and advantages of the presented AO.

5.1. Example

Three-dimensional (3D) printing refers to a series of emerging manufacturing technologies that build 3D physical objects from 3D model data, in which materials are stacked layer by layer through a specific process like sintering, melting, jetting, and lamination. A well-known characteristic of 3D printing technologies compared with traditional manufacturing technologies is that they can be used to fabricate 3D objects with complicated geometric structures and heterogeneous materials without additional cost. Due to such characteristic, the study and application of 3D printing technologies have received extensive attention from the academia and industry. Some even believed that 3D printing technologies would trigger a new round of manufacturing revolution.

The existing 3D printing technologies can be divided into vat photopolymerisation, material jetting, binder jetting, powder bed fusion, material extrusion, directed energy deposition, and sheet lamination. Based on these technologies, over one thousand different industrial 3D printers have been developed and identified in the market so far. A controversy regarding which printer is better than the others is meaningless, as each printer has its own features and application range. However, research on the selection of a suitable printer from a specific number of alternative printers for printing a specific component is nontrivial. This is because such selection needs a comprehensive understanding of the features of all alternative printers and a dynamic interaction with the quality of the built component, while most users lack such knowledge and experience. In addition, different printers could have similarities or overlaps at features, which brings certain difficulties to the selection objectively.

To offer an effective tool for selection of 3D printers, many different kinds of methods have been presented, where methods based on multiattribute decision-making (MADM) are one of the most important kinds. This kind of methods determine appropriate printers by synthetically assessing the values of multiple interrelated attributes of all alternative printers, which are usually achieved from experiments or simulations or provided by domain experts. It is generally difficult to ensure the absolute objectivity of these ways. This means that there could be some attributes values having “noise.” To achieve reasonable selection result in this case, it is of necessity to capture the interrelationships of the attributes and concurrently reduce the influence of the attributes values having “noise.” But there is yet no evidence that any of the existing MADM-based methods for 3D printer selection have such capabilities. The proposed MAGDM method can meet this requirement when the values of attributes of all alternative printers are quantified by LIVIFNs. The following is an illustrative example about the application of the proposed method in the 3D printer selection.

In this example, a user needs to select a proper printer from four alternative printers, denoted as P1, P2, P3, and P4, to print a component using a specific material. The user invited three experienced domain experts, denoted as E1, E2, and E3, to evaluate the four alternative printers based on four attributes, which are the surface roughness (A1), strength (A2), elongation (A3), and hardness (A4) of the built component. The relative importance of the three experts is quantified by ϖ = [0.4, 0.3, 0.3]. The relative importance of the four attributes is measured by w = [0.1, 0.3, 0.3, 0.3]. In the evaluation, the three experts were asked to use LIVIFNs. The available linguistic variables are extremely small (s0), very small (s1), small (s2), slightly small (s3), medium (s4), slightly large (s5), large (s6), very large (s7), and extremely large (s8). The evaluation results of the three experts are, respectively, listed in the following three matrices:

According to the conditions above, the determination can be carried out leveraging the designed MAGDM method. Its process includes the following steps:(1)Normalise the fuzzy decision matrices Mh (h = 1, 2, 3). Since surface roughness is cost attribute and strength, elongation, and hardness are benefit attributes, the fuzzy decision matrices M1, M2, and M3 are, respectively, normalised as follows:(2)Compute the power weights of . According to equation (50), the power weights of αh,i,j are calculated and listed in the following matrices:(3)Compute the collective values of αh,i,j. Taking Nh and ϖ as input, the collective values of αh,i,j can be calculated using equation (51). Here, the LIVIFWPMM operator in equation (42) (when adapting the operator, Q = (1, 0, 0)) is used in the calculation. The calculated results are listed in the following matrix:(4)Compute the power weights of αi,j. According to equation (52), the power weights of αi,j are calculated and listed in the following matrix:(5)Calculate the collective values of αi,j. The collective values of αi,j can be computed according to equation (53). Since the LIVIFWPMM operator in equation (42) has been leveraged in the third step, this operator (when adapting the operator, Q = (1, 2, 3, 4), i.e., there are interrelationships among the four attributes) is also used in this step to complete the calculation. The calculated results are listed as follows:(6)Compute the scores and accuracies of αi. According to equations (1) and (2), the scores and accuracies of αi are calculated and, respectively, listed as follows:(7)Generate a ranking of Pi. According to the scores and accuracies of αi and the comparison rules in Definition 4, a ranking of Pi is generated as .(8)Determine the best printer. According to the ranking, the best 3D printer is determined as printer P1.

5.2. Experiments
5.2.1. Validation Experiments

To demonstrate the effectiveness of an MADM method, Wang and Triantaphyllou [70] presented the following three test criteria:(1)Criterion 1: “An effective MADM method should not change the place of the best option in the generated ranking when a nonoptimal option is replaced by a new worse option under the condition that the weight of each attribute remains unchanged”(2)Criterion 2: “The rankings of options generated by an effective MADM method should be transitive”(3)Criterion 3: “If a MADM problem is decomposed into several sub MADM problems and the same MADM method is used in the problem and its sub problems, then a collective ranking of all sub MADM problems should be the same as the ranking of the undecomposed MADM problem.”

According to these three criteria, thirteen test experiments using the practical example were designed and carried out. The options included in each of the thirteen experiments are listed in Table 1. In Experiments 1, 2, and 3, the nonoptimal options P2, P3, and P4 are, respectively, replaced by the new worse options , whose evaluation results are listed in Table 2. Using the designed method, the rankings of Experiments 1, 2, and 3 can be generated and are shown in Table 1. From the generated rankings, it can be seen that the best options in them remain unchanged. Thus, the designed method can meet Criterion 1.

The remaining ten test experiments (i.e., Experiments 4−13) aim to solve all sub MAGDM problems of the MAGDM problem in the practical example. Using the designed method, the rankings of these experiments can be generated and are also shown in Table 1. From the rankings of Experiments 2, 4, 7, and 10, Experiments 4, 6, 8, and 11, Experiments 5, 6, 9, and 12, and Experiments 7, 8, 9, and 13, it can be seen that transitivity is satisfied. Therefore, the designed method can meet Criterion 2. In addition, if the rankings of Experiments 4−9 or Experiments 10−13 are combined, then the same collective ranking will be obtained, which is exactly the ranking of the undecomposed MAGDM problem. From this point of view, the designed method can also meet Criterion 3.

In summary, the designed method is effective for resolving the practical MAGDM problems since it can meet all of the three test criteria.

5.2.2. Exploration Experiment

To show the influence of different values of Q on the aggregation and ranking results, a test experiment using the practical example was designed and carried out. In this experiment, Q was respectively assigned (1, 0, 0, 0), (2, 0, 0, 0), (3, 0, 0, 0), (4, 0, 0, 0), (1, 1, 0, 0), (1, 2, 0, 0), (1, 3, 0, 0), (1, 4, 0, 0), (1, 1, 1, 0), (1, 2, 3, 0), (1, 1, 1, 1), (2, 2, 2, 2), (3, 3, 3, 3), (4, 4, 4, 4), and (1, 2, 3, 4) when calculating the collective values of αi,j in Step (5) in the example. Based on these different values of Q, the LIVIFWPMM operator will reduce to different operators, which are, respectively, listed in Table 3. The results of the experiment are the computed scores of αi and the generated ranking of Pi under each Q, which are also listed in Table 3. As can be seen from the table, the rankings of the four 3D printers generated by the proposed method may have difference, in the situations where (1) all of the four attributes are independent of each other, (2) there are interrelationships between any two attributes, (3) there are interrelationships among any three attributes, and (4) there are interrelationships among the four attributes. This indicates that the presented LIVIFWPMM operator has the capability and generality to capture the interrelationships of attributes. In practical application of the operator, Q is recommended to take (1, 0, 0, 0), (1, 2, 0, 0), (1, 2, 3, 0), and (1, 2, 3, 4) under the four situations, respectively.

5.3. Comparisons

As mentioned in the introduction, representative AOs of LIVIFNs are the WA, OWA, HA, WG, OWG, and HG operators presented by Garg and Kumar [54, 55], the PWA, POWA, PWG, and POWG operators presented by Kumar and Garg [56], and the WMSM operator presented by Liu and Qin [57]. In this subsection, qualitative and quantitative comparisons between these AOs and the presented AO of LIVIFNs are carried out to evaluate the presented AO:(1)Qualitative Comparison. This comparison was carried out via comparing the characteristics of the AOs. For the twelve AOs above, the generality and flexibility in aggregating the values of attributes, the generality in capturing the interrelationships of attributes, and the capability to reduce the effect of biased attribute values are selected as the comparison characteristics. The results of the comparison, as shown in Table 4, are explained as follows.(a)Generality and Flexibility in Aggregating the Values of Attributes. Among the twelve AOs, the WA, OWA, HA, WG, OWG, HG, PWA, POWA, PWG, POWG, and WMSM operators perform the aggregation using the Algebraic T-norm and T-conorm, their generality and flexibility are relatively limited. Such characteristics of the presented Archimedean weighted power Muirhead mean (AWPMM) operator are satisfying since the aggregation in it can be performed by any types of ATNTCs (e.g., Algebraic, Einstein, Hamacher, and Frank T-norms and T-conorms).(b)Generality in Capturing the Relationships of Attributes. The WA, OWA, HA, WG, OWG, HG, WMSM, and AWPMM operators are suitable for the case where all aggregated attributes are independent of each other. In addition, the WMSM and AWPMM operators can also be applicable in the situations where there are interrelationships between any two attributes and where there are relationships among any multiple attributes, because they, respectively, use the all-in-one MM and MSM operators for capturing interrelationships. It should be noted that MM is more generalised than MSM since MSM is just a special case of MM. From this point of view, the AWPMM operator is more generalised than the WMSM operator. The PWA, POWA, PWG, and POWG operators are specifically presented for dealing with the situation where the attributes are in different priority levels. They are totally different from other AOs from the perspective of application range.(c)Capability to Reduce the Effect of Biased Attribute Values. Among the twelve AOs, only the AWPMM operator has this capability due to the combination of the PA operator.(2)Quantitative Comparison. This comparison was carried out using the practical examples in the present paper and in [55, 57] as benchmarks. In the comparison, the WA and WG operators were selected as the AOs for the method of Garg and Kumar [55]. The PWA and PWG operators were chosen as the AOs for the method of Kumar and Garg [56]. The given weights in the three examples were directly used as the priority weights of the PWA and PWG operators to make the input of all comparison operators the same (it should be pointed out that the PWA and PWG operators will, respectively, reduce to the WA and WG operators in this case). The method of Liu and Qin [57] and the proposed method respectively used the WMSM operator and the weighted power MM (WPMM) operator (see equation (42)). Moreover, the same score function (i.e., the function in equation (1)) was used in all of these operators for easy comparison. The details and results of the comparison are listed in Table 5.

As can be seen from Table 5, the best option of the designed method is exactly the same as the best option of the method of Liu and Qin for all examples. This is mainly because the two methods are the most similar in nature (see Table 4). From this result, it can be observed that the designed method is feasible and effective for solving practical decision-making problems based on LIVIFNs. In addition, the rankings of the methods of Garg and Kumar and Kumar and Garg are different from that of the method of Liu and Qin and the designed method at the first and second places for the example in [57]. The reason is that the interrelationships in the former methods are set as “all attributes are independent of each other” and those in the latter two methods are set as “there are interrelationships among any three attributes.”

From the qualitative comparison above, the advantage of combination of the PA and MM operators is providing generality in capturing the interrelationships of attributes and capability to reduce the effect of biased attribute values. Such advantage cannot be intuitively seen from the comparison results in Table 5. To explicitly show the advantage, two additional quantitative comparison experiments were carried out. The first experiment aims to show the generality in capturing attribute relationships. In this experiment, the practical examples in the present paper and in [55, 57] were used to compare the proposed method and the methods of Garg and Kumar, Kumar and Garg, and Liu and Qin. Given the following are five assumptions: (a) all attributes are independent of each other; (b) there are interrelationships between any two attributes; (c) there are interrelationships among any three attributes; (d) there are interrelationships among any four attributes; (e) there are interrelationships among any five attributes (only for the example in [57]). The applicability of the four comparison methods and the results of the experiment are shown in Table 6. It can be intuitively seen from the table that the methods of Garg and Kumar and Kumar and Garg are applicable only under assumption a, while both the method of Liu and Qin and the designed method can be applied to generate ranking results under all assumptions. This indicates that both of the latter two methods have the generality in capturing the interrelationships of attributes.

The second experiment aims to show the capability to reduce the influence of extreme attribute values. In this experiment, the practical example in the present paper is used to compare the proposed method and the method of Liu and Qin, which have difference only in whether combining the PA operator when Q = (1, 0, 0, 0) and k = 1 and Q = (1, 1, 1, 0) and k = 3 for the example. It is assumed that the value of attribute A2 of printer P1 evaluated by expert E1 (i.e., α1,1,2) is a biased attribute value. This value was constantly adjusted from high to low, as listed in the first column of Table 7. The change of the relative importance (i.e., weight) of α1,1,2 with respect to the adjusted value is also shown in Table 7. As can be intuitively seen from the table, the weight of α1,1,2 becomes smaller and smaller as the value of α1,1,2 changes from high to low in the proposed method, while it remains the same in this process in the method of Liu and Qin. The greater the change of the value of α1,1,2, the greater the bias. The relative importance of the value should be dynamically decreased to reduce the effect of this extreme value. From the comparison results, only the proposed method has such capability. That is, the method can reduce the effect of biased attribute values.

On the basis of the comparisons above, the advantages of the designed method over the methods of Garg and Kumar, Kumar and Garg, and Liu and Qin are summarised as follows:(1)Compared to the methods of Garg and Kumar and Kumar and Garg, the designed method is generalised and flexible for aggregation of attribute values and handling of attribute relationships and concurrently has the capability to reduce the influence of the distortion of attribute values.(2)Compared to the method of Liu and Qin, the designed method has desirable generality and flexibility in aggregation of attribute values and can reduce the influence of the biased attribute values on aggregation result.

6. Conclusion

In this paper, a LIVIFAPMM operator and a LIVIFAWPMM operator have been presented to solve the MAGDM problems based on LIVIFNs. The generalised expressions of the two operators have been established. Their properties have been explored and proved and specific expressions have been constructed using the operational rules of LIVIFNs based on the Algebraic T-norm and T-conorm. On the basis of the presented LIVIFAWPMM operator, a method for resolving the LIVIFN-based MAGDM problems has been proposed. The paper has also introduced a practical example to illustrate the proposed method and reported a set of experiments and comparisons to evaluate it. The results of the experiments and comparisons suggest that the method is feasible and effective which has advantages in providing the generality and flexibility in aggregation of attribute values and capturing of attribute interrelationships and the capability to reduce the effect of the deviation of attribute values. Two main limitations of the proposed method are that the method has not captured the risk attitudes of decision makers and it cannot work properly under incomplete attribute information. Future work will focus especially on addressing these limitations. In addition, the application of the method in real MAGDM problems may also be studied.

Appendix

A. Proof of Theorem 1

Proof. To prove , we need to prove equation (28) =  . The proof process is as follows.
According to the operational rule in equation (6), we haveAccording to the operational rule in equation (7), we can obtainAccording to the operational rule in equation (5), we haveAccording to operational rule in equation (4), we can obtainAccording to operational rule in equation (6), we haveThe following equation is obtained according to the operational rule in equation (7):This completes the proof of the theorem.

B. Proof of Theorem 2

Proof:. Since for all i = 1, 2, …, n, we have D(αi, αj) = 0 for all j = 1, 2, …, n and j ≠ i. According to equation (27), we further haveAccording to Theorem 1, we can obtainSince , we haveWe further haveThen, we can obtainThat is . Similarly, we can prove , and . Thus, we have , which completes the proof of the theorem.

C. Proof of Theorem 3

Proof:. Since is any permutation of , we haveThus, we can obtain , which completes the proof of the theorem.

D. Proof of Theorem 4

Proof:. According to Theorem 2, we have , , and for both and . Because and is monotonically increasing, we can obtainBecause is monotonically increasing, we haveSince f(x) is monotonically decreasing, we can obtainBecause f−1(t) is monotonically decreasing, we haveSince is monotonically increasing, we can obtainBecause is monotonically increasing, we haveSince f(x) is monotonically decreasing, we can obtainBecause f−1(t) is monotonically decreasing, we haveThat is . Similarly, we can prove , , and . According to Definitions 2 and 4, we can obtain , and thus . This completes the proof of the theorem.

Data Availability

The Java implementation code of all quantitative comparison methods and related data used to support the findings of this study have been deposited in the GitHub repository (https://github.com/YuchuChingQin/AOsOfLivifns).

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

The authors would like to acknowledge the financial support by the National Natural Science Foundation of China (nos. 51765012 and 61562016) and the Key Laboratory Project of Guangxi (no. GIIP1805).