Next Article in Journal
Complex Spirals and Pseudo-Chebyshev Polynomials of Fractional Degree
Next Article in Special Issue
Shadowed Sets-Based Linguistic Term Modeling and Its Application in Multi-Attribute Decision-Making
Previous Article in Journal
Developing Secure IoT Services: A Security-Oriented Review of IoT Platforms
Previous Article in Special Issue
Fuzzy AHP Application for Supporting Contractors’ Bidding Decision
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Algorithm for T-Spherical Fuzzy Multi-Attribute Decision Making Based on Improved Interactive Aggregation Operators

1
School of Mathematics, Thapar Institute of Engineering & Technology, Deemed University, Patiala 147004, Punjab, India
2
Department of Mathematics and Statistics, International Islamic University, Islamabad 44000, Pakistan
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(12), 670; https://doi.org/10.3390/sym10120670
Submission received: 6 November 2018 / Revised: 21 November 2018 / Accepted: 23 November 2018 / Published: 27 November 2018
(This article belongs to the Special Issue Fuzzy Techniques for Decision Making 2018)

Abstract

:
The objective of this manuscript is to present some new, improved aggregation operators for the T-spherical fuzzy sets, which is an extension of the several existing sets, such as intuitionistic fuzzy sets, picture fuzzy sets, neutrosophic sets, and Pythagorean fuzzy sets. In it, some new, improved operational laws and their corresponding properties are studied. Further, based on these laws, we propose some geometric aggregation operators and study their various relationships. Desirable properties, as well as some special cases of the proposed operators, are studied. Then, based on these proposed operators, we present a decision-making approach to solve the multi-attribute decision-making problems. The reliability of the presented decision-making method is explored with the help of a numerical example and the proposed results are compared with several prevailing studies’ results. Finally, the superiority of the proposed approach is explained with a counter example to show the advantages of the proposed work.

1. Introduction

The term fuzzy set (FS) was developed by Zadeh [1] based on a characteristic function that described the degree of membership of an element. Atanassov [2] established the theory of intuitionistic fuzzy set (IFS) as a generalization of FS with the help of two characteristic functions, known as membership and non-membership functions, describing the positive and negative aspects of an element or object. In the framework of IFSs, there was a constraint on two characteristic functions, in that their sum must not exceed the unit interval, which restricted the selection of membership and non-membership grades. Accordingly, Atanassov and Gargov [3] extended the IFS to the interval-valued intuitionistic fuzzy sets (IVIFSs), which contain the degrees of agreeing and disagreeing as interval values instead of single digits. Keeping in mind the constraint on IFSs, Yager [4,5] introduced a new generalization of IFSs, known as Pythagorean fuzzy set (PyFS), with a condition that the sum of squares of membership and non-membership grades must not exceed the unit interval.
The frameworks of IFSs and PyFSs have importance in situations where the structure of FSs fails to be applied. But these structures have their own limitations, as in the circumstances of voting where opinion cannot be restricted to “yes” or “no” but some refusal degree and abstinence is also involved. Therefore, Cuong [6,7] developed a novel concept of picture fuzzy sets (PFSs), which is based on four characteristic functions known as membership, non-membership, abstinence, and refusal grades. Cuong’s structure of PFSs is diverse in nature but, similar to IFSs, there is also a restriction in PFSs that the sum of all three membership grades must not exceed the unit interval. In the above-stated environments, various researchers have constructed their methodologies for solving the multi-attribute decision-making (MADM) problems, focusing on information measures, aggregation operators, etc. For instance, Xu [8] presented some weighted averaging aggregation operators (AOs) for intuitionistic fuzzy numbers (IFNs). Garg [9,10] presented some improved interactive AOs for IFNs. Wang and Liu [11] gave interval-valued intuitionistic fuzzy hybrid weighted AOs based on Einstein operations. Wang and Liu [12] presented some hybrid weighted AOs using Einstein norm operations for IFNs. Wang et al. [13] presented some AOs to aggregate various interval-valued intuitionistic fuzzy (IVIF) numbers (IVIFNs). Garg [14,15] presented generalized AOs using Einstein norm operations for Pythagorean fuzzy sets. Xu and Xia [16] proposed induced generalized aggregation tools and applied them in MADM. Garg and Kumar [17] presented some new similarity measures for IVIFNs based on the connection number of the set pair analysis theory. However, apart from these, a comprehensive overview of the different approaches under the IFSs, IVIFSs, PyFSs, etc., to solve MCDM problems are summarized in [18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33].
Apart from the above theories, the concept of the spherical fuzzy sets (SFSs) has been introduced by Mahmood et al. [34], which consists of three membership degrees with a condition that the sum of squares of all degrees must not exceeds one. Further, the concepts of SFSs are extended to T-spherical fuzzy sets T-SFSs, where there are no restrictions on their constants and, hence, T-SFSs can handle all the situations where the frameworks of FSs, IFSs, PyFSs, PFSs, and SFSs failed. For this environment, Mahmood et al. [34] presented some aggregation operators for T-SFSs. Later on, Ullah et al. [35] presented the concept of the symmetry measures for handling the uncertainties under the T-SFSs environment, and applied it to solve the decision-making problems. However, from the existing work, it is noticeable that the existing AOs under the IFSs, PFSs, etc., have failed to handle the situations under some certain cases. For instance, under the IFS environment, if we consider the two IFNs, A = ( 0 , n A ) and B = ( m B , n B ) where m B , n A ,   n B represented degrees of membership grades that lies between zero and one, by applying the geometric AOs, as defined in [36], to such numbers we then get the aggregated numbers as ( 0 , n A + n B n A n B ) . Thus, the final aggregated value of membership degree is zero, irrespective of value of mB. Similarly, for T-SFSs, if we assume A = ( m A , 0 , n A ) and B = ( m B , i B , n B ) then, using the geometric aggregation operators of PFSs [37,38] and T-SFSs [34], we obtain the result of type ( s o m e   v a l u e , 0 , s o m e   v a l u e ) . This shows that the abstinence value of B is not accounted for in aggregation. Further, by taking A = ( 0 , 0 , n A ) and B = ( m B , i B , n B ) , then using the operators defined in [34,37,38], we get ( s o m e   v a l u e , 0 , s o m e   v a l u e ) . This shows that the membership and abstinence value is not accounted for in aggregation. These examples clearly point out the shortcomings that exist in the aggregation operators of PFSs and T-SFSs.
In order to overcome such shortcomings, and by utilizing the advantages of the T-SFSs over the several other existing theories, in this manuscript we have presented some new, improved geometric interactive aggregation operators. For it, firstly, we define some new operational laws by adding the degree of the hesitation into the operations. To do this, the concept of probability membership, non-membership, and heterogeneous are introduced and then some of their desirable properties are studied. Then, based on these proposed operational laws, some weighted, ordered weighted, and hybrid geometric aggregation operators, namely, T-spherical fuzzy weighted geometric interaction averaging (T-SFWGIA), T-spherical fuzzy ordered weighted geometric interaction averaging (T-SFOWGIA), and T-spherical fuzzy hybrid geometric interaction averaging (T-SFHGIA) operators are introduced in the paper. The desirable properties of such operators are investigated in detail. Then, based on such operators, we developed an algorithm for solving the decision-making problem under the T-SFS environment. The practical utility of the proposed approach is demonstrated through a numerical example, and comparative studies investigate the superiority of the approach. Finally, a counter example is provided to show the supremacy of the proposed operators with respect to the existing operators. Therefore, motivated from it, the objectives of the paper are summarized as follows:
(1)
To propose some new operational laws based on the probability membership, non-membership, and heterogeneous laws.
(2)
To define some new, improved weighted geometric aggregation operators under the T-SFSs environment.
(3)
To develop an algorithm for solving the multi-attribute decision-making problems based on the proposed operators.
(4)
To check numerical applicability of the approach to a real-life case, and to compare the outcomes with prevailing approaches.
To do so, the organization of this manuscript is summarized as follows: Section 2 gives a basic overview of the basic concepts of IFSs, PFSs, SFSs, and T-SFSs; Section 3 deals with some new multiplication operations laws and their corresponding weighed geometric AOs; inn Section 4, we present a MADM approach for solving the decision-making problem by using the proposed AOs (here the preferences related to each alternative are summarized in the form of T-SFS information); Section 5 presents a numerical example to illustrate the proposed approach and the comparative analysis; and finally, Section 6 concludes the paper with some concluding remarks.

2. Preliminaries

In this section, we present some basic concepts related to IFS, PyFS, PFS, SFS, and T-SFS over the universal set X.
Definition 1.
[2] An IFS on X consists of membership and non-membership functions defined as
P = { x , m ( x ) , n ( x ) x X }
such that m , n : X [ 0 , 1 ] with a condition 0 m ( x ) + n ( x ) 1     x X Further, the degree of refusal of x in P is r ( x ) = 1 ( m ( x ) + n ( x ) ) and the pair ( m , n ) is regarded as an IFN.
Definition 2.
[4] A Pythagorean fuzzy set (PyFS) on X consists of membership and non-membership functions defined as
P = { x , m ( x ) , n ( x ) x X }
such that m , n : X [ 0 , 1 ] with a condition that 0 m 2 ( x ) + n 2 ( x ) 1     x X . Further, the degree of refusal of x in P is r ( x ) = 1 ( m 2 ( x ) + n 2 ( x ) ) and the pair ( m , n ) is regarded as a Pythagorean fuzzy number (PyFN).
Definition 3.
[6] A picture fuzzy set (PFS) on X consists of membership, abstinence, and non-membership functions defined as
  P = { x , m ( x ) , i ( x ) , n ( x ) x X }
such that m , i , n : X [ 0 , 1 ] with a condition that 0 m ( x ) + i ( x ) + n ( x ) 1     x X Further, the degree of refusal of x in P is r ( x ) = 1 ( m ( x ) + i ( x ) + n ( x ) ) and ( m , i , n ) is regarded as a picture fuzzy number (PFN).
Definition 4.
[34] A spherical fuzzy set (SFS) on X consists of membership, abstinence, and non-membership functions defined as
P = { x , m ( x ) , i ( x ) , n ( x ) x X }
such that m , i , n : X [ 0 , 1 ] with a condition that 0 m 2 ( x ) + i 2 ( x ) + n 2 ( x ) 1     x X Further, the degree of refusal of x in P is r ( x ) = 1 ( m 2 ( x ) + i 2 ( x ) + n 2 ( x ) ) and ( m , i , n ) is regarded as a spherical fuzzy number (SFN).
Definition 5.
[34] A T-SFS on X consists of membership, abstinence, and non-membership functions defined as
  P = { x , m ( x ) , i ( x ) , n ( x ) x X }
such that m , i , n : X [ 0 , 1 ] with a condition that 0 m t ( x ) + i t ( x ) + n t ( x ) 1     x X   t = 1 , 2 , k . Further, the degree of refusal of x in P is r ( x ) = 1 ( m t ( x ) + i t ( x ) + n t ( x ) ) t and ( m , i , n ) is regarded as a T-spherical fuzzy number (T-SFN).
Definition 6.
[34] Let P = ( m , i , n ) be a T-SFS. Then the score value of P is defined as
  S C ( P ) = m t n t
and accuracy function is defined as
  A C ( P ) = m t + i t + n t
The one which has a greater score is the superior value. If the score of two T-SFNs is equal, then we rank them using the accuracy value, and a number is called superior if it has greater accuracy. If again accuracy values of two T-SFNs become equal, then both numbers are considered as similar.
Definition 7.
[39] Let P = ( m P , n P ) and P = ( m P , n P ) be two IFNs. Then the existing operational laws between them are defined as
(1)
P P = ( ( 1 n P ) ( 1 n P ) ( 1 m P n P ) ( 1 m P n P ) ) , 1 ( 1 n P ) ( 1 n P ) )
(2)
P λ = ( ( 1 n P ) λ ( 1 m P n P ) λ , 1 ( 1 n P ) λ ) .
Definition 8.
For any collection of T-SFNs P j = m j , i j , n j   ( j = 1 , 2 , 3 , , k ) , [34] defined the T-spherical fuzzy weighted geometric aggregation operator (T-SFWGA) as
  T SFWGA w ( P 1 , P 2 , , P k ) = ( j = 1 k ( m j t + i j t ) w j j = 1 k ( i j t ) w j t , j = 1 k ( i j ) w j ,   1 j = 1 k ( 1 n j t ) w j t )
where w = ( w 1 ,   w 2 , w k ) T be the weighting vector of T-SFNs P j with w j ( 0 , 1 ] and j = 1 k w j = 1 and t = 1 , 2 , k .

3. Proposed Operational Laws and Aggregation Operators

This section is divided into two subsections. One presents the improved operations laws for the T-SFSs, while other presents some improved geometric AOs under the T-SFS environment.

3.1. Improved Operational Laws

In this section, we present some new, improved operations laws by incorporating the features of the degree of refusal into the analysis.
Definition 9.
Let P 1 = ( m P 1 , i P 1 , n P 1 ) and P 2 = ( m P 2 , i P 2 , n P 2 ) be two T-SFNs. Then, the proposed operational laws are defined as
(1)
P 1 P 2 = ( ( 1 n P 1 t ) ( 1 n P 2 t ) ( 1 m P 1 t i P 1 t n P 1 t ) ( 1 m P 2 t i P 2 t n P 2 t ) i P 1 t i P 2 t t ,   1 ( 1 i P 1 t ) ( 1 i P 2 t ) t ,   1 ( 1 n P 1 t ) ( 1 n P 2 t ) t )
(2)
P λ = ( ( 1 n P t ) λ ( 1 m P t i P t n P t ) λ i P t λ t ,   1 ( 1 i P t ) λ t ,   1 ( 1 n P t ) λ t )
For two T-SFNs, P 1 = ( m P 1 , i P 1 , n P 1 ) and P 2 = ( m P 2 , i P 2 , n P 2 ) , new operations of multiplication can be construed from four aspects, such as between:
(1)
Two non-membership functions of different T-SFNs.
(2)
Two membership functions of different T-SFNs.
(3)
Membership and non-membership functions of different T-SFNs.
(4)
Two neutral functions of different T-SFNs.
These multiplication rules are of the form:
  • E ( n P 1 , n P 2 ) = n P 1 . n P 2 . Therefore, n P 1 P 2 = ( n P 1 t + n P 2 t n P 1 t n P 2 t ) t is considered as a probability non-membership (PN) function operator, that is,
    P N ( n P 1 ,   n P 2 ) = n P 1 t + n P 2 t n P 1 t n P 2 t t
  • E ( m P 1 , m P 2 ) = ( m P 1 + i P 1 ) . ( m P 1 + i P 1 ) . Therefore, m P 1 P 2 = 1 ( 1 ( m P 1 t + i P 1 t ) ) ( 1 ( m P 2 t + i P 2 t ) ) t   is considered as a probability membership (PM) function operator, that is,
      P M ( m P 1 , m P 2 ) = 1 ( 1 m P 1 t i P 1 t ) ( 1 m P 1 t i P 1 t ) t
  • I ( n P 1 , m P 2 ) = ( m P 2 t + i P 2 t ) n P 1 t . I ( n P 1 , m P 2 ) t is considered as a probability heterogeneous (PH) function operator, that is,
      P H ( n P 1 , m P 2 ) = m P 2 t n P 1 t + i P 2 t n P 1 t t
  • I ( i P 1 , i P 2 ) = i P 1 . i P 2 . Therefore, i P 1 P 2 = ( i P 1 t + i P 2 t i P 1 t i P 2 t ) . i P 1 P 2 t is considered as a probability neutral (PNe) function operator, that is,
      P N e ( i P 1 ,   i P 2 ) = i P 1 t + i P 2 t i P 1 t i P 2 t t
From the proposed laws, it is observed that the several existing laws can be considered as a special case of it. For instance,
(i)
For t = 2 , above operations become valid for SFNs.
(ii)
For t = 1 , above operations become valid for PFNs.
(iii)
For t = 2 and i = 0 , above operations become valid for PyFNs.
(iv)
For t = 1 and i = 0 , above operations become valid for IFNs.
Further, it is observed that for the above defined PN, PH satisfies the following properties:
Theorem 1.
Let P = m P , i P , n P , Q = m Q , i Q , n Q , R = m R , i R , n R and D = m D , i D , n D be four T-SFNs. Then, we have:
(1)
Boundedness: P N ( 1 , 1 ) = 1 , P N ( 0 , 0 ) = 0 , 0 P N ( n P , n Q ) 1 .
(2)
Monotonicity: If n P n R and n Q n D . Then P N ( n P , n Q ) P N ( n R , n D ) .
(3)
Commutativity: P N ( n P , n Q ) = P N ( n Q , n P ) .
Proof. 
(1) For two T-SFNs, P and Q, and by definition of PN, we have P N ( n P ,   n Q ) = n P t + n Q t n p t n Q t t . Thus, we have PN(1,1) = 1 and PN(0,0) = 0. Further, since n P , n Q [ 0 , 1 ] and t Z , which implies that n P t + n Q t n P t n Q t = 1 ( 1 n P t ) ( 1 n Q t ) 1 . Also, P N ( n P , n Q ) 0 . Therefore, 0 P N ( n P , n Q ) 1 .
(2) Since n P n R and n Q n D . Thus, for any t Z , we get 1 n P t 1 n R t and 1 n Q t 1 n D t , and hence 1 ( 1 n P t ) ( 1 n Q t ) 1 ( 1 n R t ) ( 1 n D t ) . Thus, P N ( n P , n Q ) P N ( n R , n D ) holds.
(3) Holds trivial. □
Theorem 2.
Let P = m P , i P , n P , Q = m Q , i Q , n Q , R = m R , i R , n R and S = m S , i S , n S be four T-SFN. Then:
(1)
Boundedness: P H ( 1 , 0 , 1 ) = 1 , P H ( 0 , 0 , 0 ) = 0 , 0 P H ( m P , i P , n P ) 1 .
(2)
Monotonicity: If m P m R ,   i P i R   a n d   n Q n S . Then P H ( m P , i P , n Q ) P H ( m R , i R , n S ) and if n P n R ,   i Q i S   a n d   m Q m S . Then P H ( n P , i Q , n Q ) P H ( n R , i S , m S )
(3)
Commutativity: P H ( m P , i P , n P ) = P H ( n P , i P , m P ) .
Proof. 
Similar to Theorem 1, so we omit here.
Theorem 3.
If P and Q are two T-SFNs and λ > 0 is a real number, then P Q   a n d   P λ are also T-SFNs.
Proof. 
Follows from the definition easily, so we omit here.
Theorem 4.
Let P 1 = m , i , n , P 2 = m , i , n be a T-SFNs, λ , λ 1 , λ 2 > 0 be real numbers. Then we have
(1)
P 1 P 2 = P 2 P 1
(2)
( P 1 P 2 ) λ = P 1 λ P 2 λ
(3)
P 1 λ 1 P 1 λ 2 = P 1 λ 1 + λ 2 .
Proof. 
Follows from the definition easily, so we omit here.

3.2. Aggregation Operators

In this section, based on the above proposed operational laws, we have proposed some series of geometric interactive improved AOs, namely, T-SFWGIA, T-SFOWGIA, and T-SFHGIA, under the T-SFS environment.
Definition 10.
For any collection, P j = m j , i j , n j   ( j = 1 , 2 , 3 , , k ) of T-SFNs. If the mapping
  T S F W G I A w ( P 1 , P 2 , , P k ) = j = 1 k P j w j
then T S F W G I A w is called a T-Spherical fuzzy weighted geometric interactive averaging (T-SFWGIA) operator, where w = ( w 1 , w 2 , w k ) T is the weighting vector of P j with w j ( 0 , 1 ] and j = 1 k w j = 1 .
Theorem 5.
For any collection of T-SFNs, P j = m j , i j , n j   ( j = 1 , 2 , 3 , , k ) , the aggregated values obtained by using Definition 10 is still T-SFNs and is given by:
  T S F W G I A w ( P 1 , P 2 , , P k ) = ( j = 1 k ( 1 n j t ) w j j = 1 k ( 1 m j t i j t n j t ) w j j = 1 k ( i j t ) w j t , 1 j = 1 k ( 1 i j t ) w j t ,   1 j = 1 k ( 1 n j t ) w j t )
Proof. 
For any collection of T-SFNs, P j = m j , i j , n j   ( j = 1 , 2 , 3 , , k ) , we shall proof the result by induction on k.
For k = 1 , we have:
T S F W G I A w ( P 1 ) = P 1 w 1   = ( m 1 , i 1 , n 1 ) = ( ( 1 n 1 t ) 1 ( 1 ( m 1 t + i 1 t + n 1 t ) ) 1 ( i 1 t ) 1 t , 1 1 + ( i 1 t ) 1 t , 1 1 + ( n 1 t ) 1 t )
Thus, hold for k = 1 . Now, the result holds for n = m :
  T S F W G I A w ( P 1 , P 2 , , P m ) = ( j = 1 m ( 1 n j t ) w j j = 1 m ( 1 m j t i j t n j t ) w j j = 1 m ( i j t ) w j t , 1 j = 1 m ( 1 i j t ) w j t ,   1 j = 1 m ( 1 n j t ) w j t )
Then for k = m + 1 , we have:
T S F W G I A w ( P 1 , P 2 , , P m + 1 ) = j = 1 m + 1 P j w j = T S F W G I A w ( P 1 , P 2 , , P m ) P m + 1 w m + 1 = ( j = 1 m ( 1 n j t ) w j j = 1 m ( 1 m j t i j t n j t ) w j j = 1 m ( i j t ) w j t , 1 j = 1 m ( 1 i j t ) w j t ,   1 j = 1 m ( 1 n j t ) w j t ) ( ( 1 n j t ) w j ( 1 m j t i j t n j t ) w j ( i j t ) w j t , 1 ( 1 i j t ) w j t ,   1 ( 1 n j t ) w j t ) = ( j = 1 m + 1 ( 1 n j t ) w j j = 1 m + 1 ( 1 m j t i j t n j t ) w j j = 1 m + 1 ( i j t ) w j t , 1 j = 1 m + 1 ( 1 i j t ) w j t ,   1 j = 1 m + 1 ( 1 n j t ) w j t )
So, the result holds for   k = m + 1 . Therefore, by the principle of mathematical induction, the result holds for all k Z + . □
Theorem 6.
If P j = ( m j , i j , n j ) , j = 1 , , k   are T-SFNs. Then the aggregated value using the T-SFWGIA operator is also T-SFN.
Proof. 
Since P j = ( m j , i j , n j ) is a T-SFN, j = 1 , , k , we have 0 m j , i j , n j 1 . So 0 m j t , i j t , n j t 1 and 0 m j t + i j t + n j t 1 . Then:
  j = 1 k ( 1 n j t ) w j j = 1 k ( 1 m j t i j t n j t ) w j j = 1 k ( i j t ) w j 1   0   1 j = 1 k ( 1 i j t ) w j 1   0   1 j = 1 k ( 1 n j t ) w j 1
Now:
j = 1 k ( 1 n j t ) w j j = 1 k ( 1 ( m j t + i j t + n j t ) ) w j j = 1 k ( i j t ) w j + 1 j = 1 k ( 1 i j t ) w j + 1 j = 1 k ( 1 n j t ) w j   t = 2 j = 1 k ( 1 ( m j t + i j t + n j t ) ) w j j = 1 k ( i j t ) w j j = 1 k ( 1 i j t ) w j t [ 0 , 1 ]
Thus, T S F W G I A w ( P 1 , , P k ) is T-SFN.
Further, it is observed that the proposed operator satisfies certain properties, which are listed as follows: □
Theorem 7.
If all T-SFNs, P j ( j = 1 , 2 , , k ) , are equal to P 0 , where P 0 is another T-SFN, then
  T S F W G I A w ( P 1 , , P k ) = P 0
Proof. 
Assume that P j = P 0 = ( m 0 , i 0 , n 0 ) is a T-SFN j . Then, by definition of T-SFWGIA operator, we have:
T S F W G I A w ( P 1 , P 2 , , P k ) = ( j = 1 k ( 1 n j t ) w j j = 1 k ( 1 ( m j t + i j t + n j t ) ) w j j = 1 k ( i j t ) w j t , 1 j = 1 k ( 1 i j t ) w j t ,   1 j = 1 k ( 1 n j t ) w j t ) = ( ( 1 n j t ) j = 1 k w j ( 1 ( m j t + i j t + n j t ) ) j = 1 k w j ( i j t ) j = 1 k w j t ,   1 ( 1 i j t ) j = 1 k w j t , 1 ( 1 n j t ) j = 1 k w j t   )   = ( m 0 , i 0 , n 0 ) = P 0
Theorem 8.
If P j = ( m j , i j , n j ) is a T-SFN and
  P L = ( m a x { 0 , ( m i n ( m j + i j + n j ) m i n   i j m a x   n j ) } , m i n   i j , m a x   n j ) , P U = ( m a x ( m j + i j + n j ) m a x   i j m i n   n j , m a x   i j , m i n   n j ) .   Then , we   have   P L T S F W G I A w ( P 1 , , P k ) P U
Proof is straightforward.
Theorem 9.
For a collection of two different T-SFNs, A j = ( m A j , i A j , n A j ) , ( j = 1 , 2 , , k ) and B j = ( m B j , i B j , n B j ) , ( j = 1 , 2 , , k ) , which satisfy the following inequalities if n A j n B j ,   i A j i B j and m A j t + i A j t + n A j t m B j t + i B j t + n B j t   j , then we have
TSFWGIAw (A1, A2,…,Ak) ≤ TSFWGIAw (B1, B2,…,Bk)
Proof. 
Since n A j n B j , we have:
  1 j = 1 k ( 1 n A j t ) w j t 1 j = 1 k ( 1 n B j t ) w j t
and i A j i B j
  1 j = 1 k ( 1 i A j t ) w j t 1 j = 1 k ( 1 i B j t ) w j t
As, n A j n B j ,   m A j t + i A j t + n A j t m B j t + i B j t + n B j t   j   we have:
  ( j = 1 k ( 1 n A j t ) w j j = 1 k ( 1 ( m A j t + i A j t + n A j t ) ) w j j = 1 k ( i A j t ) w j t , 1 j = 1 k ( 1 i A j t ) w j t ,   1 j = 1 k ( 1 n A j t ) w j t ) ( j = 1 k ( 1 n B j t ) w j j = 1 k ( 1 ( m B j t + i B j t + n B j t ) ) w j j = 1 k ( i B j t ) w j t , 1 j = 1 k ( 1 i B j t ) w j t ,   1 j = 1 k ( 1 n B j t ) w j t )
Therefore, we have:
  T S F W G I A w ( A 1 , A 2 , , A k ) T S F W G I A w ( B 1 , B 2 , , B k )
Definition 11.
[34] For any collection, P j = ( m j ,   i j ,   n j )   ( j = 1 , 2 , , k ) of T-SFNs. The T S F O W G A w : Ω n Ω is a mapping defined as
  T S F O W G A w ( P 1 , P 2 , , P k ) = ( j = 1 k ( m σ ( j ) t + i σ ( j ) t ) w j j = 1 k ( i σ ( j ) t ) w j t , j = 1 k ( i σ ( j ) ) w j ,   1 j = 1 k ( 1 n σ ( j ) t ) w j t )
where Ω is the collection of all T-SFNs, then T S F O W G A w is called a T-SFOWGA operator with weighting vector w = ( w 1 ,   w 2 , w k ) T of P j with w j ( 0 , 1 ] and j = 1 k w j = 1 .
Definition 12.
For any collection, P j = ( m j , i j , n j ) ,   ( j = 1 , 2 , , k ) of T-SFNs. The T S F O W G I A w : Ω n Ω is a mapping defined as:
  T S F O W G I A w ( P 1 , P 2 , , P k ) = j = 1 k P σ ( j ) w j
then T S F O W G I A w is called T-SFOWGIA operator, where w = ( w 1 , w 2 , w k ) T is the weighting vector of P j with w j ( 0 , 1 ] and j = 1 k w j = 1 and σ is the permutation of {1, 2, …, k}, such that σ(j − 1) ≥ σ(j).
Theorem 10.
For any collection P j =   ( m j , i j , n j ) ,   ( j = 1 , 2 , , k ) of T-SFNs. Then
T S F O W G I A w ( P 1 , P 2 , , P k ) = ( j = 1 k ( 1 n σ ( j ) t ) w j j = 1 k ( 1 ( m σ ( j ) t + i σ ( j ) t + n σ ( j ) t ) ) w j j = 1 k ( i σ ( j ) t ) w j t , 1 j = 1 k ( 1 i σ ( j ) t ) w j t ,   1 j = 1 k ( 1 n σ ( j ) t ) w j t )
Proof is similar to Theorem 5.
Theorem 11.
If P j = ( m j , i j , n j ) is a T-SFN, j = 1 , , k . Then the aggregated value using the T-SFOWGIA operator is also T-SFN.
Proof. 
Since P σ ( j ) = ( m σ ( j ) , i σ ( j ) , n σ ( j ) ) is a T-SFN, j = 1 , , k , we have 0 m σ ( j ) , i σ ( j ) , n σ ( j ) 1 . So 0 m σ ( j ) t , i σ ( j ) t , n σ ( j ) t 1 and 0 m σ ( j ) t + i σ ( j ) t + n σ ( j ) t 1 . Then:
0   j = 1 k ( 1 n σ ( j ) t ) w j j = 1 k ( 1 ( m σ ( j ) t + i σ ( j ) t + n σ ( j ) t ) ) w j j = 1 k ( i σ ( j ) t ) w j 1   0   1 j = 1 k ( 1 i σ ( j ) t ) w j 1 0   1 j = 1 k ( 1 n σ ( j ) t ) w j 1
Now:
j = 1 k ( 1 n σ ( j ) t ) w j j = 1 k ( 1 ( m σ ( j ) t + i σ ( j ) t + n σ ( j ) t ) ) w j j = 1 k ( i σ ( j ) t ) w j + 1 j = 1 k ( 1 i σ ( j ) t ) w j + 1 j = 1 k ( 1 n σ ( j ) t ) w j t = 2 j = 1 k ( 1 ( m σ ( j ) t + i σ ( j ) t + n σ ( j ) t ) ) w j j = 1 k ( i σ ( j ) t ) w j j = 1 k ( 1 i σ ( j ) t ) w j t [ 0 , 1 ]
Thus, T S F O W G I A w ( P 1 , , P k ) is T-SFN. □
Theorem 12.
T S F O W G I A w ( P 1 , , P k ) = P 0 if P j = P 0 = ( m j , i j , n j ) is a T-SFN j .
Proof. 
We have:
T S F O W G I A w ( P 1 , P k ) = ( j = 1 k ( 1 n σ ( j ) t ) w j j = 1 k ( 1 ( m σ ( j ) t + i σ ( j ) t + n σ ( j ) t ) ) w j j = 1 k ( i σ ( j ) t ) w j t , 1 j = 1 k ( 1 i σ ( j ) t ) w j t ,   1 j = 1 k ( 1 n σ ( j ) t ) w j t ) = ( ( 1 n σ ( j ) t ) j = 1 k w j ( 1 ( m σ ( j ) t + i σ ( j ) t + n σ ( j ) t ) ) j = 1 k w j ( i σ ( j ) t ) j = 1 k w j t ,   1 ( 1 i σ ( j ) t ) j = 1 k w j t ,   1 ( 1 n σ ( j ) t ) j = 1 k w j t   ) = ( m σ ( 0 ) , i σ ( 0 ) , n σ ( 0 ) ) = P 0
 □
Theorem 13.
If P j = ( m j , i j , n j ) is a T-SFN and
P L = ( m a x { 0 , ( m i n ( m j + i j + n j ) m i n   i j m a x   n j ) } , m i n   i j , m a x   n j ) , P U = ( m a x ( m j + i j + n j ) m a x   i j m i n   n j ) } , m a x   i j , m i n   n j ) .   Then P L T S F O W G I A ( P 1 , , P k ) P U
Proof is straightforward.
Theorem 14.
T S F O W G I A w ( B 1 B 2 , , B k ) = T S F O W G I A w ( A 1 , , A k ) if B j = ( m B j , i B j , n B j ) is any permutation of A j = ( m A j , i A j , n A j ) where j = 1 , , k .
Proof. 
T S F O W G I A w ( B 1 , B 2 B k ) = ( j = 1 k ( 1 n B σ ( j ) t ) w j j = 1 k ( 1 ( m B σ ( j ) t + i B σ ( j ) t + n B σ ( j ) t ) ) w j j = 1 k ( i B σ ( j ) t ) w j t , 1 j = 1 k ( 1 i B σ ( j ) t ) w j t ,   1 j = 1 k ( 1 n B σ ( j ) t ) w j t   ) T S F O W G I A w ( A 1 , A 2 A k ) = ( j = 1 k ( 1 n A σ ( j ) t ) w j j = 1 k ( 1 ( m A σ ( j ) t + i A σ ( j ) t + n A σ ( j ) t ) ) w j j = 1 k ( i A σ ( j ) t ) w j t , 1 j = 1 k ( 1 i A σ ( j ) t ) w j t ,   1 j = 1 k ( 1 n A σ ( j ) t ) w j t   )
If B j = ( m B j , i B j , n B j ) is any permutation of A j = ( m A j , i A j , n A j ) then we have B σ ( j ) = A σ ( j ) . Thus, T S F O W G I A w ( B 1 , , B k ) = T S F O W G I A w ( A 1 , , A k ) . □
Definition 13.
For any collection, P j = m j , i j , n j of T-SFNs   ( j = 1 , 2 , 3 , , k ) . If the mapping
  T S F H G A ω , w ( P 1 , P 2 , , P k ) = j = 1 k ( P ˜ σ ( j ) ) w i
then T S F H G A ω , w is called a T-SFHGA operator, where P ˜ j = ( P j ) n ω j and ω = ( ω 1 , ω k ) T is the weighting vector of P j with ω j ( 0 , 1 ] and j = 1 k ω j = 1 .
Theorem 15.
[34] For any collection, P j = m j , i j , n j   ( j = 1 , 2 , 3 , , k ) of T-SFNs. If
T S F H G A ω , w ( P 1 , P 2 , , P k ) = ( j = 1 k ( m P ˜ σ ( j ) t + i P ˜ σ ( j ) t ) w j j = 1 k ( i P ˜ σ ( j ) t ) w j t , j = 1 k ( i P ˜ σ ( j ) ) w j ,   1 j = 1 k ( 1 n P ˜ σ ( j ) t ) w j t )
then T S F H G A ω , w is called a T-SFHGA operator with weighting vector ω = ( ω 1 ,   ω 2 , ω k ) T of P j with ω j ( 0 , 1 ] and j = 1 k ω j = 1 .
Definition 14.
For any collection, P j = m j , i j , n j   ( j = 1 , 2 , 3 , , k ) of T-SFNs. If the mapping
  T S F H G I A ω ,   w ( P 1 , P 2 , , P k ) = j = 1 k P ˜ σ ( j ) w j
then T S F H G I A ω , w is called a T-SFHGIA operator, where ω = ( ω 1 , ω 2 , ω k ) T is the weighting vector of P j with ω j [ 0 , 1 ] and j = 1 k w j = 1 .
Theorem 16.
For any collection, P j = m j , i j , n j   ( j = 1 , 2 , 3 , , k ) of T-SFNs. Then
T S F H G I A ω ,   w ( P 1 , P 2 , , P k ) = ( j = 1 k ( 1 n P ˜ σ ( j ) t ) w j j = 1 k ( 1 ( m P ˜ σ ( j ) t + i P ˜ σ ( j ) t + n P ˜ σ ( j ) t ) ) w j j = 1 k ( i P ˜ σ ( j ) t ) w j t , 1 j = 1 k ( 1 i P ˜ σ ( j ) t ) w j t ,   1 j = 1 k ( 1 n P ˜ σ ( j ) t ) w j t )
The following example demonstrates these aggregation operators:
Example 1.
Let P 1 = ( 0.3 , 0.8 , 0.1 ) , P 2 = ( 0.4 , 0.3 , 0.6 ) , P 3 = ( 0.7 , 0.1 , 0.5 ) , P 4 = ( 0.9 , 0.4 , 0.1 ) and P 5 = ( 0.2 , 0.6 , 0.7 ) are T-SFN. The weight vector for P i   ( i = 1 , 2 , , 5 ) is ω = ( 0.18 , 0.22 , 0.16 , 0.21 , 0.23 ) T . With loss of generality, we use t = 2 for all calculations.
Firstly, we utilized T-SFHGIA operators on this data to aggregate it.
P 1 = ( ( 1 0.1 2 ) 5 × 0.18 ( 1 ( 0.3 2 + 0.8 2 + 0.1 2 ) ) 5 × 0.18 ( 0.8 2 ) 5 × 0.18 ,   1 ( 1 0.8 2 ) 5 × 0.18 , 1 ( 1 0.1 2 ) 5 × 0.18 ) =   ( 0.1559 ,   0.7754 ,   0.0949 ) P 2 = ( ( 1 0.6 2 ) 5 × 0.22 ( 1 ( 0.4 2 + 0.3 2 + 0.6 2 ) ) 5 × 0.22 ( 0.3 2 ) 5 × 0.22 ,   1 ( 1 0.3 2 ) 5 × 0.22 , 1 ( 1 0.6 2 ) 5 × 0.22 ) =   ( 0.4317 ,   0.3139 ,   0.6228 ) P 3 = (   ( 1 0.5 2 ) 5 × 0.16 ( 1 ( 0.7 2 + 0.1 2 + 0.5 2 ) ) 5 × 0.16 ( 0.1 2 ) 5 × 0.16 ,   1 ( 1 0.1 2 ) 5 × 0.16 , 1 ( 1 0.5 2 ) 5 × 0.16 ) =   ( 0.6629 ,   0.0895 ,   0.4534 ) P 4 = ( ( 1 0.1 2 ) 5 × 0.21 ( 1 ( 0.9 2 + 0.4 2 + 0.1 2 ) ) 5 × 0.21 ( 0.4 2 ) 5 × 0.21 ,   1 ( 1 0.4 2 ) 5 × 0.21 , 1 ( 1 0.1 2 ) 5 × 0.21 ) =   ( 0.9094 , 0.4090 , 0.1024 ) P 5 = ( ( 1 0.7 2 ) 5 × 0.23 ( 1 ( 0.2 2 + 0.6 2 + 0.7 2 ) ) 5 × 0.23 ( 0.6 2 ) 5 × 0.23 ,   1 ( 1 0.6 2 ) 5 × 0.23 , 1 ( 1 0.7 2 ) 5 × 0.23 ) =   ( 0.2705 , 0.6336 , 0.7342 )
The score values corresponding to these aggregated numbers were obtained as S C ( P 1 ) = 0.0153 ,   S C ( P 2 ) = 0.2016 ,   S C ( P 3 ) = 0.2338 ,   S C ( P 4 ) = 0.8166 ,   S C ( P 5 ) = 0.4658 . Based on the score values, we had the following arrangement of data:
P σ ( 1 ) = ( 0.9094 , 0.4090 , 0.1024 ) , P σ ( 2 ) = ( 0.6629 ,   0.0895 ,   0.4534 ) ,   P σ ( 3 ) = ( 0.1559 ,   0.7754 ,   0.0949 ) ,
P σ ( 4 ) = ( 0.4317 ,   0.3139 ,   0.6228 ) , P σ ( 5 ) = ( 0.2705 , 0.6336 , 0.7342 )
By using the normal distribution-based method, we found w = ( 0.1117 , 0.2365 , 0.3036 , 0.2365 , 0.1117 ) T and by the definition of T-SFHGIA operator we had
  T S F H G I A ω , w ( P 1 , P 2 , P 3 , P 4 , P 5 ) = ( 0.4688 , 0.5643 , 0.4792 )
Theorem 17.
If P j = ( m j , i j , n j ) is a T-SFN ,   j = 1 , , k , then the aggregated value using the T-SFHGIA operator is also T-SFN.
Proof is similar as in Theorem 11.
Theorem 18.
T S F H G I A ω ,   w ( P 1 , P 2 , , P k ) = P 0 if P j = P 0 = ( m j , i j , n j ) is a T-SFN   j .
Proof is similar as in Theorem 12.
Theorem 19.
If P j = ( m j , i j , n j ) is a T-SFN and
P L = ( m a x { 0 , ( m i n ( m j + i j + n j ) m i n   i j m a x   n j ) } , m i n   i j , m a x   n j ) , P U = ( m a x ( m j + i j + n j ) m a x   i j m i n   n j , m a x   i j , m i n   n j ) .   Then P L T S F H G I A ω , w ( P 1 , , P k ) P U
Proof is straightforward.
Theorem 20.
T S F H G I A ω , w ( B 1 , , B k ) = T S F H G I A ω , w ( A 1 , , A k ) if B j = ( m B j , i B j , n B j ) is any permutation of A j = ( m A j , i A j , n A j ) where j = 1 , , k .
Proof is similar as Theorem 14.
Whenever membership and neutral number of one T-SFN become zero then the membership and abstinence value is not accounted for in the aggregation [34]. However, the geometric interaction averaging operators that are developed in our manuscript overcome this problem. The example below will describe this more clearly.
Example 2.
Let P 1 = ( 0.7 , 0.5 , 0.6 ) , P 2 = ( 0.9 , 0.5 , 0.4 ) , P 3 = ( 0 , 0 , 0.1 ) , P 4 = ( 0.5 , 0.3 , 0.4 ) and P 5 = ( 0.6 , 0.4 , 0.5 ) are T-SFN. The weight vector for P i   ( i = 1 , 2 , , 5 ) is ω = ( 0.18 , 0.22 , 0.16 , 0.21 , 0.23 ) T .
For the solution, first we will find the T-SFHGA operator.
As, 0.7 + 0.5 + 0.6 = 1.8 [ 0 , 1 ] ,   0.7 2 + 0.5 2 + 0.6 2 = 1.1 [ 0 , 1 ] but 0.7 3 + 0.5 3 + 0.6 3 = 0.684 [ 0 , 1 ]
Similarly, P 2 and P 4 satisfy the condition for t = 3 .
P ˜ 1 = ( ( 0.7 3 + 0.5 3 ) 5 × 0.18 ( 0.5 3 ) 5 × 0.18 3 , 0.5 5 × 0.18 ,   1 ( 1 0.6 3 ) 5 × 0.18 3 )   =   ( 0.7054 , 0.5359 , 0.5816 ) P ˜ 2   =   ( ( 0.9 3 + 0.5 3 ) 5 × 0.22 ( 0.5 3 ) 5 × 0.22 3 , 0.5 5 × 0.22 , 1 ( 1 0.4 3 ) 5 × 0.22 3 )   =   ( 0.9041 , 0.4665 , 0.4125 ) P ˜ 3   =   ( ( 0 3 + 0 3 ) 5 × 0.16 ( 0 3 ) 5 × 0.16 3 , 0 5 × 0.16 , 1 ( 1 0.1 3 ) 5 × 0.16 3 )   =   ( 0 , 0 , 0.0928 ) P ˜ 4   =   ( ( 0.5 3 + 0.3 3 ) 5 × 0.21 ( 0.3 3 ) 5 × 0.21 3 , 0.3 5 × 0.21 , 1 ( 1 0.4 3 ) 5 × 0.21 3 )   =   ( 0.4874 , 0.2885 , 0.4063 ) P ˜ 5 = ( ( 0.6 3 + 0.4 3 ) 5 × 0.23 ( 0.4 3 ) 5 × 0.23 3 , 0.4 5 × 0.23 , 1 ( 1 0.5 3 ) 5 × 0.23 3 )   =   ( 0.5738 , 0.3486 , 0.5221 )
Scores values for these aggregated numbers were obtained as S C ( P ˜ 1 ) = 0.1543 ,   S C ( P ˜ 2 ) = 0.6689 ,   S C ( P ˜ 3 ) = 0.0008 ,   S C ( P ˜ 4 ) = 0.0487 ,   S C ( P ˜ 5 ) = 0.0466 , and, based on these score values, we had
P ˜ σ ( 1 ) = ( 0.9041 , 0.4665 , 0.4125 ) , P ˜ σ ( 2 ) = ( 0.7054 , 0.5359 , 0.5816 ) , P ˜ σ ( 3 ) = ( 0.4874 , 0.2885 , 0.4063 ) ,   P ˜ σ ( 4 ) = ( 0.5738 , 0.3486 , 0.5221 ) , P ˜ σ ( 5 ) = ( 0 , 0 , 0.0928 )
By using the normal distribution-based method, we found w = ( 0.1117 , 0.2365 , 0.3036 , 0.2365 , 0.1117 ) T , and, by the definition of T-SFHGA operator, we found
  T SFHGA ω , w ( P 1 , P 2 , P 3 , P 4 , P 5 ) = ( 0 , 0 , 0.4803 )  
This type of aggregated value seems meaningless, as whenever the membership and abstinence value is zero in any one of the T-SFN it will make the value of the membership and non-membership as zero in the whole aggregated value. This shows that the geometric aggregation operator of T-SFSs [34] does not possess the ability to aggregate such types of information effectively.
On the other hand, the proposed new geometric interactive aggregation operators can process any type of information effectively. Now, the Example 2 was solved using the proposed new aggregation operators in order to justify its effectiveness. For it, we aggregated the data using the T-SFHGIA operator:
  P 1 = ( ( 1 0.6 3 ) 5 × 0.18 ( 1 ( 0.7 3 + 0.5 3 + 0.6 3 ) ) 5 × 0.18 ( 0.5 3 ) 5 × 0.18 3 ,   1 ( 1 0.5 3 ) 5 × 0.18 3 , 1 ( 1 0.6 3 ) 5 × 0.18 3 ) =   ( 0.6656 ,   0.5359 ,   0.5816 ) P 2 = ( ( 1 0.4 3 ) 5 × 0.22 ( 1 ( 0.9 3 + 0.5 3 + 0.4 3 ) ) 5 × 0.22 ( 0.5 3 ) 5 × 0.22 3 , 1 ( 1 0.5 3 ) 5 × 0.22 3 ,   1 ( 1 0.4 3 ) 5 × 0.22 3 ) =   ( 0.9144 ,   0.4665 ,   0.4125 ) P 3 = (   ( 1 0.1 3 ) 5 × 0.16 ( 1 ( 0 3 + 0 3 + 0.1 3 ) ) 5 × 0.16 ( 0 3 ) 5 × 0.16 3 , 1 ( 1 0 3 ) 5 × 0.16 3 ,   1 ( 1 0.1 3 ) 5 × 0.16 3 ) =   ( 0 ,   0 ,   0.0928 ) P 4 = ( ( 1 0.4 3 ) 5 × 0.21 ( 1 ( 0.5 3 + 0.3 3 + 0.4 3 ) ) 5 × 0.21 ( 0.3 3 ) 5 × 0.21 3 , 1 ( 1 0.3 3 ) 5 × 0.21 3 ,   1 ( 1 0.4 3 ) 5 × 0.21 3 ) =   ( 0.5141 , 0.2885 , 0.4063 ) P 5 = ( ( 1 0.5 3 ) 5 × 0.23 ( 1 ( 0.6 3 + 0.4 3 + 0.5 3 ) ) 5 × 0.23 ( 0.4 3 ) 5 × 0.23 3 , 1 ( 1 0.4 3 ) 5 × 0.23 3 ,   1 ( 1 0.5 3 ) 5 × 0.23 3 ) ( 0.6422 , 0.3486 , 0.5221 )
The score values of these numbers were obtained as S C ( P 1 ) = 0.0981 ,   S C ( P 2 ) = 0.6943 ,   S C ( P 3 ) = 0.0008 ,   S C ( P 4 ) = 0.0688 ,   S C ( P 5 ) = 0.1225 , and, based on score values, we had the following arrangement:
P σ ( 1 ) = ( 0.9144 , 0.4665 , 0.4125 ) ,   P σ ( 2 ) = ( 0.6422 , 0.3486 , 0.5221 ) ,   P σ ( 3 ) = ( 0.6656 , 0.5359 , 0.5816 ) , P σ ( 4 ) = ( 0.5141 , 0.2885 , 0.4063 ) , P σ ( 5 ) = ( 0 , 0 , 0.0928 )
Now, by using the definition of the T-SFHGIA operator, we found
  T SFHGIA ω , w ( P 1 , P 2 , P 3 , P 4 , P 5 ) = ( 0.8375 , 0.4223 , 0.4928 )
Clearly, the aggregated value obtained in Equation (8) was an improvement of the one obtained in Equation (7), as it incorporated the zero values occurring in the membership and abstinence of T-SFNs efficiently. The analysis of Equations (7) and (8) proved the significance of proposed aggregation operators.

4. MADM Approach Based on Proposed Operators

Consider a decision-making problem which consists of a set of alternatives ( Y = { y 1 , y 2 , , y l } ) and set of attributes ( Z = { z 1 , z 2 , , z q } ) associated with weighted vector ( w = ( w 1 , w 2 , , w q ) T ) , where w k ( 0 , 1 ] and Σ k = 1 q w k = 1 . Suppose every alternative ( y j ) is represented by T-SFNs ( P j k = m j k , i j k , n j k ), which show by which degree alternatives satisfy, neutral, and not satisfy the given attribute. Then, the following steps of the MADM approach, based on the proposed operators, are summarized as follows:
Step 1
Find the value of t for which the information of the decision matrix lies in the T-spherical fuzzy environment.
Step 2
Assume the weighting vector ω = ( ω 1 , , ω q ) T of P j 1 , P j 2 , , P j q . where ω k ( 0 , 1 ] and Σ k = 1 q ω k = 1 we get P j k = P j k l ω k .
Step 3
By calculating the scores of each attribute of all alternatives, we find:
  P σ ( j 1 ) , P σ ( j 2 ) , , P σ ( j k )
Step 4
By using the normal-distribution based method we find w and then aggregate the data using the T-SFHGIA operator.
Step 5
Find the scores of all alternatives.
Step 6
With the help of score values, we find the best option.

5. Numerical Example

The above-mentioned approach has been illustrated with a real-life decision-making problem under the T-SFS environment, and obtained results have been compared with the other existing results.

5.1. Case Study

Jharkhand is the eastern state of India, which has 40 percent of the mineral resources of the country, and is the second leading state in terms of mineral wealth, after Chhattisgarh state. It is also known for its vast forest resources. Jamshedpur, Bokaro, and Dhanbad, cities in Jharkhand, are famous for industries from all over the world. After that, it is known as being the state in India that has widespread poverty state, because it is primarily a rural state, as 76 percent of the population lives in villages that depend on agriculture and wages from agriculture. Only 30 percent of the villages are connected by roads, and only 55 percent of the villages have access to electricity and other facilities. But in the today’s life, many are looking for ways to make changes in order to better their lives, and, accordingly, many move to the urban cities for better jobs. To stop this emigration, the Jharkhand government wants to set up agricultural-based industries in the rural areas. For this, the government organized the ‘‘Momentum Jharkhand” global investor summit 2017, in Ranchi, to invite companies to invest in the rural areas. The government announced the various facilities that were available to be set up as five food processing plants in the rural areas, and the five attributes required for selection of the companies to set them up, namely, project cost ( Q 1 ), technical capability ( Q 2 ) , financial status ( Q 3 ), company background ( Q 4 ) , and other factors ( Q 5 ) . The three companies that were interested in this projects, Surya Food and Agro Pvt. Ltd. ( s 1 ) , Mother Dairy Fruit and Vegetable Pvt. Ltd. ( s 2 ) , and Parle Products Ltd. ( s 3 ), were taken as in the form of the alternatives. Then, the main object of the government was to choose the best company among them for the task. In order to fulfill this, a decision maker evaluated these and gave their preferences in the term of T-SFS, and their preference values were summarized in the form of a decision-matrix, shown in Table 1 as follows.
The given problem was solved using two approaches. First it was solved using new interactive operators showing their applicability. Then it was solved using geometric aggregation operators proposed in [34], showing their failure.
Solution using proposed operators:
Step 1
With some calculations, it was found that all the values in Table 1 were T-SFNs for t = 3 .
Step 2
By taking ω = ( 0.18 , 0.22 , 0.16 , 0.21 , 0.23 ) T we found P j k and their values were summarized as below.
k = 1 k = 2 k = 3 k = 4 k = 5
j = 1 ( 0.6656 , 0.5359 , 0.5816 ) ( 0.9144 , 0.4665 , 0.4125 ) ( 0.3333 , 0.2759 , 0.0928 ) ( 0.5141 , 0.2825 , 0.4063 ) ( 0.6422 , 0.3486 , 0.5221 )
j = 2 ( 0.4520 , 0.4384 , 0.5816 ) ( 0.7194 , 0.1703 , 0.3095 ) ( 0.4212 , 0.3817 , 0.5614 ) ( 0.4053 , 0.0891 , 0.6086 ) ( 0.5264 , 0.1571 , 0.4184 )
j = 3 ( 0.3843 , 0.1259 , 0.1931 ) ( 0.5397 , 0.3650 , 0.1032 ) ( 0 , 0 , 0.4662 ) ( 0.6104 , 0.1845 , 0.2033 ) ( 0.6209 , 0.0708 , 0.5221 )
Step 3
Now we had to find the score of each attribute of all alternatives, and their computed values were given as below
k = 1 k = 2 k = 3 k = 4 k = 5
j = 1 0.0981 0.6943 0.0362 0.0688 0.1225
j = 2 0.1043 0.3426 0.1021 0.1589 0.0726
j = 3 0.0495 0.1561 0.1013 0.2190 0.0970
By comparing the score values, we had
S C ( P 12 ) > S C ( P 15 ) > S C ( P 11 ) > S C ( P 14 ) > S C ( P 13 ) S C ( P 22 ) > S C ( P 25 ) > S C ( P 23 ) > S C ( P 21 ) > S C ( P 24 ) S C ( P 34 ) > S C ( P 32 ) > S C ( P 35 ) > S C ( P 31 ) > S C ( P 33 )
Based on above score analysis, we found P σ ( j k ) and summarized them as
k = 1 k = 2 k = 3 k = 4 k = 5
j = 1 ( 0.9144 , 0.5150 , 0.4125 ) ( 0.6422 , 0.9857 , 0.5221 ) ( 0.6656 , 0.4838 , 0.5816 ) ( 0.5141 , 0.3048 , 0.4063 ) ( 0.3333 , 0.1857 , 0.0928 )
j = 2 ( 0.7194 , 0.2064 , 0.3095 ) ( 0.5264 , 0.9987 , 0.4184 ) ( 0.4212 , 0.2787 , 0.5614 ) ( 0.4520 , 0.9804 , 0.5816 ) ( 0.4053 , 0.1016 , 0.6086 )
j = 3 ( 0.6104 , 0.2033 , 0.2033 ) ( 0.5397 , 0.4125 , 0.1032 ) ( 0.6209 , 0.9999 , 0.5221 ) ( 0.3843 , 0.0966 , 0.1931 ) ( 0 , 0 , 0.4662 )
Step 4
By using the normal distribution-based method, we got w = ( 0.1117 , 0.2365 , 0.3036 , 0.2365 , 0.1117 ) T , and by using the defined aggregation operators, we had
P 1 =   T S F H G I A ω , w ( P 11 , P 12 , P 13 , P 14 , P 15 ) = ( j = 1 5 ( 1 n P ˜ σ ( 1 k ) 3 ) w j j = 1 5 ( 1 ( m P ˜ σ ( 1 k ) 3 + i P ˜ σ ( 1 k ) 3 + n P ˜ σ ( 1 k ) 3 ) ) w j j = 1 5 ( i P ˜ σ ( 1 k ) 3 ) w j 3 , 1 j = 1 5 ( 1 i P ˜ σ ( 1 k ) 3 ) w j 3 ,   1 j = 1 5 ( 1 n P ˜ σ ( 1 k ) 3 ) w j 3 ) = ( 0.9380 , 0.4264 , 0.4928 )
P 2 =   T S F H G I A ω , w ( P 21 , P 22 , P 23 , P 24 , P 25 ) = ( j = 1 5 ( 1 n P ˜ σ ( 2 k ) 3 ) w j j = 1 5 ( 1 ( m P ˜ σ ( 2 k ) 3 + i P ˜ σ ( 2 k ) 3 + n P ˜ σ ( 2 k ) 3 ) ) w j j = 1 5 ( i P ˜ σ ( 2 k ) 3 ) w j 3 , 1 j = 1 5 ( 1 i P ˜ σ ( 2 k ) 3 ) w j 3 ,   1 j = 1 5 ( 1 n P ˜ σ ( 2 k ) 3 ) w j 3 ) =   ( 0.9420 , 0.3390 , 0.5296 )
P 3   =   T S F H G I A ω , w ( P 31 , P 32 , P 33 , P 34 , P 35 ) = ( j = 1 5 ( 1 n P ˜ σ ( 3 k ) 3 ) w j j = 1 5 ( 1 ( m P ˜ σ ( 3 k ) 3 + i P ˜ σ ( 3 k ) 3 + n P ˜ σ ( 3 k ) 3 ) ) w j j = 1 5 ( i P ˜ σ ( 3 k ) 3 ) w j 3 1 j = 1 5 ( 1 i P ˜ σ ( 3 k ) 3 ) w j 3 ,   1 j = 1 5 ( 1 n P ˜ σ ( 3 k ) 3 ) w j 3 , ) = ( 0.9779 , 0.9713 , 0.3906 )
Step 5
The score values of three alternatives based on their aggregated values were computed as S C ( P 1 ) = 0.7056 , S C ( P 2 ) = 0.6874 , and S C ( P 3 ) = 0.8813 .
Step 6
By comparing score values, we got
  S C ( P 3 ) > S C ( P 1 ) > S C ( P 2 )
The comparison of score values indicated that P 3 had a greater score value. So, the third company was the best option. Thus, by using the new geometric interaction averaging operators a MADM problem was successfully solved.
Solution using aggregation operators proposed in [34]:
Step 1
The input preferences related to each alternative was summarized in Table 1 for t = 3 .
Step 2
By using weight vector ω = ( 0.18 , 0.22 , 0.16 , 0.21 , 0.23 ) T we found P j k as follows
k = 1 k = 2 k = 3 k = 4 k = 5
j = 1 ( 0.7054 , 0.5359 , 0.5816 ) ( 0.9041 , 0.4665 , 0.4125 ) ( 0.4655 , 0.2759 , 0.0928 ) ( 0.4874 , 0.2825 0.4063 ) ( 0.5738 , 0.3486 , 0.5221 )
j = 2 ( 0.5180 , 0.4384 , 0.5816 ) ( 0.6776 , 0.1703 , 0.3095 ) ( 0.7330 , 0.3817 , 0.5614 ) ( 0.3826 , 0.0891 , 0.6086 ) ( 0.4553 , 0.1517 , 0.4184 )
j = 3 ( 0.4370 , 0.1259 , 0.1931 ) ( 0.4811 , 0.3650 , 0.1032 ) ( 0 , 0 , 0.4662 ) ( 0.5863 , 0.1845 , 0.2033 ) ( 0.5563 , 0.0708 , 0.5221 )
Step 3
Now, we had to find the score of each attribute of all alternatives.
k = 1 k = 2 k = 3 k = 4 k = 5
j = 1 0.1543 0.6689 0.1000 0.0487 0.0466
j = 2 0.0577 0.2815 0.2169 0.1695 0.0212
j = 3 0.0762 0.1103 0.1013 0.1932 0.0298
By comparing the score values, we had
S C ( P 12 ) > S C ( P 11 ) > S C ( P 13 ) > S C ( P 14 ) > S C ( P 15 ) S C ( P 22 ) > S C ( P 23 ) > S C ( P 25 ) > S C ( P 21 ) > S C ( P 24 ) S C ( P 34 ) > S C ( P 32 ) > S C ( P 31 ) > S C ( P 35 ) > S C ( P 33 )
Based on above score analysis, we found P σ ( j k )
k = 1 k = 2 k = 3 k = 4 k = 5
j = 1 ( 0.9041 , 0.4665 , 0.4125 ) ( 0.7054 , 0.5359 , 0.5816 ) ( 0.4655 , 0.2759 , 0.0928 ) ( 0.4874 , 0.2825 , 0.4063 ) ( 0.5738 , 0.3486 , 0.5221 )
j = 2 ( 0.6776 , 0.1703 , 0.3095 ) ( 0.7330 , 0.3817 , 0.5614 ) ( 0.4553 , 0.1571 , 0.4184 ) ( 0.5180 , 0.4384 , 0.5816 ) ( 0.3826 , 0.0891 , 0.6086 )
j = 3 ( 0.5863 , 0.1845 , 0.2033 ) ( 0.4811 , 0.3650 , 0.1032 ) ( 0.4370 , 0.1259 , 0.1931 ) ( 0.5563 , 0.0708 , 0.5221 ) ( 0 , 0 , 0.4662 )
Step 4
By using the normal distribution-based method, we got w = ( 0.1117 , 0.2365 , 0.3036 , 0.2365 , 0.1117 ) T , and by using the defined aggregation operators, we had
P 1 =   T S F H G I A ω , w ( P 11 , P 12 , P 13 , P 14 , P 15 ) = ( j = 1 5 ( m P ˜ σ ( 1 k ) 3 + i P ˜ σ ( 1 k ) 3 ) w j j = 1 5 ( i P ˜ σ ( 1 k ) 3 ) w j 3 ,   j = 1 5 ( i P ˜ σ ( 1 k ) ) w j , 1 j = 1 5 ( 1 n P ˜ σ ( 1 k ) 3 ) w j 3     ) =   ( 0.5750 , 0.3533 ,   0.4473 ) P 2 =   T S F H G I A ω , w ( P 21 , P 22 , P 23 , P 24 , P 25 ) = ( j = 1 5 ( m P ˜ σ ( 2 k ) 3 + i P ˜ σ ( 2 k ) 3 ) w j j = 1 5 ( i P ˜ σ ( 2 k ) 3 ) w j 3 ,   j = 1 5 ( i P ˜ σ ( 2 k ) ) w j , 1 j = 1 5 ( 1 n P ˜ σ ( 2 k ) 3 ) w j 3     ) =   ( 0.5384 , 0.1970 , 0.5721 ) P 3 =   T S F H G I A ω , w ( P 31 , P 32 , P 33 , P 34 , P 35 ) = ( j = 1 5 ( m P ˜ σ ( 3 k ) 3 + i P ˜ σ ( 3 k ) 3 ) w j j = 1 5 ( i P ˜ σ ( 3 k ) 3 ) w j 3 ,   j = 1 5 ( i P ˜ σ ( 3 k ) ) w j , 1 j = 1 5 ( 1 n P ˜ σ ( 3 k ) 3 ) w j 3     ) =   ( 0 ,   0 ,   0.3692 )
This seems meaningless because membership and abstinence of only one T-SFN is zero, but existing operators make a whole aggregated value zero.
Step 5
This step involved the computation of score values:
S C ( P 1 ) = 0.1006 S C ( P 2 ) = 0.0312 S C ( P 3 ) = 0.0503
Step 6
By comparing score values, we got
  S C ( P 1 ) > S C ( P 2 ) > S C ( P 3 )
From the above example, the applicability of the proposed operators could easily be checked by comparing the results obtained using new and existing geometric aggregation operators. It was noticed that whenever membership and abstinence of one TSFN became zero, then the aggregated value using existing aggregation operators seemed impractical. However, the aggregated value using new geometric interactive aggregation operators seemed significant and consistent.

5.2. Advantages of the Proposed Work

In this section, we prove the generalization of proposed work over the existing literature. Here we observed that under some certain conditions the proposed aggregation operators became the existing aggregation operators under different environment, which shows the superiority of our proposed work.
Consider the T-SFWGIA operator defined as
  T S F W G I A w ( P 1 , P 2 , , P k ) = ( j = 1 k ( 1 n j t ) w j j = 1 k ( 1 ( m j t + i j t + n j t ) ) w j j = 1 k ( i j t ) w j t , 1 j = 1 k ( 1 i j t ) w j t ,   1 j = 1 k ( 1 n j t ) w j t )
(1)
If we take t = 2 , the Equation (9) becomes spherical fuzzy weighted geometric interaction averaging operator (SFWGIA operator) and we have
  S F W G I A w ( P 1 , P 2 , , P k ) = ( j = 1 k ( 1 n j 2 ) w j j = 1 k ( 1 ( m j 2 + i j 2 + n j 2 ) ) w j j = 1 k ( i j 2 ) w j , 1 j = 1 k ( 1 i j 2 ) w j ,   1 j = 1 k ( 1 n j 2 ) w j )
(2)
If we take t = 1 , the Equation (9) becomes picture fuzzy weighted geometric interaction averaging operator (PFWGIA operator) and we have
  P F W G I A w ( P 1 , P 2 , , P k ) = ( j = 1 k ( 1 n j ) w j j = 1 k ( 1 ( m j + i j + n j ) ) w j j = 1 k ( i j ) w j , 1 j = 1 k ( 1 i j ) w j ,   1 j = 1 k ( 1 n j ) w j )
(3)
If we take t = 2 and i = 0 , the Equation (9) becomes Pythagorean fuzzy weighted geometric interaction averaging operator (PyFWGIA operator) and we have
  P y F W G I A w ( P 1 , P 2 , , P k ) = ( j = 1 k ( 1 n j 2 ) w j j = 1 k ( 1 ( m j 2 + n j 2 ) ) w j ,   1 j = 1 k