1. Introduction
As one of the principal branches of decision science, the topics related to MCDM have been extensively focused on in different disciplines, such as engineering, management, and economics. In general, MCDM is utilized to ascertain the optimum solution based on criteria and weights, and the evaluation information is often represented as real numbers and used as decision inputs. However, the complexity of the practical decision system makes it difficult for decision makers to make optimal and effective choices due to the fact that the evaluation values are often ambiguous and uncertain during the decision. While considering the vagueness, uncertainty, and incompleteness of evaluation information, Atanassov [
1] extended an intuitionistic fuzzy set (IFS) with the degree of membership (MD) (
τ) and the degree of non-membership (ND) (
ϑ), based on the classical fuzzy set (FS) [
2]. The Pythagorean fuzzy set (PyFS) was proposed by Yager and Abbasov [
3] to make up for the deficiency when
τ +
ϑ > 1. Subsequently, Yager [
4] introduced a more flexible q-rung orthopair fuzzy set (q-ROFS) concept, namely, flexibly adjusting the decision range expressed by MD and ND through the parameter
q, and meeting the condition:
τq +
ϑq ≤ 1,
τ,
ϑ ∈ [0,1]. However, the evaluation object cannot be fully described by relying only on MD and ND in the above various fuzzy sets. Thus, a picture fuzzy set (PFS) was developed by Cuong [
5], containing MD, abstinence degree (AD) (
η ∈ [0,1]), and ND, as another form of generalized FS that can describe more information. Although PFS has the ability to describe AD information that IFS, PyFS, and q-ROFS cannot, it still has the limitation that it fails if the total value of 3 degrees is more than 1. In this regard, the concept of the spherical fuzzy set (SFS) was extended by Mahmood et al. [
6], then they promoted it to the generalized form, i.e., T-spherical fuzzy set (TSFS), to remove the restriction of decision-makers (DMs) in the allocation of MD, AD, and ND with a larger decision space, enabling them to express DMs’ preferences and opinions more freely. Obviously, the above extended fuzzy sets are all special cases of TSFS, which has been widely studied by numerous scholars because of the generalized form of TSFS with no limitations.
As one of the significant processing tools for fusing evaluation data, the study of AOs in the TSFS environment has also been actively followed by many scholars. The algorithms of TSFNs are important bases for AOs, and currently,
t-norm and
s-norm operations have emerged, such as Algebraic [
7], Hamacher [
8], Einstein [
9], interaction [
10,
11,
12], Frank [
13], Dombi [
14], Schweizer–Sklar [
15], Aczel–Alsina (AA) [
16], etc. Among the above operations, there are no decision-adjustable parameters contained in Algebraic, Hamacher, and Einstein
t-norm operations, and interactive operations emphasize the interaction relationship between MD, AD, and ND in any two TSFNs to avoid counterintuitive phenomena caused when the value of the membership function is zero. In addition, Frank, Dombi, Schweizer–Sklar, AA, etc. are the
t-norms operations containing decision-tunable parameters, which increase the decision flexibility of the aggregation operator, as well as a limited extent of generalization. In contrast, the AA
t-norm and
s-norm are more flexible to make decisions [
16]. Apart from the arithmetic average and geometric operators, there are various novel AOs developed by integrating them with the Power, Bonferroni mean (BM), Heronian mean (HeM), Maclaurin symmetric mean (MSM), Muirhead mean (MM), etc. For example, some weighted algebraic AOs integrated with Power are advanced by Garg et al. [
17] in the TSFS environment, and Wang and Zhang [
12] proposed novel T-spherical fuzzy interaction power Heronian mean (TSFIPHeM)aggregation operators that integrated Power and HeM operators and considered the interaction of TSFNs. Liu et al. [
18] extended the generalized Maclaurin symmetric mean (GMSM) operator to TSFS and proposed the T-spherical fuzzy GMSM operator (TSFGMSM) and the T-spherical fuzzy weighted GMSM operator (TSFWGMSM). Liu et al. [
19] developed some T-spherical fuzzy power Muirhead mean (TSFPMM) and T-spherical fuzzy power dual Muirhead mean (TSFPDMM)aggregation operators based on the advantages of Power integrated with the Muirhead mean. Yang and Pang [
20] developed a series of interaction BM (TSFIBM), interaction geometric BM (TSFIGBM), Dombi BM (TSFDBM), and geometric Dombi BM (TSFGDBM) aggregation operators in the TSFS context.
Aczel and Alsina [
21] proposed two operations, i.e., AA
t-norm and
s-norm, emphasizing the significance of adjustable parameters. Currently, some scholars have extended AA operations to different decision environments, such as hesitant fuzzy set [
22], IFS [
23,
24,
25,
26,
27], PyFS [
28,
29], q-ROFS [
30], PFS [
31,
32], SFS [
33,
34], TSFS [
16], Neutrosophic set [
35,
36,
37], complex q-ROFS [
38], bipolar complex fuzzy set [
39], and cubic Fermatean fuzzy set [
40]. Therefore, a variety of aggregation operators have been developed to solve decision challenges indifferent environments. From the above works, we find that some AA operation laws were extended in different decision-making environments, and in many, the weighted averaging and geometric AOs were developed according to AA operation rules. For instance, Senapati et al. [
23,
25] advanced some weighted average AOs in IFS and interval-valued IFS successively. Meanwhile, Senapati et al. [
24,
26] developed some weighted geometric AOs in IFS and interval-valued IFS. Further, Senapati et al. [
29,
30,
31] proposed some weighted average AOs in PyFS, q-ROFS, and PFS. Naeem et al. [
32] raised weighted geometric AOs in PFS. Several weighted average and geometric AOs were developed by Hussain et al. [
16] in the TSFS environment. Senapati et al. [
22] designed a hesitant fuzzy AA weighted BM (HFAAWBM) operator, in addition to developing weighted average and geometric AOs.
From the above review, we grasp that various AOs can be utilized to handle practical MCDM issues. To obtain the optimal option effectively by using the MCDM method, the evaluation information should be handled more expediently and availably. The TSFS, as a generalized shape of IFS, PyFS, q-ROFS, PFS, and SFS, is one of the most effective means to cope with the ambiguity and uncertainty in assessing data. The Hamy mean (HM) is an aggregation function. Like MSM and MM, HM can reflect the interrelationship among multiple attributes, but its calculation process is not as complex as MSM and MM. However, the HM operator has not been extended in the TSFS context. In addition, AA operation is more generalized and flexible than the existing operations, such as Hamcher, Einstein, Frank, and Dombi [
16]. At present, it can be combined with various aggregation functions, but unfortunately, the research on the new AOs, based on AA operations with the capacity to capture the interrelationship among multiple variables, has not yet appeared. In order to fill the above two research gaps, it is necessary to develop a series of TSFAAHM AOs, based on the advantages of HM and AA, and to design some aggregation function-based MCDM methods in the T-spherical fuzzy environment.
The contributions of this paper are outlined below:
- (1)
We proposed some new AOs for TSFS, which include the TSFAAHM, TSFAADHM, TSFAAWHM, and TSFAAWDHM operators, and some related properties are discussed.
- (2)
We designed a novel T-spherical fuzzy MCDM method based on the TSFAAWHM or TSFAAWDHM operator.
- (3)
We tested the applicability of our proposed aggregation function-based MCDM method by solving investment decision issues.
- (4)
The proposed method is performed by parameter analysis and comparison analysis, with existing methods to show its reliability and effectiveness.
Therefore, the article is structured as follows. Some ideas of TSFS and AA operations of T-spherical fuzzy numbers are briefly reviewed in
Section 2. We define a series of TSFAAHM AOs and analyze their relative properties in
Section 3. In
Section 4, we construct a MCDM model of applying TSFAAWHM and TSFAAWDHM operators. In
Section 5, the validity of the method is verified by solving the investment firm decision problem in a numerical example, and the superiorities of the developed model are depicted by sensitivity and comparative study. Finally, we present the final conclusion in
Section 6.
2. Preliminaries
Some basic ideas for TSFSs to make the manuscript self-contained are given in this section.
Definition 1 ([6]). Suppose X is a universe set, then the TSFS can be defined aswhere are respectively the MD, AD, and ND of element x ∈ ℑ in X, i.e.,, and satisfying , q ≥ 1 for ∀x ∈ X. is called the degree of refusal. In order to facilitate, δ = (τ, η, ϑ) denoted the T-spherical fuzzy number (TSFN). Definition 2 ([11]). Suppose δ = (τ, η, ϑ) is a TSFN, then the score function sc(δ) is defined asand the accuracy function ac(δ) is described as Let δ1 = (τ1, η1, ϑ1) and δ2 = (τ2, η2, ϑ2) be two TSFNs, the laws of comparing the two TSFNs are as below:
- (1)
If sc(δ1) is greater than sc(δ2), then δ1 is superior to δ2, i.e., δ1 > δ2;
- (2)
If sc(δ1) is equal to sc(δ2), then (i) if ac(δ1) is larger than ac(δ2), then δ1 is superior to δ2, i.e., δ1 > δ2; (ii) if ac(δ1) is the same as ac(δ2), then δ1 is equal to δ2, namely, δ1 = δ2.
Definition 3 ([6]). Suppose δ = (τ, η,ϑ), δ1 = (τ1, η1, ϑ1), and δ2 = (τ2, η2, ϑ2) are three arbitrary TSFNs, their basic operations are depicted as follows (λ > 0):
- (1)
;
- (2)
;
- (3)
;
- (4)
.
Definition 4 ([21]). Suppose x and y are two arbitrary, non-negative real numbers (x, y > 0), then the t-norm and s-norm of Aczel–Alsina can be described as follows:
Hussain et al. [
16] proposed the Aczel–Alsina operation laws for TSFNs based on the TSFS concept and Definition 4.
Definition 5 ([16]). Let δ1 = (τ1, η1, ϑ1) and δ2 = (τ2, η2, ϑ2) be any two TSFNs, q ≥ 1, λ, φ ≥ 0, and then their AA operation laws are defined as:
- (1)
- (2)
- (3)
- (4)
Theorem 1 ([16]). Let δ1 = (τ1, η1,ϑ1) and δ2 = (τ2, η2, ϑ2) be any two TSFNs, λ is a real number, λ1, λ2 ≥ 0, and then the following operation properties are satisfied:
- (1)
;
- (2)
;
- (3)
;
- (4)
;
- (5)
;
- (6)
.
3. Some TSFAAHM Operators
We propose a series of TSFAAHM AOs involving some AA operations of TSFNs, including the TSFAAHM, TSFAADHM, TSFAAWHM, and TSFAAWDHM operators. Then, we analyze their properties and discuss their special cases.
3.1. HM and DHM Operators
Hara [
41] introduced an AO for non-negative real numbers in 1998, i.e., HM, which has the capacity to concern the interconnection among multiple input arguments. The specific definition of HM is described as below.
Definition 6 ([41]). Suppose ai(i = 1, 2, 3, …, n) is a set of non-negative real numbers, γ = 1, 2, …, n. IfThen, HM(γ) is named as the Hamy mean, where (i1, i2, …, iγ) traverses all the γ-tuple combinations of (1, 2, …, n), and Cnγ is the binomial coefficient. Furthermore, a dual form of HM, i.e., dual Hamy mean (DHM), was developed by We et al. [
42].
Definition 7 ([42]). Suppose ai(i = 1, 2, 3, …, n) is a set of non-negative real numbers, γ = 1, 2, …, n. IfThen, DHM(γ) is named as the dual Hamy mean. 3.2. TSFAAHM and TSFAAWHM Operators
Definition 8. Let δi = (τi, ηi, ϑi) (i = 1, 2, 3, …, n) be a family of TSFNs, the form of the TSFAAHM operator can be portrayed as:where γ (γ = 1, 2, …, n) is the parameter of this operator, andis the binomial coefficient with the constraint of 1 ≤ i1 < i2 <…< iγ ≤ n. According to the AA operation laws of TSFNs, the aggregation results of Equation (8) are as follows.
Theorem 2. Suppose δi = (τi, ηi, ϑi) (i = 1, 2, …, n) is a family of TSFNs, the outcome of the TSFAAHM operator is still TSFN based on the Definition 5, i.e., Proof of Theorem 2. On the basis of the AA operation laws of TSFNs, there are:
and
Therefore, Theorem 2 is proved completely. □
Example 1. Suppose δ1= (0.6, 0.7, 0.5), δ2= (0.9, 0.1, 0.4), δ3= (0.7, 0.6, 0.6), and δ4= (0.2, 0.8, 0.3) are four TSFNs, then the values of the parameters are shown as: q = 3, γ = 2, φ = 3. Then, we can obtain the following calculation results by utilizing Equation (9):
The MDs of δ1, δ2, δ3, and δ4 are aggregated as: The ADs of δ1, δ2, δ3, and δ4are aggregated as: Similarly, the NDs of δ1, δ2, δ3, and δ4 are aggregated as: Therefore,.
Further, we should analyze the relative properties of the TSFAAHM operator.
Theorem 3. Suppose δi = (τi, ηi, ϑi) (i = 1, 2, …, n) are a group of TSFNs, the TSFAAHM operator can meet the below properties:
- (1)
(Idempotency) If the values of all TSFNs are equal, i.e., δi = δ = (τ, η, ϑ), then
- (2)
(Boundness) Let and , then
- (3)
(Monotonicity) Let (i = 1, 2, …, n) be another group of TSFNs, if all isatisfy , i.e., , and , then
The above properties can be proved as follows.
Proof of Theorem 3. (1) (Idempotency) According to Theorem 2, the following can be obtained from the TSFAAHM operator, i.e.,:
Therefore, .
So, the idempotency of the operator is proved.
(2) (Boundness) Due to
, on the basis of the above idempotency of the TSFAAHM operator, then:
Similarly, .
Therefore, , the boundness of this operator is validated.
(3) (Monotonicity) Due to
,
,
,
, then
On the basis of Theorem 2, is obtained. Thus, the monotonicity of the operator is certified.
Therefore, the proof of the properties of the TSFAAHM operator is completed. □
Although the TSFAAHM operator is able to consider the interrelationship between various criteria, it neglects the degree of importance of each criterion, for which we develop the TSFAAWHM operator, as below.
Definition 9. Suppose δi = (τi, ηi, ϑi) (i = 1, 2, …, n) is a group of TSFNs, w = (w1, w2, …, wn)T is denoted the weight vector of δi(i = 1, 2, …, n), meeting wi ∈ [0,1] and . IfThen, the operator is named as the TSFAAWHM operator. On the basis of the AA operation laws of TSFNs, the aggregation result of Equation (13) is as follows.
Theorem 4. Suppose δi = (τi, ηi, ϑi) (i = 1, 2, …, n) is a family of TSFNs, the aggregation result of the TSFAAWHM operator is still TSFN, i.e., The aggregation result of the TSFAAWHM operator is still TSFN, and its proof is identical to Theorem 2. Hence, we ellipsis it here.
The TSFAAWHM operator still satisfies monotonicity and boundness, but not idempotency. So, we omit the proof here.
3.3. TSFAADHM and TSFAAWDHM Operators
Definition 10. Let δi = (τi, ηi, ϑi) (i = 1, 2, …, n) be a family of TSFNs, the TSFAADHM operator is described as
According to the AA operation laws of TSFNs, the aggregation result of Equation (15) is as below.
Theorem 5. Suppose δi (i = 1, 2, 3, …, n) is a group of TSFNs. Based on the AA operation laws for TSFNs of Definition 5, then the result of the TSFAADHM operator is still TSFN, i.e.,
Proof of Theorem 5. According to the AA operation rules of TSFNs, we have
and
Therefore, the proof of theorem 5 is completed. □
Example 2. Suppose δ1= (0.6, 0.7, 0.5), δ2= (0.9, 0.1, 0.4), δ3= (0.7, 0.6, 0.6), and δ4= (0.2, 0.8, 0.3) are four TSFNs, and the values of the parameters are shown as q = 3, γ = 2, φ = 3. Then, we can obtain the following calculation results by utilizing Equation (16).
The MDs of δ1, δ2, δ3, and δ4 are aggregated as: The ADs of δ1, δ2, δ3, and δ4 are aggregated as: Similarly, The NDs of δ1, δ2, δ3, and δ4 are aggregated as: Therefore, .
The TSFAADHM operator satisfies monotonicity, boundness, and idempotency. The proof of these properties resembles Theorem 3.
In order to address the condition that the TSFAADHM operator neglects the importance degree of each criterion, we can define the TSFAAWDHM operator.
Definition 11. Suppose δi (i = 1, 2, …, n) is a group of TSFNs, w = (w1, w2, …, wn)T is denoted as the weight vector of δi (i = 1, 2, …, n), meeting wi ∈ [0,1] and . IfThen, the operator is named as the TSFAAWDHM operator. According to the AA operation laws for TSFNs, the aggregation result of Equation (17) is as below.
Theorem 6. Suppose δi (i = 1, 2, …, n) is a group of TSFNs. The integration result of the TSFAAWDHM operator is still TSFN, i.e.,
The TSFAAWDHM operator still satisfies monotonicity and boundness, but not idempotency. The proof process is omitted here.
4. MCDM Based on the TSFAAHM Aggregation Operators
The T-spherical fuzzy (TSF) MCDM problems can be described as:
H = {
h1,
h2, …,
hm} is denoted as a family of alternatives,
C = {
c1,
c2, …,
cn} is denoted as a family of criteria, and its weight vector is named as
w = (
w1,
w2, …,
wn)
T, meeting 0 ≤
wi ≤ 1,
. The criteria weight vector is determined by the comprehensive evaluation of the expert group for assignment.
D = [
dij]
m×n is denoted as the initial TSF evaluation matrix given by experts, where
is denoted as the expert’s evaluation value of alternative
hi with respect to criterion
cj and is expressed in terms of TSFN and satisfies 0 ≤
τij,
ηij,
ϑij ≤ 1 and 0 ≤ (
τij)
q + (
ηij)
q + (
ϑij)
q ≤ 1 (
i = 1, 2, 3, …,
m;
j = 1, 2, 3, …,
n;
q ≥ 1).
Based on the above depiction of the TSFMCDM problem, we should apply the developed TSFAAWHM and TSFAAWDHM operators to handle the MCDM problem and obtain the best alternative. The specific steps are depicted as below.
Step 1. The initial T-spherical fuzzy evaluation matrix should be normalized. Generally, the criteria in the MCDM problem can be classified into cost- and benefit-type criteria. The former needs to be transformed into a benefit-type criterion, and the transformation process can be implemented by Equation (19). Therefore, the standardized T-spherical fuzzy decision-making matrix
R = [
rij]
m×n is obtained.
where (
dij)
C is the complement of
dij,
J1 and
J2 express, respectively, the criteria of the benefit- and cost-type.
Step 2. The comprehensive value for each alternative with regard to all criteria evaluation data can be computed by the TSFAAWHM (Equation (20)) or the TSFAAWDHM operator (Equation (21)).
or
Step 3. The results of the score function sc(fi) (Equation (2)) and accuracy function ac(fi) (Equation (3)) are calculated for each alternative. Then, the best option is determined after the descending ranking of alternatives, the bigger the better.
Step 4. End.