Some Novel Picture 2-Tuple Linguistic Maclaurin Symmetric Mean Operators and Their Application to Multiple Attribute Decision Making

Abstract

When solving multiple attribute decision making (MADM) problems, the 2-tuple linguistic variable is an effective tool that can not only express complex cognitive information but also prevent loss of information in calculation. The picture fuzzy set (PFS) has three degrees and has more freedom to express cognitive information. In addition, Archimedean t-conorm and t-norm (ATT) can generalize most existing t-conorms and t-norms and Maclaurin symmetric mean (MSM) operators can catch the relationships among the multi-input parameters. Therefore, we investigate several novel aggregation operators, such as the picture 2-tuple linguistic MSM (2TLMSM) operator based on the ATT (ATT-P2TLMSM) and the picture 2-tuple linguistic generalized MSM (2TLGMSM) operator based on ATT (ATT-P2TLGMSM). Considering that the input parameters have different importance, we proposed picture 2-tuple linguistic weighted MSM (2TLWMSM) operators based on ATT (ATT-P2TLWMSM) and picture 2-tuple linguistic weighted generalized MSM (2TLWGMSM) operators based on ATT (ATT-P2TLWGMSM). Finally, a MADM method is introduced, and an expositive example is presented to explain the availability and applicability of the developed operators and methods.

1. Introduction

The multiple attribute decision making (MADM) problem is a significant area of decision science, whose theories and methods are widely used in engineering, economics, management, the military and many other fields. Generally, decision makers will provide an evaluation of each alternative for every attribute or criterion according to their own cognitive beliefs. The main task of solving MADM problems is sorting a group of choices and finding the best one based on decision information provided by decision makers.

Since being proposed by Zadeh [1] in 1965, fuzzy theory has been widely used with applications in various areas. However, the fuzzy theory can only express membership—Non-membership cannot be represented. The intuitionistic fuzzy set (IFS) presented by Atanassov [2], which is an important extension of traditional fuzzy sets, contains membership degree and non-membership degree. Because of the ambiguity of objects and the uncertainty of human thought and cognition, decision makers have difficulty using crisp numbers to evaluate relevant decision making problems, such as student assessment and car performance evaluation. Decision makers are more accustomed to making evaluations directly in linguistic terms, such as good, generally, and not good. Therefore, many methods and models have been developed to solve real problems based on linguistic variables [3,4,5,6]. For example, since the type 2 fuzzy sets (T2FSs) could better represent the indeterminacy and simplify the calculation process, the interval type 2 hesitant fuzzy sets (IT2HFSs) can reflect the uncertainty of inaccurate information more effectively. Deveci et al. [7] proposed a method including T2FSs and the IT2HFSs to access airlines’ service quality. Finally, accurate data results and practical implications were obtained.

Herrera and Martinez [8] proposed the concept of 2-tuples made up of a linguistic variable and a numerical value to prevent loss of information when addressing MADM problems. Subsequently, many operators and methods based on 2-tuples have been proposed. On the basis of the power average (PA) operator, Xu and Wang [9] studied several 2-tuple linguistic power average (2TLPA) operators which could alleviate the impact of partial arguments on the aggregated consequences. Furthermore, the method proposed in the paper considered all the decision parameters and the interrelationships of each other. However, there is a slight disadvantage in that it ignores the relationship between the two parameters. In addition, considering the significance of different parameters, a 2-tuple linguistic weighted PA (2TLWPA) operator was proposed. Wei and Zhao [10] came up with series aggregation operators according to 2-tuple linguistic information and a dependent operator that eliminates the influence of unjust 2-tuple linguistic parameters on the aggregation results. Jiang and Wei [11] developed a 2-tuple linguistic Bonferroni mean (2TLBM) operator based on the Bonferroni mean (BM)operator and a 2-tuple linguistic weighted BM (2TLWBM) operator to account for the different importance of the input parameters. Merigó et al. [12] introduced some aggregation operators based on 2-tuple linguistic information that provide a more complete understanding of the situation being considered. Moreover, the authors also studied the applicability of the novel method in different fields. A modified composite scale that can enhance the precision of decision making was developed by Wang et al. [13] to overcome the limitation of the 2-tuple linguistic representation model. Qin and Liu [14] proposed several operators based on 2-tuple linguistic information and the Muirhead mean (MM) operator. It is known as a mean type aggregation operator that can utilize the intact relation between the multi-input parameters. Meanwhile, they applied the method proposed in the paper for supplier selection.

As the decision environment and content become increasingly complex, the use of 2-tuple linguistic variables alone fails to accurately describe ambiguous and fragmentary cognitive information. Cuong [15] developed the picture fizzy set (PFS) to express uncertain cognitive information characterized by three degrees: A positive membership degree $\mu \left(x\right)$, a neutral membership degree $\nu \left(x\right)$ and a negative membership degree $\eta \left(x\right)$. Therefore, PFS allows several types of answers when solving decision making problems, such as yes, abstain, no, and refusal. Many research achievements have been made in the field of PFS theory. Singh [16] applied the correlation coefficient to clustering analysis where the attribute values are in the form of PFS. Because the PFS contains more information about people’s evaluation than IFS, the proposed correlation coefficients are a further generalization of IFSs. Yang et al. [17] proposed picture fuzzy soft sets and studied their relevant properties. In particular, there is a method based on adjustable soft discernibility matrix which could obtain a sequential relationship between all objects. Son [18] proposed a generalized distance measure for pictures and the method of hierarchical picture clustering (HPC). Wei [19] proposed picture fuzzy cross entropy to address the MADM problem which can reflect the fuzziness of subjective judgment easily. Thong and Son [20] developed a novel hybrid model including picture fuzzy clustering and intuitionistic fuzzy recommender systems that are applicable to health care support systems. These models not only improve the accuracy of medical diagnosis but also guarantee the development of a medical security system. But the limitations of these models are the time complexity and the capability of the model when new patients are added to the system.

Archimedean t-norms and t-conorms (ATT) are types of t-norms and t-conorms that have become important tools for explaining the conjunction, and the operational rules have been defined. Beliakov et al. [21] used ATT to calculate the IFS, thus simplifying and extending the existing constructions. Liu [22] developed single-valued neutrosophic number operators based on ATT which are able to extend to most of the existing t-norms and t-conorms and single-valued neutrosophic numbers (SVNNs). Liu [23] developed some operators based on ATT and PFS and studied several properties and particular cases of the operators.

The aggregation operator is a crucial tool for addressing MADM problems. Many effective aggregation operators have been developed for situations where the input arguments have some relations. Yager [24] introduced the PA operator. In the process of aggregation, parameter values support each other. Tan and Chen [25] investigated the induced Choquet ordered averaging (I-COA) operator and demonstrated its relationship to the induced ordered weighted averaging operator. Bonferroni [26] developed the Bonferroni mean (BM) operator, which can effectively address the relationships among input parameters. Liu et al. [27] presented several intuitionistic uncertain linguistic Bonferroni OWA (IULBOWA) operators that can aggregate max and min operators and introduced relevant score functions, accuracy functions, and comparative methods. Li and Liu [28] proposed novel aggregation operators according to the Heronian mean (HM) operator that considered the interrelationships of attribute values. BM and HM operators can only account for relationships between input arguments and not the correlation between multiple arguments. To overcome this limitation, Maclaurin [29] proposed a Maclaurin symmetric mean (MSM) operator to capture the relationships among multiple input arguments. Qin and Liu [30] solved MADM problems based on MSM operators under a hesitant fuzzy environment. Wang et al. [31] extended MSM aggregation operators with single-valued neutrosophic linguistic variables and developed methods for multiple-criteria decision making (MCDM). Wei and Lu [32] proposed the Pythagorean fuzzy MSM (PFMSM) and Pythagorean fuzzy weighted MSM (PFWMSM) operators and discussed their desirable properties. Liu and Zhang [33] extended MSM operators with the single-valued trapezoidal neutrosophic number (SVTNNs) to not only account for the correlation between multi-input arguments but also conveniently depict uncertain information in the decision making process.

Inspired by the above analysis, although the PFS can address complex and uncertain problem flexibly, PFS has difficulty expressing cognitive information. Therefore, we use the picture 2-tuple linguistic set based on PFS and 2-tuple linguistic information to address MADM problems, thereby overcoming the above limitation and preventing loss of information in the calculation and aggregation processes. In addition, we apply the ATT to address MADM problems described by picture 2-tuple linguistic numbers (P2TLNs). Then, we extend MSM operators under a P2TLN environment, such as ATT-P2TLMSM and ATT-P2TLGMSM, to capture the interrelationships among multiple input parameters. In cases where the input parameters have different significances, ATT-P2TLWMSM and ATT-P2TLGWMSM are proposed. Based on the above operators, we propose a method to handle MADM problems.

The framework of this paper is as follows. In Section 2, we explain several basic concepts and theories. In Section 3, a novel operation for picture 2-tuple linguistic sets based on ATT is proposed. In Section 4, we develop novel P2TLMSM operators. In Section 5, we present models based on the ATT-P2TLWMSM operator and the ATT-P2TLGWMSM operator to solve the MADM problems. Finally, an expositive instance is provided in Section 6.

2. Preliminaries

2.1. 2-Tuple Linguistic Term Sets

Let $S=\left\{s_i|i=1,2,\dots ,l\right\}$ be a linguistic term set, where $l$ is an odd number; for instance, when $l$ = 7, $S$ is defined as $S=\left\{s_1=particularly bad,s_2=bad,s_3=slightly bad,s_4=medium,s_5=slightly good,s_6=good,s_7=particularly good\right\}$. Every label $s_i$ of $S$ is a feasible value of a linguistic variable, and the following characteristics should be satisfied [6,28,34]:

(1)

If and only if $i\prec j$, then $s_i\prec s_j$.

(2)

$neg(s_i)=s_{l-i-1}$ is the negation operator.

(3)

If $i\ge j$, then $\max (s_i,s_j)=s_i$.

(4)

If $i\le j$, then $\min (s_i,s_j)=s_i$.

To process fuzzy linguistic information effectively, Herrera and Martinez [8] developed a 2-tuple fuzzy linguistic representation model via symbolic translation to perform computations with words. Next, we provide several relevant definitions.

Definition 1.

[8,28,35] Let $S=\left(s_0,s_1,\dots ,s_{l-1}\right)$ be a linguistic term set and $\beta$ be a real number in $[0,l-1]$ based on the calculation result of a symbolic aggregation operation. Then, the function $\Delta$ used to obtain the 2-tuple corresponding to the elements in $S$ is defined as:

$$\Delta :\left[0,l-1\right]\to S\times \left[-0.5,0.5\right)$$

$$\Delta (\beta )=(s_i,\alpha )$$

(1)

where$i=round\left(\beta \right)$,$\alpha =\beta -i$,$\alpha \in \left[-0.5,0.5\right)$, and$round(.)$is the usual rounding operation.

Definition 2.

[8,28,35] Let $S=\left(s_0,s_1,\dots ,s_{l-1}\right)$ be a linguistic term set and $\left(s_i,{\alpha }_i\right)$ be a 2-tuple. There is a function ${\Delta }^{-1}$ that can obtain $\beta \in \left[0,l-1\right]$ based on the 2-tuple, that is:

$${\Delta }^{-1}:S\times \left[-0.5,0.5\right)\to \left[0,l-1\right]$$

$${\Delta }^{-1}\left(s_i,\alpha \right)=i+\alpha =\beta$$

(2)

From the above definitions, it is clear that a value of 0 must be added as symbolic translation to convert a linguistic term into a linguistic 2-tuple:

$$\Delta \left(s_i\right)=\left(s_i,0\right)$$

(3)

2.2. Picture Fuzzy Set

Definition 3.

[15] Let $X$ be a fixed universe; a picture fuzzy set (PFS) $P$ on $X$ is defined as $P=\left\{\langle x,{\mu }_P\left(x\right),{\eta }_P\left(x\right),{\nu }_P\left(x\right)\rangle |x\in X\right\}$, where ${\mu }_P\left(x\right)\in \left[0,1\right]$, ${\eta }_P\left(x\right)\in \left[0,1\right]$, and ${\nu }_P\left(x\right)\in \left[0,1\right]$ are the positive membership, neutral membership, and negative membership of P, respectively, which satisfy $0\le {\mu }_P\left(x\right)+{\eta }_P\left(x\right)+{\nu }_P\left(x\right)\le 1$. Furthermore, $\pi \left(x\right)=1-{\mu }_P\left(x\right)-{\eta }_P\left(x\right)-{\nu }_P\left(x\right)$ is the degree of refusal membership of $P$ for all $x$. For convenience, the set $P=\langle {\mu }_P,{\eta }_P,{\nu }_P\rangle$ is called a picture fuzzy number (PFN).

Cuong [15] defined several operations as follows.

Definition 4.

[15] Suppose $P$ and $G$ are two PFNs; then,

(1)

$P\subseteq G$if${\mu }_P\left(x\right)\le {\mu }_G\left(x\right)$,${\eta }_P\left(x\right)\le {\eta }_G\left(x\right)$,${\nu }_P\left(x\right)\ge {\nu }_G\left(x\right)$,$\forall x\in X$;

(2)

$P\cup G=\left\{\left(x,\max \left({\mu }_P\left(x\right),{\mu }_G\left(x\right)\right),\min \left({\eta }_P\left(x\right),{\eta }_G\left(x\right)\right),\min \left({\nu }_P\left(x\right),{\nu }_G\left(x\right)\right)\right)|x\in X\right\}$;

(3)

$P\cap G=\left\{\left(x,\min \left({\mu }_P\left(x\right),{\mu }_G\left(x\right)\right),\max \left({\eta }_P\left(x\right),{\eta }_G\left(x\right)\right),\max \left({\nu }_P\left(x\right),{\nu }_G\left(x\right)\right)\right)|x\in X\right\}$;

(4)

$\overline{P}=\left\{\left(x,{\nu }_P\left(x\right),{\eta }_P\left(x\right),{\mu }_P\left(x\right)\right)|x\in X\right\}$.

Based on Definition 5, Wei [36] proposed the following operational rules for PFNs.

Definition 5.

[36] Suppose $P$ and $G$ are two PFNs; then,

(1)

$P\oplus G=\left({\mu }_P+{\mu }_G-{\mu }_P{\mu }_G, {\eta }_P{\eta }_G, {\nu }_P{\nu }_G\right)$;

(2)

$P\otimes G=\left({\mu }_P{\mu }_G, {\eta }_P+{\eta }_G-{\eta }_P{\eta }_G, {\nu }_P+{\nu }_G-{\nu }_P{\nu }_G\right)$;

(3)

$\lambda P=\left(1-{\left(1-{\mu }_P\right)}^{\lambda }, {\eta }_P{}^{\lambda }, {\nu }_P{}^{\lambda }\right)$,$\lambda \succ 0$;

(4)

$P^{\lambda }=\left({\mu }_P{}^{\lambda },1-{\left(1-{\eta }_P\right)}^{\lambda },1-{\left(1-{\nu }_P\right)}^{\lambda }\right)$,$\lambda \succ 0$.

2.3. Archimedean T-Norm and T-Conorm

Definition 6.

[37,38]. $T$: $[0,1]\times [0,1]\to [0,1]$ is called a t-norm if T satisfies the following four axioms:

(1) 

$T\left(x,0\right)=0$and$T\left(1,x\right)=x$for all x;

(2) 

$T\left(x,y\right)=T\left(y,x\right)$for all x and y;

(3) 

$T\left(x,y\right)\le T\left(x^{\prime },y^{\prime }\right)$if$x\le x^{\prime }$and$y\le y^{\prime }$;

(4) 

$T\left(T\left(x,y\right),z\right)=T\left(x,T\left(y,z\right)\right)$for all x, y and z.

Definition 7.

[37,38] $T^{*}$: $[0,1]\times [0,1]\to [0,1]$ is called a t-conorm if $T^{*}$ satisfies the following four axioms:

(1) 

$T^{*}\left(0,x\right)=x$and$T^{*}\left(1,x\right)=1$for all x;

(2) 

$T^{*}\left(x,y\right)=T^{*}\left(y,x\right)$for all x and y;

(3) 

$T^{*}\left(x,y\right)\le T^{*}\left(x^{\prime },y^{\prime }\right)$if$x\le x^{\prime }$and$y\le y^{\prime }$;

(4) 

$T^{*}\left(T^{*}\left(x,y\right),z\right)=T^{*}\left(x,T^{*}\left(y,z\right)\right)$for all x, y and z.

If $T\left(x,y\right)$ and $T^{*}\left(x,y\right)$ are continuous, and $T\left(x,x\right)\prec x$ and $T^{*}\left(x,x\right)\succ x$ for all $x\in \left(0,1\right)$, then we call $T\left(x,y\right)$ and $T^{*}\left(x,y\right)$ the Archimedean t-norm and t-conorm, respectively. We can obtain a strict Archimedean t-norm by $g\left(x\right)$ as $T\left(x,y\right)=g^{-1}\left(g\left(x\right)+g\left(y\right)\right)$, where $g\left(x\right)$ is a strictly decreasing function $g:[0,1]\to [0,\infty ]$ such that $g\left(1\right)=0$. Similarly, we can obtain $T^{*}\left(x,y\right)=f^{-1}\left(f\left(x\right)+f\left(y\right)\right)$ and $f\left(x\right)=g\left(1-x\right)$.

Based on the above definitions, Tao et al. [39] developed several algebraic operations.

Definition 8.

[40] Let $x$, $y$$\in [0,1]$ and $\lambda \succ 0$ be a scalar; then,

(1) 

$x\oplus y=T^{*}\left(x,y\right)=f^{-1}\left(f\left(x\right)+f\left(y\right)\right)$;

(2) 

$x\otimes y=T\left(x,y\right)=g^{-1}\left(g\left(x\right)+g\left(y\right)\right)$;

(3) 

$\lambda \odot x=f^{-1}\left(\lambda f\left(x\right)\right)$;

(4) 

$x^{\lambda }=g^{-1}\left(\lambda g\left(x\right)\right)$.

Some special cases exist when the generator function is set to different values:

(1)

Let $g\left(t\right)=-\log t$, $f\left(t\right)=-\log \left(1-t\right)$, $g^{-1}\left(t\right)=e^{-t}$, and $f^{-1}\left(t\right)=1-e^{-t}$. Then, the algebraic t-norm and t-conorm are obtained: $T_A\left(x,y\right)=xy$, $T_A{}^{*}\left(x,y\right)=x+y-xy$.

(2)

Let $g\left(t\right)=\log \left(\frac{2-t}{t}\right)$, $f\left(t\right)=\log \left(\frac{2-\left(1-t\right)}{1-t}\right)$, $g^{-1}\left(t\right)=\frac{2}{e^t+1}$, and $f^{-1}\left(t\right)=1-\frac{2}{e^t+1}$. Then, the Einstein t-norm and t-conorm are obtained: $T_E\left(x,y\right)=\frac{xy}{1+\left(1-x\right)\left(1-y\right)}$, $T_E{}^{*}\left(x,y\right)=\frac{x+y}{1+xy}$.

(3)

Let $g\left(t\right)=\log \left(\frac{\gamma -\left(1-\gamma \right)t}{t}\right)$, $f\left(t\right)=\log \left(\frac{\gamma -\left(1-\gamma \right)\left(1-t\right)}{1-t}\right)$, $g^{-1}\left(t\right)=\frac{\gamma }{e^t+\gamma -1}$, $f^{-1}\left(t\right)=1-\frac{\gamma }{e^t+\gamma -1}$, and $\gamma \succ 0$. Then, the Hamacher t-norm and t-conorm are obtained: $T_H\left(x,y\right)=\frac{xy}{\gamma +\left(1-\gamma \right)\left(x+y-xy\right)}$, $T_H{}^{*}\left(x,y\right)=\frac{x+y-xy-\left(1-\gamma \right)xy}{1-\left(1-\gamma \right)xy}$, $\gamma \succ 0$.

2.4. MSM Operators

Definition 9.

[29,31] Let $x_i\left(i=1,2,\dots ,n\right)$ be the collection of nonnegative real numbers. An MSM operator of dimension n is a mapping $MS{M}^{\left(m\right)}:{\left(R^{+}\right)}^n\to R^{+}$ such that:

$$MS{M}^{\left(m\right)}\left(x_1,\dots ,x_n\right)={\left(\frac{{\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}{\displaystyle {\prod }_{j=1}^m{x}_{i_j}}}}{C_n^m}\right)}^{\frac{1}{m}}$$

(4)

where$\left(i_1,i_2,\dots ,i_m\right)$traverses all m-tuple combinations of$\left(1,2,\dots ,n\right)$and$C_n^m=\frac{n!}{m!\left(n-m\right)!}$is the binomial coefficient. In the following analysis, assume that$i_1<i_2<\dots <i_m$. Furthermore,$x_{i_j}$represents the$i_j$th element of a specific arrangement.

Clearly, the $MS{M}^{\left(m\right)}$ operator has the following important attributes.

(1)

Idempotency. If $x_i=x$ for each $i$, $MS{M}^{\left(m\right)}\left(x,x,\dots ,x\right)=x$;

(2)

Monotonicity. If $x_i\le y_i$ for all $i$, $MS{M}^{\left(m\right)}\left(x_1,x_2,\dots ,x_n\right)\le MS{M}^{\left(m\right)}\left(y_1,y_2,\dots ,y_n\right)$;

(3)

Boundedness. Min $\left\{x_1,x_2,\dots ,x_n\right\}\le MS{M}^{\left(m\right)}\left\{x_1,x_2,\dots ,x_n\right\}\le$ max $\left\{x_1,x_2,\dots ,x_n\right\}$.

Definition 10.

[31] Let $x_i\left(i=1,2,\dots ,n\right)$ be the collection of nonnegative real numbers and $p_1,p_2,\dots ,p_m\ge 0$. A generalized MSM operator of dimension n is a mapping $GMS{M}^{(m,p1,p2,\dots ,pm)}:{(R^{+})}^n\to R^{+}$ such that

$$GMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left(x_1,\dots ,x_n\right)={\left(\frac{{\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}{\displaystyle {\prod }_{j=1}^m{x}_{i_{\mathrm{j}}}^{p_j}}}}{C_n^m}\right)}^{\frac{1}{p_1+p_2+\dots p_m}}$$

(5)

where$\left(i_1,i_2,\dots ,i_m\right)$traverses all m-tuple combinations of$\left(1,2,\dots ,n\right)$and$C_n^m=\frac{n!}{m!\left(n-m\right)!}$is the binomial coefficient.

It can easily be seen that the $GMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}$ operator has the following desirable properties.

(1)

Idempotency. If $x_i=x$ for each $i$, then $GMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left(x,x,\dots ,x\right)=x$;

(2)

Monotonicity. If $x_i\le y_i$ for all $i$, $GMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left(x_1,x_2,\dots ,x_n\right)\le GMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left(y_1,y_2,\dots ,y_n\right)$;

(3)

Boundedness. $\min \{x_1,x_2,\dots x_n\}\le {GMSM}^{\left(m,p_{{}_1},p_{{}_2},\dots ,p_{{}_m}\right)}\left(x_1,x_2,\dots x_n\right)\le \max \{x_1,x_2,\dots x_n\}$.

Definition 11.

[31] Let $x_i\left(i=1,2,\dots ,n\right)$ be the collection of nonnegative real numbers and $p_1,p_2,\dots ,p_m\ge 0$. A geometric MSM operator of dimension n is a mapping $G_{eo}MS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}:{(R^{+})}^n\to R^{+}$ such that

$$G_{eo}MS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left(x_1,\dots ,x_n\right)=\frac{1}{\left(p_1+p_2+\dots +p_m\right)}{\left({\displaystyle \prod _{1\le i_1<\dots <i_m\le n}\left(p_1{x}_{i_1}+p_2{x}_{i_2}+\dots +p_m{x}_{i_m}\right)}\right)}^{\frac{1}{C_n^m}}$$

(6)

where$\left(i_1,i_2,\dots ,i_m\right)$traverses all m-tuple combinations of$\left(1,2,\dots ,n\right)$and$C_n^m=\frac{n!}{m!\left(n-m\right)!}$is the binomial coefficient.

Clearly, the $G_{eo}MS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}$ operator has the following desirable properties.

(1)

Idempotency. If $x>0$ and $x_i=x$ for each $i$, then $G_{eo}MS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left(x,x,\dots ,x\right)=x$;

(2)

Monotonicity. If $x_i\le y_i$ for all $i$, $G_{eo}MS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left(x_1,x_2\dots ,x_n\right)\le G_{eo}MS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left(y_1,y_2\dots ,y_n\right)$;

(3)

Boundedness. $\min \{x_1,x_2,\dots x_n\}\le G_{eo}{MSM}^{\left(m,p_{{}_1},p_{{}_2},\dots ,p_{{}_m}\right)}\left(x_1,x_2,\dots x_n\right)\le \max \{x_1,x_2,\dots x_n\}$.

3. Picture 2-Tuple Linguistic Sets and a New Operation

3.1. Picture 2-Tuple Linguistic Sets

In this section, we introduce several concepts of picture 2-tuple linguistics based on PFS and 2-tuple linguistic term sets.

Definition 12.

[36,41]$A=\left\{\left(s_i,\alpha \right),\left({\mu }_A\left(x\right),{\eta }_A\left(x\right),{\nu }_A\left(x\right)\right),x\in X\right\}$ is called a picture 2-tuple linguistic set if ${\mu }_A\left(x\right)\in [0,1]$, ${\eta }_A\left(x\right)\in [0,1]$, ${\nu }_A\left(x\right)\in [0,1]$, $0\le {\mu }_A\left(x\right)+{\eta }_A\left(x\right)+{\nu }_A\left(x\right)\le 1$, $s_i\in S$ and $\alpha \in \left[-0.5,0.5\right)$. ${\mu }_A\left(x\right),{\eta }_A\left(x\right),{\nu }_A\left(x\right)$ are the degrees of positive membership, neutral membership and negative membership, respectively of element $x$ to $\left(s_i,\alpha \right)$. Then, $\pi \left(x\right)=1-{\mu }_P\left(x\right)-{\eta }_P\left(x\right)-{\nu }_P\left(x\right)$ is the degree of refusal membership of element $x$ to $\left(s_i,\alpha \right)$ for all $x$.

For convenience, we call $\mathsf{\Phi }=\langle \left(s_i,\alpha \right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$ a picture 2-tuple linguistic number (P2LTN), and ${\mu }_{\phi }\in [0,1]$, ${\eta }_{\phi }\in [0,1]$, ${\nu }_{\phi }\in [0,1]$, ${\mu }_{\phi }+{\eta }_{\phi }+{\nu }_{\phi }\le 1$, $s_i\in S$ and $\alpha \in \left[-0.5,0.5\right)$.

Definition 13.

[36,41] Let $\mathsf{\Phi }=\langle \left(s_i,\alpha \right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$ be a P2TLN; the score function $S$ of a P2TLN can be defined as:

$$S\left(\mathsf{\Phi }\right)=\Delta \left({\Delta }^{-1}\left(s_i,\alpha \right)\cdot \frac{1+{\mu }_{\phi }-{\nu }_{\phi }}{2}\right),{\Delta }^{-1}\left(S\left(\mathsf{\Phi }\right)\right)\in [0,l-1]$$

(7)

Definition 14.

[36,41] Let $\mathsf{\Phi }=\langle \left(s_i,\alpha \right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$ be a P2TLN; the accuracy function $H$ of a P2TLN can be defined as:

$$H\left(\mathsf{\Phi }\right)=\Delta \left({\Delta }^{-1}\left(s_i,\alpha \right)\cdot \frac{{\mu }_{\phi }+{\eta }_{\phi }+{\nu }_{\phi }}{2}\right),{\Delta }^{-1}\left(H\left(\mathsf{\Phi }\right)\right)\in [0,l-1]$$

(8)

Based on Definitions 13 and 14, Wei [36,41] presented a related comparison of P2TLN as follows.

Definition 15.

[36,41] Let ${\mathsf{\Phi }}_1=\langle \left(s_{i1},{\alpha }_1\right),\left({\mu }_{\phi 1},{\eta }_{\phi 1},{\nu }_{\phi 1}\right)\rangle$ and ${\mathsf{\Phi }}_2=\langle \left(s_{i2},{\alpha }_2\right),\left({\mu }_{\phi 2},{\eta }_{\phi 2},{\nu }_{\phi 2}\right)\rangle$ be two P2TLNs, $S\left({\mathsf{\Phi }}_1\right)$ and $S\left({\mathsf{\Phi }}_2\right)$ be the scores of ${\mathsf{\Phi }}_1$ and ${\mathsf{\Phi }}_2$, and $H\left({\mathsf{\Phi }}_1\right)$ and $H\left({\mathsf{\Phi }}_2\right)$ be the accuracy degrees of ${\mathsf{\Phi }}_1$ and ${\mathsf{\Phi }}_2$, respectively.

If $S\left({\mathsf{\Phi }}_1\right)\prec S\left({\mathsf{\Phi }}_2\right)$, then ${\mathsf{\Phi }}_1$ is smaller than ${\mathsf{\Phi }}_2$, denoted by ${\mathsf{\Phi }}_1\prec {\mathsf{\Phi }}_2$.

If $S\left({\mathsf{\Phi }}_1\right)=S\left({\mathsf{\Phi }}_2\right)$,

(a)

If $H\left({\mathsf{\Phi }}_1\right)\prec H\left({\mathsf{\Phi }}_2\right)$, ${\mathsf{\Phi }}_1$ is smaller than ${\mathsf{\Phi }}_2$, denoted by ${\mathsf{\Phi }}_1\prec {\mathsf{\Phi }}_2$.

(b)

If $H\left({\mathsf{\Phi }}_1\right)=H\left({\mathsf{\Phi }}_2\right)$, ${\mathsf{\Phi }}_1$ is the same as ${\mathsf{\Phi }}_2$, denoted by ${\mathsf{\Phi }}_1={\mathsf{\Phi }}_2$.

(c)

If $H\left({\mathsf{\Phi }}_1\right)\succ H\left({\mathsf{\Phi }}_2\right)$, ${\mathsf{\Phi }}_1$ is larger than ${\mathsf{\Phi }}_2$, denoted by ${\mathsf{\Phi }}_1\succ {\mathsf{\Phi }}_2$.

3.2. New Operations for Picture 2-Tuple Linguistic Sets Based on ATT

In this section, inspired by the new operational laws of 2-tuple linguistic and picture fuzzy linguistic sets, we introduce the operational rules of P2TLNs based on ATT.

Definition 16.

Let ${\mathsf{\Phi }}_1=\langle \left(s_{i1},{\alpha }_1\right),\left({\mu }_{\phi 1},{\eta }_{\phi 1},{\nu }_{\phi 1}\right)\rangle$ and ${\mathsf{\Phi }}_2=\langle \left(s_{i2},{\alpha }_2\right),\left({\mu }_{\phi 2},{\eta }_{\phi 2},{\nu }_{\phi 2}\right)\rangle$ be two P2TLNs; then,

(1) 

${\mathsf{\Phi }}_1\oplus {\mathsf{\Phi }}_2=\langle \Delta \left(\left(l-1\right)f^{-1}\left(f\left(\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)}{l-1}\right)+f\left(\frac{{\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}{l-1}\right)\right)\right),\left(\begin{array}{l}{f}^{-1}\left(f\left({\mu }_{{\phi }_1}\right)+f\left({\mu }_{{\phi }_2}\right)\right),g^{-1}\left(g\left({\eta }_{{\phi }_1}\right)+g\left({\eta }_{{\phi }_2}\right)\right),\\ g^{-1}\left(g\left({\nu }_{{\phi }_1}\right)+g\left({\nu }_{{\phi }_2}\right)\right)\end{array}\right)\rangle$;

(2) 

${\mathsf{\Phi }}_1\otimes {\mathsf{\Phi }}_2=\langle \Delta \left(\left(l-1\right)g^{-1}\left(g\left(\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)}{l-1}\right)+g\left(\frac{{\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}{l-1}\right)\right)\right),\left(\begin{array}{l}{g}^{-1}\left(g\left({\mu }_{{\phi }_1}\right)+g\left({\mu }_{{\phi }_2}\right)\right),f^{-1}\left(f\left({\eta }_{{\phi }_1}\right)+f\left({\eta }_{{\phi }_2}\right)\right),\\ f^{-1}\left(f\left({\nu }_{{\phi }_1}\right)+f\left({\nu }_{{\phi }_2}\right)\right)\end{array}\right)\rangle$;

(3) 

$\lambda \odot {\mathsf{\Phi }}_1=\langle \Delta \left(\left(l-1\right)f^{-1}\left(\lambda f\left(\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)}{l-1}\right)\right)\right),\left(f^{-1}\left(\lambda f\left({\mu }_{{\phi }_1}\right)\right),g^{-1}\left(\lambda g\left({\eta }_{{\phi }_1}\right)\right),g^{-1}\left(\lambda g\left({\nu }_{{\phi }_1}\right)\right)\right)\rangle$;

(4) 

${\mathsf{\Phi }}_1{}^{\lambda }=\langle \Delta \left(\left(l-1\right)g^{-1}\left(\lambda g\left(\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)}{l-1}\right)\right)\right),\left(g^{-1}\left(\lambda g\left({\mu }_{{\phi }_1}\right)\right),f^{-1}\left(\lambda f\left({\eta }_{{\phi }_1}\right)\right),f^{-1}\left(\lambda f\left({\nu }_{{\phi }_1}\right)\right)\right)\rangle$.

If $g\left(x\right)$ takes different forms, we obtain some special cases.

Case 1.

If $g\left(x\right)=-\log x$, then we have:

(1) 

${\mathsf{\Phi }}_1{\oplus }_A{\mathsf{\Phi }}_2=\langle \Delta \left({\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)+{\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)-\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\cdot {\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}{l-1}\right),\left({\mu }_{{\phi }_1}+{\mu }_{{\phi }_2}-{\mu }_{{\phi }_1}{\mu }_{{\phi }_2},{\eta }_{{\phi }_1}{\eta }_{{\phi }_2},{\nu }_{{\phi }_1}{\nu }_{{\phi }_2}\right)\rangle$;

(2) 

${\mathsf{\Phi }}_1{\otimes }_A{\mathsf{\Phi }}_2=\langle \Delta \left(\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\cdot {\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}{l-1}\right),\left({\mu }_{{\phi }_1}{\mu }_{{\phi }_2},{\eta }_{{\phi }_1}+{\eta }_{{\phi }_2}-{\eta }_{{\phi }_1}{\eta }_{{\phi }_2},{\nu }_{{\phi }_1}+{\nu }_{{\phi }_2}-{\nu }_{{\phi }_1}{\nu }_{{\phi }_2}\right)\rangle$;

(3) 

$\lambda {\odot }_A{\mathsf{\Phi }}_1=\langle \Delta \left(\left(l-1\right)\left(1-\left(1-{\left(\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)}{l-1}\right)}^{{}^{\lambda }}\right)\right)\right),\left(1-{\left(1-{\mu }_{{\phi }_1}\right)}^{\lambda },{\left({\eta }_{{\phi }_1}\right)}^{\lambda },{\left({\nu }_{{\phi }_1}\right)}^{\lambda }\right)\rangle$;

(4) 

${\mathsf{\Phi }}_1{}^{\lambda }=\langle \Delta \left(\left(l-1\right){\left(\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)}{l-1}\right)}^{{}^{\lambda }}\right),\left({\left({\mu }_{{\phi }_1}\right)}^{\lambda },1-{\left(1-{\eta }_{{\phi }_1}\right)}^{\lambda },1-{\left(1-{\nu }_{{\phi }_1}\right)}^{\lambda }\right)\rangle$.

Case 2.

If $g\left(x\right)=\log \left(\frac{2-x}{x}\right)$, then we obtain the following formulas:

(1) 

${\mathsf{\Phi }}_1{\oplus }_{\mathrm{E}}{\mathsf{\Phi }}_2=\langle \Delta \left({(l-1)}^2\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)+{\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}{{(l-1)}^2+{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\cdot {\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}\right),\left(\frac{{\mu }_{{\phi }_1}+{\mu }_{{\phi }_2}}{1+{\mu }_{{\phi }_1}{\mu }_{{\phi }_2}},\frac{{\eta }_{{\phi }_1}{\eta }_{{\phi }_2}}{1+\left(1-{\eta }_{{\phi }_1}\right)\left(1-{\eta }_{{\phi }_2}\right)},\frac{{\nu }_{{\phi }_1}{\nu }_{{\phi }_2}}{1+\left(1-{\nu }_{{\phi }_1}\right)\left(1-{\nu }_{{\phi }_2}\right)}\right)\rangle$;

(2) 

${\mathsf{\Phi }}_1{\otimes }_{\mathrm{E}}{\mathsf{\Phi }}_2=\langle \Delta \left((l-1)\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\cdot {\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}{{(l-1)}^2+\left((l-1)-{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)\left((l-1)-{\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)\right)}\right),\left(\frac{{\mu }_{{\phi }_1}{\mu }_{{\phi }_2}}{1+\left(1-{\mu }_{{\phi }_1}\right)\left(1-{\mu }_{{\phi }_2}\right)},\frac{{\eta }_{{\phi }_1}+{\eta }_{{\phi }_2}}{1+{\eta }_{{\phi }_1}{\eta }_{{\phi }_2}},\frac{{\nu }_{{\phi }_1}+{\nu }_{{\phi }_2}}{1+{\nu }_{{\phi }_1}{\nu }_{{\phi }_2}}\right)\rangle$;

(3) 

$\lambda \odot {\mathsf{\Phi }}_1=\langle \begin{array}{l}\Delta \left(\left(l-1\right)\frac{{\left(\left(l-1\right)+{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }-{\left(\left(l-1\right)-{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }}{{\left(\left(l-1\right)+{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }+{\left(\left(l-1\right)-{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }}\right),\\ \left(\frac{{\left(1+{\mu }_{{\phi }_1}\right)}^{\lambda }-{\left(1-{\mu }_{{\phi }_1}\right)}^{\lambda }}{{\left(1+{\mu }_{{\phi }_1}\right)}^{\lambda }+{\left(1-{\mu }_{{\phi }_1}\right)}^{\lambda }},\frac{2{\left({\eta }_{{\phi }_1}\right)}^{\lambda }}{{\left(2-{\eta }_{{\phi }_1}\right)}^{\lambda }+{\left({\eta }_{{\phi }_1}\right)}^{\lambda }},\frac{2{\left({\nu }_{{\phi }_1}\right)}^{\lambda }}{{\left(2-{\nu }_{{\phi }_1}\right)}^{\lambda }+{\left({\nu }_{{\phi }_1}\right)}^{\lambda }}\right)\end{array}\rangle$;

(4) 

${\mathsf{\Phi }}_1{}^{\lambda }=\langle \Delta \left(\left(l-1\right)\frac{2{\left({\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }}{{\left(2\left(l-1\right)-{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }+{\left({\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }}\right),\left(\frac{2{\left({\mu }_{{\phi }_1}\right)}^{\lambda }}{{\left(2-{\mu }_{{\phi }_1}\right)}^{\lambda }+{\left({\mu }_{{\phi }_1}\right)}^{\lambda }},\frac{{\left(1+{\eta }_{{\phi }_1}\right)}^{\lambda }-{\left(1-{\eta }_{{\phi }_1}\right)}^{\lambda }}{{\left(1+{\eta }_{{\phi }_1}\right)}^{\lambda }+{\left(1-{\eta }_{{\phi }_1}\right)}^{\lambda }},\frac{{\left(1+{\nu }_{{\phi }_1}\right)}^{\lambda }-{\left(1-{\nu }_{{\phi }_1}\right)}^{\lambda }}{{\left(1+{\nu }_{{\phi }_1}\right)}^{\lambda }+{\left(1-{\nu }_{{\phi }_1}\right)}^{\lambda }}\right)\rangle$.

Case 3.

If $g\left(x\right)=\log \left(\frac{\xi +\left(1-\xi \right)x}{x}\right)$ and $\xi \succ 0$, then we have the following operational rules:

(1) 

${\mathsf{\Phi }}_1{\oplus }_{\mathrm{H}}{\mathsf{\Phi }}_2=\langle \begin{array}{l}\Delta \left(\left(l-1\right)\frac{\left(l-1\right){\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)+\left(l-1\right){\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)-\left(1-\xi \right)\cdot {\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\cdot {\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}{{\left(l-1\right)}^2-\left(1-\xi \right)\cdot {\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\cdot {\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}\right),\\ \left(\frac{{\mu }_{{\phi }_1}+{\mu }_{{\phi }_2}-\left(1-\xi \right){\mu }_{{\phi }_1}{\mu }_{{\phi }_2}}{1-\left(1-\xi \right){\mu }_{{\phi }_1}{\mu }_{{\phi }_2}},\frac{{\eta }_{{\phi }_1}{\eta }_{{\phi }_2}}{\xi +\left(1-\xi \right){\eta }_{{\phi }_1}+{\eta }_{{\phi }_2}-{\eta }_{{\phi }_1}{\eta }_{{\phi }_2}},\frac{{\nu }_{{\phi }_1}{\nu }_{{\phi }_2}}{\xi +\left(1-\xi \right){\nu }_{{\phi }_1}+{\nu }_{{\phi }_2}-{\nu }_{{\phi }_1}{\nu }_{{\phi }_2}}\right)\end{array}\rangle$;

(2) 

${\mathsf{\Phi }}_1{\otimes }_{\mathrm{H}}{\mathsf{\Phi }}_2=\langle \begin{array}{l}\Delta \left(\left(l-1\right)\frac{{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\cdot {\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)}{\xi {\left(l-1\right)}^2+\left(1-\xi \right)\left(\left(l-1\right){\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)+\left(l-1\right){\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)-{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\cdot {\Delta }^{-1}\left(s_{i2},{\alpha }_2\right)\right)}\right),\\ \left(\frac{{\mu }_{{\phi }_1}{\mu }_{{\phi }_2}}{\xi +\left(1-\xi \right){\mu }_{{\phi }_1}+{\mu }_{{\phi }_2}-{\mu }_{{\phi }_1}{\mu }_{{\phi }_2}},\frac{{\eta }_{{\phi }_1}+{\eta }_{{\phi }_2}-\left(1-\xi \right){\eta }_{{\phi }_1}{\eta }_{{\phi }_2}}{1-\left(1-\xi \right){\eta }_{{\phi }_1}{\eta }_{{\phi }_2}},\frac{{\nu }_{{\phi }_1}+{\nu }_{{\phi }_2}-\left(1-\xi \right){\nu }_{{\phi }_1}{\nu }_{{\phi }_2}}{1-\left(1-\xi \right){\nu }_{{\phi }_1}{\nu }_{{\phi }_2}}\right)\end{array}\rangle$;

(3) 

$\lambda {\odot }_H{\mathsf{\Phi }}_1=\langle \begin{array}{l}\Delta \left(\left(l-1\right)\frac{{\left(\left(l-1\right)+\left(\xi -1\right)\cdot {\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }-{\left(\left(l-1\right)-{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }}{{\left(\left(l-1\right)+\left(\xi -1\right)\cdot {\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }+\left(\xi -1\right){\left(\left(l-1\right)-{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }}\right),\\ \left(\begin{array}{l}\frac{{\left(1+\left(\xi -1\right){\mu }_{{\phi }_1}\right)}^{\lambda }-{\left(1-{\mu }_{{\phi }_1}\right)}^{\lambda }}{{\left(1+\left(\xi -1\right){\mu }_{{\phi }_1}\right)}^{\lambda }+\left(\xi -1\right){\left(1-{\mu }_{{\phi }_1}\right)}^{\lambda }},\frac{\xi {\left({\eta }_{{\phi }_1}\right)}^{\lambda }}{{\left(1+\left(\xi -1\right)\left(1-{\eta }_{{\phi }_1}\right)\right)}^{\lambda }+\left(\xi -1\right){\left({\eta }_{{\phi }_1}\right)}^{\lambda }},\\ \frac{\xi {\left({\nu }_{{\phi }_1}\right)}^{\lambda }}{{\left(1+\left(\xi -1\right)\left(1-{\nu }_{{\phi }_1}\right)\right)}^{\lambda }+\left(\xi -1\right){\left({\nu }_{{\phi }_1}\right)}^{\lambda }}\end{array}\right)\end{array}\rangle$;

(4) 

${\mathsf{\Phi }}_1{}^{\lambda }=\langle \begin{array}{l}\Delta \left(\left(l-1\right)\frac{\xi {\left({\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }}{{\left(\left(l-1\right)+\left(\xi -1\right)\cdot \left(\left(l-1\right)-{\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)\right)}^{\lambda }+\left(\xi -1\right){\left({\Delta }^{-1}\left(s_{i1},{\alpha }_1\right)\right)}^{\lambda }}\right),\\ \left(\begin{array}{l}\frac{\xi {\left({\mu }_{{\phi }_1}\right)}^{\lambda }}{{\left(1+\left(\xi -1\right)\left(1-{\mu }_{{\phi }_1}\right)\right)}^{\lambda }+\left(\xi -1\right){\left({\mu }_{{\phi }_1}\right)}^{\lambda }},\frac{{\left(1+\left(\xi -1\right)\left({\eta }_{{\phi }_1}\right)\right)}^{\lambda }}{{\left(1+\left(\xi -1\right){\eta }_{{\phi }_1}\right)}^{\lambda }+\left(\xi -1\right){\left(1-{\eta }_{{\phi }_1}\right)}^{\lambda }},\\ \frac{{\left(1+\left(\xi -1\right)\left({\nu }_{{\phi }_1}\right)\right)}^{\lambda }}{{\left(1+\left(\xi -1\right){\nu }_{{\phi }_1}\right)}^{\lambda }+\left(\xi -1\right){\left(1-{\nu }_{{\phi }_1}\right)}^{\lambda }}\end{array}\right)\end{array}\rangle$.

4. Picture 2-Tuple Linguistic MSM Operators Based on ATT

Based on the new operations for picture 2-tuple linguistic sets and MSM operators, we developed a few novel P2TLMSM operators.

4.1. The ATT-P2TLMSM and ATT-P2TLGMSM Operators

Definition 17.

Let ${\mathsf{\Phi }}_i=\langle \left(s_i,{\alpha }_i\right),\left({\mu }_{\phi i},{\eta }_{\phi i},{\nu }_{\phi i}\right)\rangle$$\left(i=1,2,\dots ,n\right)$ be a set of P2TLNs. Then, the ATT-P2TLMSM operator ${\mathsf{\Lambda }}^n\to \mathsf{\Lambda }$ is as follows.

$$ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}\right)}{C_n^m}\right)}^{\frac{1}{m}}$$

(9)

where$\mathsf{\Lambda }$is a collection of P2TLNs and$m=1,2,\dots ,n$.

According to the operation rules of P2TLNs in Definition 16, the ATT-P2TLMSM operators are shown below.

Theorem 1.

Let ${\mathsf{\Phi }}_i=\langle \left(s_i,{\alpha }_i\right),\left({\mu }_{\phi i},{\eta }_{\phi i},{\nu }_{\phi i}\right)\rangle$ $\left(i=1,2,\dots ,n\right)$ be a collection of P2TLNs with $m=1,2,\dots ,n$. The result of aggregating by Definition 17 is still a P2TLN.

$$\begin{array}{l}ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}\right)}{C_n^m}\right)}^{\frac{1}{m}}\\ =\langle \begin{array}{l}\Delta \left((l-1)g^{-1}\left(\frac{1}{m}g\left(f^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{(l-1)}\right)}\right)\right)}\right)\right)\right)\right)\right),\\ \left(\begin{array}{l}{g}^{-1}\left(\frac{1}{m}g\left(f^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left({\mu }_{\phi i_j}\right)}\right)\right)}\right)\right)\right)\right),\\ f^{-1}\left(\frac{1}{m}f\left(g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\eta }_{\phi i_j}\right)}\right)\right)}\right)\right)\right)\right),\\ f^{-1}\left(\frac{1}{m}f\left(g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\nu }_{\phi i_j}\right)}\right)\right)}\right)\right)\right)\right)\end{array}\right)\end{array}\rangle \end{array}$$

(10)

where$(i_1,i_2,\dots ,i_n)$traverses all m-tuple combinations of$(1,2,\dots ,n)$and$C_n^m=\frac{n!}{m!(n-m)!}$is the binomial coefficient.

Proof. 

The flowchart of proof is shown in Figure 1.

The specific proof process is as follows.

Because ${\mathsf{\Phi }}_{i_j}=\langle \left(s_{i_j},{\alpha }_{i_j}\right),\left({\mu }_{\phi i_j},{\eta }_{\phi i_j},{\nu }_{\phi i_j}\right)\rangle \left(i=1,2,\dots ,nj=1,2,\dots ,m\right)$

$$\Rightarrow \underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}=\langle \begin{array}{l}\Delta \left(\left(l-1\right)g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)}\right)\right),\\ \left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left({\mu }_{\phi i_j}\right)}\right),f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\eta }_{\phi i_j}\right)}\right),f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\nu }_{\phi i_j}\right)}\right)\right)\end{array}\rangle$$

$$\begin{array}{l}\Rightarrow \underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}\right)\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right)f^{-1}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)}\right)\right)}\right)\right),\\ \left(\begin{array}{l}{f}^{-1}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left({\mu }_{\phi i_j}\right)}\right)\right)}\right),g^{-1}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\eta }_{\phi i_j}\right)}\right)\right)}\right),\\ g^{-1}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\nu }_{\phi i_j}\right)}\right)\right)}\right)\end{array}\right)\end{array}\rangle \end{array}$$

$$\Rightarrow \frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}\right)}{C_n^m}=\langle \begin{array}{l}\Delta \left(\left(l-1\right)f^{-1}\left(\frac{1}{C_n^m}f\left(f^{-1}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)}\right)\right)}\right)\right)\right)\right),\\ \left(\begin{array}{l}{f}^{-1}\left(\frac{1}{C_n^m}f\left(f^{-1}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left({\mu }_{\phi i_j}\right)}\right)\right)}\right)\right)\right),\\ g^{-1}\left(\frac{1}{C_n^m}g\left(g^{-1}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\eta }_{\phi i_j}\right)}\right)\right)}\right)\right)\right),\\ g^{-1}\left(\frac{1}{C_n^m}g\left(g^{-1}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\nu }_{\phi i_j}\right)}\right)\right)}\right)\right)\right)\end{array}\right)\end{array}\rangle$$

$$=\langle \begin{array}{l}\Delta \left(\left(l-1\right)f^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)}\right)\right)}\right)\right)\right),\\ \left(\begin{array}{l}{f}^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left({\mu }_{\phi i_j}\right)}\right)\right)}\right)\right),\\ g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\eta }_{\phi i_j}\right)}\right)\right)}\right)\right),\\ g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\nu }_{\phi i_j}\right)}\right)\right)}\right)\right)\end{array}\right)\end{array}\rangle$$

$$\begin{array}{l}\Rightarrow {\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}\right)}{C_n^m}\right)}^{\frac{1}{m}}\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right)g^{-1}\left(\frac{1}{m}g\left(f^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)}\right)\right)}\right)\right)\right)\right)\right),\\ \left(\begin{array}{l}{g}^{-1}\left(\frac{1}{m}g\left(f^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left({\mu }_{\phi i_j}\right)}\right)\right)}\right)\right)\right)\right),\\ f^{-1}\left(\frac{1}{m}f\left(g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\eta }_{\phi i_j}\right)}\right)\right)}\right)\right)\right)\right),\\ f^{-1}\left(\frac{1}{m}f\left(g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\nu }_{\phi i_j}\right)}\right)\right)}\right)\right)\right)\right)\end{array}\right)\end{array}\rangle \end{array}$$

Therefore, Theorem 1 proved to be correct. □

Property 1.

Let ${\mathsf{\Phi }}_i=\langle \left(s_i,{\alpha }_i\right),\left({\mu }_{\phi i},{\eta }_{\phi i},{\nu }_{\phi i}\right)\rangle$$\left(i=1,2,\dots ,n\right)$ and ${\mathsf{\Phi }}_i^{*}=\langle \left(s_i^{*},{\alpha }_i^{*}\right),\left({\mu }_{\phi i}^{*},{\eta }_{\phi i}^{*},{\nu }_{\phi i}^{*}\right)\rangle$ $\left(i=1,2,\dots ,n\right)$ be sets of P2TLNs. $ATT-P2TLMS{M}^{\left(m\right)}$ then has several properties.

(1) 

Idempotency: If the P2TLNs${\mathsf{\Phi }}_i=\mathsf{\Phi }=\langle \left(s_{\phi },{\alpha }_{\phi }\right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$for all$i$, then$ATT-P2TLMS{M}^{\left(m\right)}=\mathsf{\Phi }=\langle \left(s_{\phi },{\alpha }_{\phi }\right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$.

(2) 

Commutativity: Assume${\mathsf{\Phi }}_i$is a permutation of${\mathsf{\Phi }}_i^{*}$for all$i$; then,$ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right)=ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1^{*},{\mathsf{\Phi }}_2^{*},\dots ,{\mathsf{\Phi }}_n^{*}\right)$.

(3) 

Monotonicity: If$\left(s_i,{\alpha }_i\right)\ge \left(s_i^{*},{\alpha }_i^{*}\right)$,${\mu }_{\phi i}\ge {\mu }_{\phi i}^{*}$,${\eta }_{\phi i}\le {\eta }_{\phi i}^{*}$and${\nu }_{\phi i}\le {\nu }_{\phi i}^{*}$for each$i \left(i=1,2,\dots ,n\right)$, then${\mathsf{\Phi }}_i\ge {\mathsf{\Phi }}_i^{*}{}_{}$and$ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right)\ge ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1^{*},{\mathsf{\Phi }}_2^{*},\dots ,{\mathsf{\Phi }}_n^{*}\right)$.

(4) 

Boundedness: If${\mathsf{\Phi }}^{-}={\min }_i{\mathsf{\Phi }}_i=\langle {\min }_i\left(s_i,{\alpha }_i\right),\left({\min }_i\left({\mu }_{\phi i}\right),{\min }_i\left({\eta }_{\phi i}\right),{\min }_i\left({\nu }_{\phi i}\right)\right)\rangle$and${\mathsf{\Phi }}^{+}={\max }_i{\mathsf{\Phi }}_i=\langle {\max }_i\left(s_i,{\alpha }_i\right),\left({\max }_i\left({\mu }_{\phi i}\right),{\max }_i\left({\eta }_{\phi i}\right),{\max }_i\left({\nu }_{\phi i}\right)\right)\rangle$, then${\mathsf{\Phi }}^{-}\le ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right)\le {\mathsf{\Phi }}^{+}$.

Proof. 

• Since each ${\mathsf{\Phi }}_i=\mathsf{\Phi }=\langle \left(s_{\phi },{\alpha }_{\phi }\right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$, that is,

  $$\begin{array}{l}ATT-P2TLMS{M}^{\left(m\right)}\left(\mathsf{\Phi },\mathsf{\Phi },\dots ,\mathsf{\Phi }\right)\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right)g^{-1}\left(\frac{1}{m}g\left(f^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(\frac{{\Delta }^{-1}\left(s_{\phi },{\alpha }_{\phi }\right)}{\left(l-1\right)}\right)}\right)\right)}\right)\right)\right)\right)\right),\\ \left(\begin{array}{l}{g}^{-1}\left(\frac{1}{m}g\left(f^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left({\mu }_{\phi }\right)}\right)\right)}\right)\right)\right)\right),\\ f^{-1}\left(\frac{1}{m}f\left(g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\eta }_{\phi }\right)}\right)\right)}\right)\right)\right)\right),\\ f^{-1}\left(\frac{1}{m}f\left(g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\nu }_{\phi }\right)}\right)\right)}\right)\right)\right)\right)\end{array}\right)\end{array}\rangle \end{array}$$

  $$\begin{array}{l}=\langle \begin{array}{l}\Delta \left(\left(l-1\right)g^{-1}\left(\frac{1}{m}g\left(f^{-1}\left(\frac{C_n^{m}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(\frac{{\Delta }^{-1}\left(s_{\phi },{\alpha }_{\phi }\right)}{\left(l-1\right)}\right)}\right)\right)}{C_n^m}\right)\right)\right)\right),\\ \left(\begin{array}{l}{g}^{-1}\left(\frac{1}{m}g\left(f^{-1}\left(\frac{C_n^{m}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left({\mu }_{\phi }\right)}\right)\right)}{C_n^m}\right)\right)\right),f^{-1}\left(\frac{1}{m}f\left(g^{-1}\left(\frac{C_n^{m}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\eta }_{\phi }\right)}\right)\right)}{C_n^m}\right)\right)\right),\\ f^{-1}\left(\frac{1}{m}f\left(g^{-1}\left(\frac{C_n^{m}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left({\nu }_{\phi }\right)}\right)\right)}{C_n^m}\right)\right)\right)\end{array}\right)\end{array}\rangle \\ =\langle \left(s_{\phi },{\alpha }_{\phi }\right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle \end{array}$$
• This property is obvious, and we do not prove it here.
• If $\left(s_i,{\alpha }_i\right)\ge \left(s_i^{*},{\alpha }_i^{*}\right)$, ${\mu }_{\phi i}\ge {\mu }_{\phi i}^{*}$, ${\eta }_{\phi i}\le {\eta }_{\phi i}^{*}$, and ${\nu }_{\phi i}\le {\nu }_{\phi i}^{*}$ for each $i \left(i=1,2,\dots ,n\right)$ and ${\mathsf{\Phi }}_i=\mathsf{\Phi }=\langle \left(s_{\phi },{\alpha }_{\phi }\right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$,${\mathsf{\Phi }}_i^{*}={\mathsf{\Phi }}^{*}=\langle \left(s_{\phi }^{*},{\alpha }_{\phi }^{*}\right),\left({\mu }_{\phi }^{*},{\eta }_{\phi }^{*},{\nu }_{\phi }^{*}\right)\rangle$, according to idempotency, $ATT-P2TLMS{M}^{\left(m\right)}\left(\mathsf{\Phi },\mathsf{\Phi },\dots ,\mathsf{\Phi }\right)=\langle \left(s_{\phi },{\alpha }_{\phi }\right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$ and $ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}^{*},{\mathsf{\Phi }}^{*},\dots ,{\mathsf{\Phi }}^{*}\right)=\langle \left(s_{\phi }^{*},{\alpha }_{\phi }^{*}\right),\left({\mu }_{\phi }^{*},{\eta }_{\phi }^{*},{\nu }_{\phi }^{*}\right)\rangle$.
  Therefore, we have

  $$P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right)\le P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1^{*},{\mathsf{\Phi }}_2^{*},\dots ,{\mathsf{\Phi }}_n^{*}\right)$$
• According to idempotency, let $\min \left\{{\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right\}=\mathsf{\Phi }=ATT-P2TLMS{M}^{(m)}\left(\mathsf{\Phi },\mathsf{\Phi },\dots ,\mathsf{\Phi }\right)$ and $\max \left\{{\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right\}={\mathsf{\Phi }}^{*}=ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}^{*},{\mathsf{\Phi }}^{*},\dots ,{\mathsf{\Phi }}^{*}\right)$. Based on the monotonicity, if $\mathsf{\Phi }\le {\mathsf{\Phi }}_i$ and ${\mathsf{\Phi }}_i\le {\mathsf{\Phi }}^{*}$ for each $i \left(i=1,2,\dots ,n\right)$, then we have $\mathsf{\Phi }=ATT-P2TLMS{M}^{(m)}\left(\mathsf{\Phi },\mathsf{\Phi },\dots ,\mathsf{\Phi }\right)\le ATT-P2TLMS{M}^{(m)}\left({\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right)$ and $ATT-P2TLMS{M}^{(m)}\left({\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right)\le ATT-P2TLMS{M}^{(m)}\left({\mathsf{\Phi }}^{*},{\mathsf{\Phi }}^{*},\dots ,{\mathsf{\Phi }}^{*}\right)={\mathsf{\Phi }}^{*}$. Therefore, the following conclusion can be obtained.

  $$\min \left\{{\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right\}\le ATT-P2TLMS{M}^{(m)}\left\{{\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right\}\le \max \left\{{\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right\}$$

□

In the following, we present a detailed formula as an example to introduce the P2TLMSM operator in the context MADM. When $g\left(x\right)=-\log x$, based on Formula (10), we can obtain:

$$\begin{array}{l}ATT-P2TLMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}\right)}{C_n^m}\right)}^{\frac{1}{m}}\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right){\left(1-{\left({\displaystyle {\prod }_{1\le i_1<\dots <i_m\le n}\left(1-{\displaystyle {\prod }_{j=1}^m\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)}\right)}\right)}^{\frac{1}{C_n^m}}\right)}^{\frac{1}{m}}\right),\\ \left(\begin{array}{l}{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<\dots <i_m\le n}\left(1-{\displaystyle {\prod }_{j=1}^m{\mu }_{\phi i_j}}\right)}\right)}^{\frac{1}{C_n^m}}\right)}^{\frac{1}{m}},1-{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<\dots <i_m\le n}\left(1-{\displaystyle {\prod }_{j=1}^m\left(1-{\eta }_{\phi i_j}\right)}\right)}\right)}^{\frac{1}{C_n^m}}\right)}^{\frac{1}{m}},\\ 1-{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<\dots <i_m\le n}\left(1-{\displaystyle {\prod }_{j=1}^m\left(1-{\nu }_{\phi i_j}\right)}\right)}\right)}^{\frac{1}{C_n^m}}\right)}^{\frac{1}{m}}\end{array}\right)\end{array}\rangle \end{array}$$

(11)

Next, we study some special cases of the P2TLMSM operator with respect to the parameter m.

(1)

When m = 1, Equation (10) degrades to the following formula.

$$\begin{array}{l}ATT-P2TLMS{M}^{\left(1\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)=\left(\frac{\underset{1\le i_1\le n}{\oplus }{\mathsf{\Phi }}_i}{C_n^1}\right)\\ =\langle \Delta \left(\left(l-1\right)\left(1-{\left({\displaystyle {\prod }_{1\le i_1\le n}\left(1-\frac{{\Delta }^{-1}\left(s_i,{\alpha }_i\right)}{\left(l-1\right)}\right)}\right)}^{\frac{1}{n}}\right)\right),\left(1-{\left({\displaystyle {\prod }_{1\le i_1\le n}\left(1-{\mu }_{\phi i}\right)}\right)}^{\frac{1}{n}},{\left({\displaystyle {\prod }_{1\le i_1\le n}{\eta }_{\phi i}}\right)}^{\frac{1}{n}},{\left({\displaystyle {\prod }_{1\le i_1\le n}{\nu }_{\phi i}}\right)}^{\frac{1}{n}}\right)\rangle \end{array}$$

(12)

(2)

When m = 2, Equation (10) degrades to the following formula.

$$\begin{array}{l}ATT-P2TLMS{M}^{\left(2\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<i_2\le n}{\oplus }\left(\underset{j=1}{\overset{2}{\otimes }}{\mathsf{\Phi }}_{i_j}\right)}{C_n^2}\right)}^{\frac{1}{2}}\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right){\left(1-{\left({\displaystyle {\prod }_{1\le i_1<i_2\le n}\left(1-\frac{\left({\Delta }^{-1}\left(s_{i_1},{\alpha }_{i_1}\right)\right)}{\left(l-1\right)}\frac{\left({\Delta }^{-1}\left(s_{i_2},{\alpha }_{i_2}\right)\right)}{\left(l-1\right)}\right)}\right)}^{\frac{1}{C_n^m}}\right)}^{\frac{1}{m}}\right),\\ \left(\begin{array}{l}{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<i_2\le n}\left(1-{\mu }_{\phi i_1}{\mu }_{\phi i_2}\right)}\right)}^{\frac{2}{n\left(n-1\right)}}\right)}^{\frac{1}{2}},1-{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<i_2\le n}\left(1-\left(1-{\eta }_{\phi i_1}\right)\left(1-{\eta }_{\phi i_2}\right)\right)}\right)}^{\frac{2}{n\left(n-1\right)}}\right)}^{\frac{1}{2}},\\ 1-{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<i_2\le n}\left(1-\left(1-{\nu }_{\phi i_1}\right)\left(1-{\nu }_{\phi i_2}\right)\right)}\right)}^{\frac{2}{n\left(n-1\right)}}\right)}^{\frac{1}{2}}\end{array}\right)\end{array}\rangle \end{array}$$

(13)

(3)

When m = n, Equation (10) degrades to the following formula.

$$\begin{array}{l}ATT-P2TLMS{M}^{\left(n\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{n}{\otimes }}{\mathsf{\Phi }}_{i_j}\right)}{C_n^n}\right)}^{\frac{1}{n}}\\ =\langle \Delta \left(\left(l-1\right){\left({\displaystyle {\prod }_{j=1}^n\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}}\right)}^{\frac{1}{n}}\right),\left({\left({\displaystyle {\prod }_{j=1}^n{\mu }_{\phi i_j}}\right)}^{\frac{1}{n}},1-{\left({\displaystyle {\prod }_{j=1}^n\left(1-{\eta }_{\phi i_j}\right)}\right)}^{\frac{1}{n}},1-{\left({\displaystyle {\prod }_{j=1}^n\left(1-{\nu }_{\phi i_j}\right)}\right)}^{\frac{1}{n}}\right)\rangle \end{array}$$

(14)

Definition 18.

Let ${\mathsf{\Phi }}_i=\langle \left(s_i,{\alpha }_i\right),\left({\mu }_{\phi i},{\eta }_{\phi i},{\nu }_{\phi i}\right)\rangle$$\left(i=1,2,\dots ,n\right)$ be a set of P2TLNs. Then, the ATT-P2TLGMSM operator ${\mathsf{\Lambda }}^n\to \mathsf{\Lambda }$ is as follows.

$$ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}^{p_j}\right)}{C_n^m}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}},$$

(15)

where$\mathsf{\Lambda }$is a collection of P2TLNs and$m=1,2,\dots ,n$.

On the basis of the operation rules of P2TLNs in Definition 16, the ATT-P2TLMSM operators are presented below.

Theorem 2.

Let ${\mathsf{\Phi }}_i=\langle \left(s_i,{\alpha }_i\right),\left({\mu }_{\phi i},{\eta }_{\phi i},{\nu }_{\phi i}\right)\rangle$ $\left(i=1,2,\dots ,n\right)$ be a set of P2TLNs and $m=1,2,\dots ,n$. Then, the aggregation result from Definition 17 is also a P2TLN.

$$\begin{array}{l}ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}^{p_j}\right)}{C_n^m}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}}\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right)g^{-1}\left(\frac{1}{p_1+p_2+\dots +p_m}g\left(f^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(g^{-1}\left(p_{j}g\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)\right)\right)}\right)\right)}\right)\right)\right)\right)\right),\\ \left(\begin{array}{l}{g}^{-1}\left(\frac{1}{p_1+p_2+\dots +p_m}g\left(f^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f\left(g^{-1}\left({\displaystyle {\sum }_{j=1}^{m}g\left(g^{-1}\left(p_{j}g\left({\mu }_{\phi i_j}\right)\right)\right)}\right)\right)}\right)\right)\right)\right),\\ f^{-1}\left(\frac{1}{p_1+p_2+\dots +p_m}f\left(g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left(f^{-1}\left(p_{j}f\left({\eta }_{\phi i_j}\right)\right)\right)}\right)\right)}\right)\right)\right)\right),\\ f^{-1}\left(\frac{1}{p_1+p_2+\dots +p_m}f\left(g^{-1}\left(\frac{1}{C_n^m}\left({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}g\left(f^{-1}\left({\displaystyle {\sum }_{j=1}^{m}f\left(f^{-1}\left(p_{j}f\left({\nu }_{\phi i_j}\right)\right)\right)}\right)\right)}\right)\right)\right)\right)\end{array}\right)\end{array}\rangle \end{array}$$

(16)

where$(i_1,i_2,\dots ,i_n)$traverses all m-tuple combinations of$(1,2,\dots ,n)$and$C_n^m=\frac{n!}{m!(n-m)!}$is the binomial coefficient.

Because the proof is analogous to Theorem 1, we do not repeat it here.

Property 2.

Let ${\mathsf{\Phi }}_i=\langle \left(s_i,{\alpha }_i\right),\left({\mu }_{\phi i},{\eta }_{\phi i},{\nu }_{\phi i}\right)\rangle$$\left(i=1,2,\dots ,n\right)$ and ${\mathsf{\Phi }}_i^{*}=\langle \left(s_i^{*},{\alpha }_i^{*}\right),\left({\mu }_{\phi i}^{*},{\eta }_{\phi i}^{*},{\nu }_{\phi i}^{*}\right)\rangle$ $\left(i=1,2,\dots ,n\right)$ be collections of P2TLNs. $ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}$ then has a number of properties.

(1) 

Idempotency: If the P2TLNs${\mathsf{\Phi }}_i=\mathsf{\Phi }=\langle \left(s_{\phi },{\alpha }_{\phi }\right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$for all$i$, then$ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}=\mathsf{\Phi }=\langle \left(s_{\phi },{\alpha }_{\phi }\right),\left({\mu }_{\phi },{\eta }_{\phi },{\nu }_{\phi }\right)\rangle$.

(2) 

Commutativity: Assume${\mathsf{\Phi }}_i$is a permutation of${\mathsf{\Phi }}_i^{*}$for all$i$; then,$ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left({\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right)=ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left({\mathsf{\Phi }}_1^{*},{\mathsf{\Phi }}_2^{*},\dots ,{\mathsf{\Phi }}_n^{*}\right)$.

(3) 

Monotonicity: If$\left(s_i,{\alpha }_i\right)\ge \left(s_i^{*},{\alpha }_i^{*}\right)$,${\mu }_{\phi i}\ge {\mu }_{\phi i}^{*}$,${\eta }_{\phi i}\le {\eta }_{\phi i}^{*}$and${\nu }_{\phi i}\le {\nu }_{\phi i}^{*}$for each$i \left(i=1,2,\dots ,n\right)$, then${\mathsf{\Phi }}_i\ge {\mathsf{\Phi }}_i^{*}{}_{}$and$ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left({\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right)\ge ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left({\mathsf{\Phi }}_1^{*},{\mathsf{\Phi }}_2^{*},\dots ,{\mathsf{\Phi }}_n^{*}\right)$.

(4) 

Boundedness: If${\mathsf{\Phi }}^{-}={\min }_i{\mathsf{\Phi }}_i=\langle {\min }_i\left(s_i,{\alpha }_i\right),\left({\min }_i\left({\mu }_{\phi i}\right),{\min }_i\left({\eta }_{\phi i}\right),{\min }_i\left({\nu }_{\phi i}\right)\right)\rangle$and${\mathsf{\Phi }}^{+}={\max }_i{\mathsf{\Phi }}_i=\langle {\max }_i\left(s_i,{\alpha }_i\right),\left({\max }_i\left({\mu }_{\phi i}\right),{\max }_i\left({\eta }_{\phi i}\right),{\max }_i\left({\nu }_{\phi i}\right)\right)\rangle$, then${\mathsf{\Phi }}^{-}\le ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left({\mathsf{\Phi }}_1,{\mathsf{\Phi }}_2,\dots ,{\mathsf{\Phi }}_n\right)\le {\mathsf{\Phi }}^{+}$.

Because the proof is analogous to Property 1, we do not repeat it here.

In the following, we present a detailed formula as an example to introduce the P2TLMSM operator in the context of MADM. When $g\left(x\right)=-\log x$, based on Formula (16), we obtain:

$$\begin{array}{l}ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}^{p_j}\right)}{C_n^m}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}}\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right){\left(1-{\left({\displaystyle {\prod }_{1\le i_1<\dots <i_m\le n}\left(1-{\displaystyle {\prod }_{j=1}^m{\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)}^{p_j}}\right)}\right)}^{\frac{1}{C_n^m}}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}}\right),\\ \left(\begin{array}{l}{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<\dots <i_m\le n}\left(1-{\displaystyle {\prod }_{j=1}^m{\mu }_{\phi i_j}^{p_j}}\right)}\right)}^{\frac{1}{C_n^m}}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}},1-{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<\dots <i_m\le n}\left(1-{\displaystyle {\prod }_{j=1}^m\left(1-{\eta }_{\phi i_j}^{p_j}\right)}\right)}\right)}^{\frac{1}{C_n^m}}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}},\\ 1-{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<\dots <i_m\le n}\left(1-{\displaystyle {\prod }_{j=1}^m\left(1-{\nu }_{\phi i_j}^{p_j}\right)}\right)}\right)}^{\frac{1}{C_n^m}}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}}\end{array}\right)\end{array}\rangle \end{array}$$

(17)

Next, we study several specific cases of the P2TLGMSM operator with respect to the argument m.

(1)

When m = 1, Equation (17) degrades to the following formula.

$$\begin{array}{l}ATT-P2TLGMS{M}^{\left(1\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1\le n}{\oplus }{\mathsf{\Phi }}_i^{p_1}}{C_n^1}\right)}^{\frac{1}{p_1}}\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right){\left(1-{\left({\displaystyle {\prod }_{1\le i_1\le n}\left(1-{\left(\frac{{\Delta }^{-1}\left(s_i,{\alpha }_i\right)}{\left(l-1\right)}\right)}^{p_1}\right)}\right)}^{\frac{1}{n}}\right)}^{\frac{1}{p_1}}\right),\\ \left({\left(1-{\left({\displaystyle {\prod }_{1\le i_1\le n}\left(1-{\mu }_{\phi i}^{p_1}\right)}\right)}^{\frac{1}{n}}\right)}^{\frac{1}{p_1}},1-{\left(1-{\left({\eta }_{\phi i_j}^{p_j}\right)}^{\frac{1}{n}}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}},1-{\left(1-{\left({\nu }_{\phi i_j}^{p_j}\right)}^{\frac{1}{n}}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}}\right)\end{array}\rangle \end{array}$$

(18)

(2)

When m = 2, Equation (17) degrades to the following formula.

$$\begin{array}{l}ATT-P2TLGMS{M}^{\left(2,p_1,p_2\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<i_2\le n}{\oplus }\left(\underset{j=1}{\overset{2}{\otimes }}{\mathsf{\Phi }}_{i_j}^{p_j}\right)}{C_n^2}\right)}^{\frac{1}{p_1+p_2}}\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right){\left(1-{\left({\displaystyle {\prod }_{1\le i_1<i_2\le n}\left(1-{\displaystyle {\prod }_{j=1}^2{\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)}^{p_j}}\right)}\right)}^{\frac{2}{n(n-1)}}\right)}^{\frac{1}{p_1+p_2}}\right),\\ \left(\begin{array}{l}{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<i_2\le n}\left(1-{\displaystyle {\prod }_{j=1}^2{\mu }_{\phi i_j}^{p_j}}\right)}\right)}^{\frac{2}{n(n-1)}}\right)}^{\frac{1}{p_1+p_2}},1-{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<i_2\le n}\left(1-{\displaystyle {\prod }_{j=1}^2\left(1-{\eta }_{\phi i_j}^{p_j}\right)}\right)}\right)}^{\frac{2}{n(n-1)}}\right)}^{\frac{1}{p_1+p_2}},\\ 1-{\left(1-{\left({\displaystyle {\prod }_{1\le i_1<i_2\le n}\left(1-{\displaystyle {\prod }_{j=1}^2\left(1-{\nu }_{\phi i_j}^{p_j}\right)}\right)}\right)}^{\frac{2}{n(n-1)}}\right)}^{\frac{1}{p_1+p_2}}\end{array}\right)\end{array}\rangle \end{array}$$

(19)

(3)

When m = n, Equation (17) degrades to the following formula.

$$\begin{array}{l}ATT-P2TLGMS{M}^{\left(m,p_1,p_2,\dots ,p_m\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{\mathsf{\Phi }}_{i_j}^{p_j}\right)}{C_n^m}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}}\\ =\langle \begin{array}{l}\Delta \left(\left(l-1\right){\left({\displaystyle {\prod }_{j=1}^n{\left(\frac{{\Delta }^{-1}\left(s_{i_j},{\alpha }_{i_j}\right)}{\left(l-1\right)}\right)}^{p_j}}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}}\right),\\ \left({\left({\displaystyle {\prod }_{j=1}^n{\mu }_{\phi i_j}^{p_j}}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}},1-{\left({\displaystyle {\prod }_{j=1}^n\left(1-{\eta }_{\phi i_j}^{p_j}\right)}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}},1-{\left({\displaystyle {\prod }_{j=1}^m\left(1-{\nu }_{\phi i_j}^{p_j}\right)}\right)}^{\frac{1}{p_1+p_2+\dots +p_m}}\right)\end{array}\rangle \end{array}$$

(20)

4.2. The ATT-P2TLWMSM and ATT-P2TLWGMSM Operators

We now introduce the weighted ATT-P2TLMSM and ATT-P2TLGMSM operators to improve the decision making accuracy.

Definition 19.

Let ${\mathsf{\Phi }}_i=\langle \left(s_i,{\alpha }_i\right),\left({\mu }_{\phi i},{\eta }_{\phi i},{\nu }_{\phi i}\right)\rangle$$\left(i=1,2,\dots ,n\right)$ be a set of P2TLNs and $W={\left(w_1,w_2,\dots ,w_n\right)}^T$ be the weight vector, where $w_i$ represents the importance degree of ${\mathsf{\Phi }}_i$, satisfying ${\displaystyle {\sum }_{i=1}^n{w}_i}=1$ with $w_i\succ 0$. Then, the ATT-P2TLWMSM operator ${\mathsf{\Lambda }}^n\to \mathsf{\Lambda }$ is as follows.

$$ATT-P2TLWMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{w}_{i_j}{\mathsf{\Phi }}_{i_j}\right)}{C_n^m}\right)}^{\frac{1}{m}}$$

(21)

where$\mathsf{\Lambda }$is a set of P2TLNs and$m=1,2,\dots ,n$.

On the basis of the operation rules of P2TLNs in Definition 16, the ATT-P2TLWMSM operators are shown below.

Theorem 3.

Let ${\mathsf{\Phi }}_i=\langle \left(s_i,{\alpha }_i\right),\left({\mu }_{\phi i},{\eta }_{\phi i},{\nu }_{\phi i}\right)\rangle$ $\left(i=1,2,\dots ,n\right)$ be a set of P2TLNs and $m=1,2,\dots ,n$. Then, the result of aggregating via Definition 19 is also a P2TLN.

$$\begin{array}{l}ATT-P2TLWMS{M}^{\left(m\right)}\left({\mathsf{\Phi }}_1,\dots ,{\mathsf{\Phi }}_n\right)={\left(\frac{\underset{1\le i_1<\dots <i_m\le n}{\oplus }\left(\underset{j=1}{\overset{m}{\otimes }}{w}_{i_j}{\mathsf{\Phi }}_{i_j}\right)}{C_n^m}\right)}^{\frac{1}{m}}\\ =\langle \begin{array}{l}\Delta (\left(l-1\right)g^{-1}(\frac{1}{m}g(f^{-1}(\frac{1}{C_n^m}({\displaystyle {\sum }_{1\le i_1<\dots <i_m\le n}f(g^{-1}({\displaystyle {\sum }_{j=1}^{m}g(f^{-1}(w_{i_j}f(}}\end{array}\end{array}$$