An Algorithm for Fuzzy Negations Based-Intuitionistic Fuzzy Copula Aggregation Operators in Multiple Attribute Decision Making

Abstract

In this paper, we develop a novel computation model of Intuitionistic Fuzzy Values with the usage of fuzzy negations and Archimedean copulas. This novel computation model’s structure is based on the extension of the existing operations of intuitionistic fuzzy values with some classes of fuzzy negations. Many properties of the proposed operations are investigated and proved. Additionally, in this paper we introduce the concepts of intuitionistic fuzzy Archimedean copula weighted arithmetic and geometric aggregation operators based on fuzzy negations, including a further analysis of their properties. Finally, using a case study from an already published paper we found that our method has many advantages.

1. Introduction

Atanassov [1] introduced the notion Intuitionistic Fuzzy Set (IFS), which generalizes the notion of Fuzzy Set proposed by Zadeh [2]. Based on the fact that IFS is appropriate for cases dealing with uncertainty and vagueness, many authors have applied them to decision making. In the case of multiple attribute decision making the operational laws of Intuitionistic Fuzzy Values (IFVs) propose an elementary and remarkable topic. Atanassov [1,3] introduced the basic operational laws and presented some of their properties. Beliakov et al. [4] developed some operations by using additive generators of the product t-norm. Zhao and Wei [5] proposed the intuitionistic fuzzy Einstein hybrid aggregation operators. Atanassov, Pasi and Yager [6] contributed to the case of multi-criteria group decision making, with the attributes being intuitionistic fuzzy numbers and the corresponding weights being crisp numerical values; their method is applied in the context of public relations and mass communication. Wang and Li [7] proposed the score function and the weighted score function methods. Ouyang and Pedrycz [8] proposed a model for intuitionistic fuzzy multi- attributes decision making that deals with the degrees of membership and nonmembership individually that is applied in multiple criteria supplier selection problems. Tao et al. [9] gave an intuitionistic fuzzy copula arithmetic aggregation operator in multi-attribute decision making. Liu and Li [10], extended power Bonferroni mean to interval-valued intuitionistic fuzzy numbers and applied it to multiple attribute group decision making in the evaluation of air quality. Seikh and Mandal [11], introduced intuitionistic fuzzy Dombi weighted averaging operator, intuitionistic fuzzy Dombi hybrid averaging operator, intuitionistic fuzzy Dombi weighted geometric operator, intuitionistic fuzzy Dombi ordered weighted geometric operator and intuitionistic fuzzy Dombi hybrid geometric operator. Xian, Guo and Chai [12], introduced an intuitionistic fuzzy linguistic-induced generalized ordered weighted averaging operator and made an application about taking targeted measures in poverty alleviation (TPA). Shi, Yang and Xiao [13], introduced the intuitionistic fuzzy power geometric Heronian mean operator and the weighted intuitionistic fuzzy power geometric Heronian mean operator. Zou, Chen and Fan [14], introduced the improved intuitionistic fuzzy weighted geometric operator of intuitionistic fuzzy values. For further contributions, references are provided [15,16,17,18,19,20,21,22].

Näther [23] states that copulas and t-norms often coincide. Nelsen [24] and Alsina et al. [25] contributed to the introduction and application of copulas. Beliakov et al. [26], has set copulas as conjunctive functions. In addition, the selection of the most suitable conjunctive function and how to fit additive generators for Archimedean t-norms and Archimedean copulas is depicted in Näther [23].

The present paper aims to investigate the intuitionistic fuzzy copula aggregation operators, with the combination of fuzzy negations, in order to develop multiple attribute decision making methods for IFVs. To accomplish that, the construction of novel operations for IFVs is essential. As a result, the combination of copulas and fuzzy negations [27] produces new operations, which allow us to construct novel intuitionistic fuzzy Archimedean copula weighted arithmetic and geometric aggregation operations with the usage of arithmetic and geometric means.

As a result, the remainder of the paper is organized as follows. Section 2 includes some basic concepts of copula theory, fuzzy negations and intuitionistic fuzzy sets and also our development on novel operations for IFVs with the combination of the above. The properties of the proposed operations are investigated. In Section 3 we provide the new intuitionistic fuzzy Archimedean copula weighted arithmetic and geometric aggregation operators, including a further analysis of their properties. In Section 4 we provide an algorithm to accomplish the multiple attribute decision making procedure. In Section 5 we provide a practical example to materialize the application of the proposed approach. In the discussion section, the results of our work are explained thoroughly and are compared with previous studies. In Section 7, we provide some concluding remarks and future research directions.

2. Preliminaries

This Section provides novel operations for IFVs, which are established through the concepts of copula, co-copula, Archimedean copula and fuzzy negations.

Sklar [28] presented the concept of copula, as a mathematical tool to combine probability distributions, framing the dependence structure within random variables with the usage of their CDFs.

Definition 1.

[28] A 2-dimensional copula is a function with domain $\left[0,1\right]\times \left[0,1\right]$ and range $\left[0,1\right]$, grounded and 2-increasing, i.e., satisfies the following boundary and monotonicity conditions:

• $C(x,0)=C(0,y)=0.$
• $C(x,1)=x,C(1,y)=y.$
• $C(x_1,y_1)+C(x_2,y_2)-C(x_1,y_2)-C(x_2,y_1)\ge 0.$

where, $x,y,x_1,x_2,y_1,y_2\in \left[0,1\right]$ and $x_1\le x_2,y_1\le y_2$.

Below, the definition of co-copula is given, according to Cherubini et al.’s [29] work:

Definition 2.

[29] The co-copula of a copula is defined as:

$$C^{*}(x,y)=1-C(1-x,1-y)$$

(1)

According to Nelsen [24] the co-copula is not a copula, but may be constructed by the usage of a copula. Fréchet [30] and Hoeffding [31] introduced the Fréchet–Hoeffding [24] bounds of copulas for any $x,y\in [0,1],$ $\max \{x+y-1,0\}\le C(x,y)\le \min \{x,y\}.$ At this point, the method follows the definition of Archimedean copulas, which may be constructed with significant ease and ensure some remarkable properties.

Definition 3.

[24] Let $\phi$ be a continuous, strictly decreasing function on $[0,1]\to [0,+\infty ]$ with $\phi (1)=0$ and ${\phi }^{[-1]}$ the pseudo-inverse of $\phi$, which is defined as:

$${\phi }^{[-1]}(x)={\{}_{0,\hspace{1em}\hspace{1em}\hspace{1em}\phi (0)\le x\le +\infty ,}^{{\phi }^{-1}(x),\hspace{1em}0\le x\le \phi (0),}$$

(2)

Then,$C:{[0,1]}^2\to [0,1]$,$C(x,y)={\phi }^{[-1]}(\phi (x)+\phi (y))$corresponds to the conditions of Definition 1, hence$C$is a copula and$C$is called Archimedean copula.

In the case, where$C$is strictly increasing,$\phi (0)=+\infty$and${\phi }^{[-1]}={\phi }^{-1}$, then$C(x,y)={\phi }^{-1}(\phi (x)+\phi (y))$. In that case$\phi$is called strict generator and$C$is called strict Archimedean copula.

In

Table 1. In ref. [24] Archimedean Copulas.

Name	$\mathit{\phi }(\mathit{t})$	$\mathit{C}(\mathit{x},\mathit{y})$	Parameter
Gumbel	${(-\ln t)}^{\theta }$	$\exp (-{[{(-\ln x)}^{\theta }+{(-\ln y)}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})$	$\theta \ge 1$
Clayton	$t^{-\theta }-1$	${(x^{-\theta }+y^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}$	$\theta >0$
Ali-Mikhail-Haq	$\ln \frac{1-\theta (1-t)}{t}$	$\frac{xy}{1-\theta (1-x)(1-y)}$	$-1\le \theta <1$
Joe	$-\ln [1-{(1-t)}^{\theta }]$	$1-{[{(1-x)}^{\theta }+{(1-y)}^{\theta }-{(1-x)}^{\theta }{(1-y)}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}$	$\theta \ge 1$

, some Archimedean copulas are listed.

The study of the applications of copulas in fuzzy sets is of great importance, given that specific copulas are t-norms and specific co-copulas are t-conorms and vice versa. Moreover, Näther [23] mentioned in his work that the combination of probabilistic information or fuzzy information hardly matters. Below, the Atanassov’s [1] definition for Intuitionistic Fuzzy Sets is provided:

Definition 4.

[1] Let $X$ be a reference set, an Intuitionistic Fuzzy Set (IFS) $A$ on $X$ is defined as:

$$A=\left\{\langle x,{\mu }_A(x),{\nu }_A(x)\rangle \right|x\in X\},$$

(3)

where, the functions ${\mu }_A(x)$ and ${\nu }_A(x)$ denote the degrees of membership and non-membership of the element $x\in X$ to the set $A$, respectively with:

$0\le {\mu }_A(x)\le 1$,$0\le {\nu }_A(x)\le 1$,$0\le {\mu }_A(x)+{\nu }_A(x)\le 1$and${\pi }_A(x)=1-{\mu }_A(x)-{\nu }_A(x)$is called degree of indeterminacy of$x$to$A$. Additionally,$\alpha =\langle {\mu }_{\alpha },{\nu }_{\alpha }\rangle$is called Intuitionistic Fuzzy Value (IFV) and the set of all IFVs is$V$.

Definition 5.

[32] A decreasing function $n:[0,1]\to [0,1]$ is called a fuzzy negation if $n(0)=1$ and $n(1)=0$. A fuzzy negation $n$ is called: Strict, if it is strictly decreasing and continuous and Strong, if it is an involution, i.e., $n(n(x))=x,\forall x\in [0,1]$.

Table 2. In ref. [32] Fuzzy Negations.

Name	Fuzzy Negation	Parameter
Sugeno class	$n_{\lambda }(x)=\frac{1-x}{1+\lambda x}$	$\lambda \in (-1,\infty )$
Yager class	$n_{\lambda }(x)={(1-x^{\lambda })}^{1/\lambda }$	$\lambda \in (0,\infty )$

, proposes two parametric families of fuzzy negations:

Moreover, the operations of IFVs in Tao et al.’s [9] work, are being extended through the adaptation of fuzzy negations.

Definition 6.

Let$\alpha =\langle {\mu }_{\alpha },{\nu }_{\alpha }\rangle$and$\beta =\langle {\mu }_{\beta },{\nu }_{\beta }\rangle$be two IFVs and$k\ge 0$a parameter.

1. 

Addition operation

$$\alpha {\oplus }_C\beta =\langle C_{\lambda }^{*}({\mu }_{\alpha },{\mu }_{\beta }),C({\nu }_{\alpha },{\nu }_{\beta })\rangle =\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta }))]),{\phi }^{-1}[\phi ({\nu }_{\alpha })+\phi ({\nu }_{\beta })]\rangle .$$

2. 

Multiplication operation

$$\alpha {\otimes }_C\beta =\langle C({\mu }_{\alpha },{\mu }_{\beta }),C_{\lambda }^{*}({\nu }_{\alpha },{\nu }_{\beta })\rangle =\langle {\phi }^{-1}[\phi ({\mu }_{\alpha })+\phi ({\mu }_{\beta })],n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\nu }_{\alpha }))+\phi (n_{\lambda }({\nu }_{\beta }))])\rangle .$$

3. 

Scalar Multiplication operation

$$k\alpha =\langle n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[k\phi ({\nu }_{\alpha })]\rangle .$$

4. 

Power operation

$${\alpha }^k=\langle {\phi }^{-1}[k\phi ({\mu }_{\alpha })],n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }({\nu }_{\alpha }))])\rangle .$$

By replacing the $\lambda$ parameter with the appropriate value, the Tao et al.’s [9] operations of IFVs are produced. Moreover, a further investigation is held for the properties of the proposed operations.

Theorem 1.

Let$\alpha =\langle {\mu }_{\alpha },{\nu }_{\alpha }\rangle$and$\beta =\langle {\mu }_{\beta },{\nu }_{\beta }\rangle$be two IFVs and$k\ge 0$a real valued parameter. The novel operations of IFVs are closed or their values are also IFVs, i.e.,$\alpha {\oplus }_C\beta ,\alpha {\otimes }_C\beta ,k\alpha ,{\alpha }^k\in V$.

Proof of Theorem 1.

We have ${\mu }_{\alpha }\in [0,1]$ and $0\le n_{\lambda }({\mu }_{\alpha })\le 1$. Since $\phi$ is strictly decreasing then:

$$\phi (1)\le \phi (n_{\lambda }({\mu }_{\alpha }))\le \phi (0)\iff 0\le \phi (n_{\lambda }({\mu }_{\alpha }))\le +\infty ,$$

(4)

Similarly, as ${\mu }_{\beta }\in [0,1]$ we get:

$$0\le \phi (n_{\lambda }({\mu }_{\beta }))\le +\infty ,$$

(5)

We add Equations (4) and (5) and we get:

$$0\le \phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta }))\le +\infty ,$$

(6)

Based on the fact that ${\phi }^{-1}$ is also strictly decreasing, we obtain:

$${\phi }^{-1}(+\infty )\le {\phi }^{-1}(\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta })))\le {\phi }^{-1}(0)\iff$$

$$0\le {\phi }^{-1}(\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta })))\le 1\iff$$

$$0\le n_{\lambda }({\phi }^{-1}(\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta }))))\le 1\iff$$

$$0\le C_{\lambda }^{*}({\mu }_{\alpha },{\mu }_{\beta })\le 1.$$

Morover, by Definition 1, as ${\nu }_{\alpha },{\nu }_{\beta }\in [0,1]$,

$$0\le C({\nu }_{\alpha },{\nu }_{\beta })\le 1$$

holds.

In addition:

$$0\le C_{\lambda }^{*}({\mu }_{\alpha },{\mu }_{\beta })+C({\nu }_{\alpha },{\nu }_{\beta })\le 1.$$

Thus, the result of the operation is:

$$\alpha {\oplus }_C\beta \in V.$$

As Equation (3) is concerned:

$$k\alpha =\langle n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[k\phi ({\nu }_{\alpha })]\rangle$$

For $k=1$ we get:

$$\alpha =\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[\phi ({\nu }_{\alpha })]\rangle \iff$$

$$\alpha =\langle n_{\lambda }(n_{\lambda }({\mu }_{\alpha })),{\nu }_{\alpha }\rangle \iff$$

$$\alpha =\langle {\mu }_{\alpha },{\nu }_{\alpha }\rangle ,$$

that holds.

For $k=2$ we get:

$$\alpha {\oplus }_C\alpha =\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[\phi ({\nu }_{\alpha })+\phi ({\nu }_{\alpha })]\rangle \iff$$

$$\alpha {\oplus }_C\alpha =\langle n_{\lambda }({\phi }^{-1}[2\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[2\phi ({\nu }_{\alpha })]\rangle =2\alpha ,$$

that holds.

We assume that for $k=n$ holds. Then for $k=n+1$:

$$k\alpha =(n+1)\alpha =n\alpha {\oplus }_C\alpha =\langle n_{\lambda }[{\phi }^{-1}[n\phi (n_{\lambda }({\mu }_{\alpha }))]],{\phi }^{-1}[n\phi ({\nu }_{\alpha })]\rangle {\oplus }_C\langle {\mu }_{\alpha },{\nu }_{\alpha }\rangle \iff$$

$$k\alpha =\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }(n_{\lambda }[{\phi }^{-1}[n\phi (n_{\lambda }({\mu }_{\alpha }))]]))])+\phi (n_{\lambda }({\mu }_{\alpha })),{\phi }^{-1}(\phi ({\phi }^{-1}(n\phi ({\nu }_{\alpha })))+\phi ({\nu }_{\alpha }))\rangle \iff$$

$$k\alpha =\langle n_{\lambda }({\phi }^{-1}[n\phi (n_{\lambda }({\mu }_{\alpha }))])+\phi (n_{\lambda }({\mu }_{\alpha })),{\phi }^{-1}((n+1)\phi ({\nu }_{\alpha }))\rangle \iff$$

$$k\alpha =\langle n_{\lambda }({\phi }^{-1}[(n+1)\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}((n+1)\phi ({\nu }_{\alpha }))\rangle =(n+1)\alpha .$$

Hence, by mathematical induction the proof is complete. The proofs that the rest of the operations belong to the set $V$ are similar.

Next we investigate the properties of the proposed operations: □

Theorem 2.

Let$\alpha =\langle {\mu }_{\alpha },{\nu }_{\alpha }\rangle \in V$,$\beta =\langle {\mu }_{\beta },{\nu }_{\beta }\rangle \in V$and real valued parameters$k,k_1,k_2\ge 0,$then:

• $\alpha {\oplus }_C\beta =\beta {\oplus }_C\alpha .$
• $\alpha {\otimes }_C\beta =\beta {\otimes }_C\alpha .$
• $k(\alpha {\oplus }_C\beta )=k\alpha {\oplus }_{C}k\beta .$
• ${(\alpha {\otimes }_C\beta )}^k={\alpha }^k{\otimes }_C{\beta }^k.$
• $k_1\alpha {\oplus }_C{k}_2\alpha =(k_1+k_2)\alpha .$
• ${\alpha }^{k_1}{\otimes }_C{\alpha }^{k_2}={\alpha }^{k_1+k_2}.$
• $n_{\lambda }(\alpha ){\oplus }_C{n}_{\lambda }(\beta )=n_{\lambda }(\alpha {\otimes }_C\beta ).$
• $n_{\lambda }(\alpha ){\otimes }_C{n}_{\lambda }(\beta )=n_{\lambda }(\alpha {\oplus }_C\beta ).$
• $k{n}_{\lambda }(\alpha )=n_{\lambda }({\alpha }^k).$
• ${(n_{\lambda }(\alpha ))}^k=n_{\lambda }(k\alpha ).$

Proof of Theorem 2.

The cases 1 and 2 are obvious, because of Archimedean copulas and the corresponding co-copulas commutativity.

• $\alpha {\oplus }_C\beta =\langle C_{\lambda }^{*}({\mu }_{\alpha },{\mu }_{\beta }),C({\nu }_{\alpha },{\nu }_{\beta })\rangle =\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta }))]),{\phi }^{-1}[\phi ({\nu }_{\alpha })+\phi ({\nu }_{\beta })]\rangle$
  $=\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\beta }))+\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[\phi ({\nu }_{\beta })+\phi ({\nu }_{\alpha })]\rangle =\langle C_{\lambda }^{*}({\mu }_{\beta },{\mu }_{\alpha }),C({\nu }_{\beta },{\nu }_{\alpha })\rangle =\beta {\oplus }_C\alpha .$
• $\alpha {\otimes }_C\beta =\langle C({\mu }_{\alpha },{\mu }_{\beta }),C_{\lambda }^{*}({\nu }_{\alpha },{\nu }_{\beta })\rangle =$$\langle C({\mu }_{\beta },{\mu }_{\alpha }),C_{\lambda }^{*}({\nu }_{\beta },{\nu }_{\alpha })\rangle =\beta {\otimes }_C\alpha .$
• $k(\alpha {\oplus }_C\beta )=\langle n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta }))])))]),{\phi }^{-1}[k\phi ({\phi }^{-1}[\phi ({\nu }_{\alpha })+\phi ({\nu }_{\beta })])]\rangle \iff$
  $k(\alpha {\oplus }_C\beta )=\langle n_{\lambda }({\phi }^{-1}[k[\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta }))]]),{\phi }^{-1}[k[\phi ({\nu }_{\alpha })+\phi ({\nu }_{\beta })]]\rangle \iff$
  $k(\alpha {\oplus }_C\beta )=\langle n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }({\mu }_{\alpha }))+k\phi (n_{\lambda }({\mu }_{\beta }))]),{\phi }^{-1}[k\phi ({\nu }_{\alpha })+k\phi ({\nu }_{\beta })]\rangle \iff$
  $k(\alpha {\oplus }_C\beta )=\langle n_{\lambda }({\phi }^{-1}[\phi ({\phi }^{-1}(k\phi (n_{\lambda }({\mu }_{\alpha }))))+\phi ({\phi }^{-1}(k\phi (n_{\lambda }({\mu }_{\beta }))))]),{\phi }^{-1}[\phi ({\phi }^{-1}(k\phi ({\nu }_{\alpha })))+\phi ({\phi }^{-1}(k\phi ({\nu }_{\beta })))]\rangle \iff$
  $k(\alpha {\oplus }_C\beta )=\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}(k\phi (n_{\lambda }({\mu }_{\alpha }))))))+\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}(k\phi (n_{\lambda }({\mu }_{\beta }))))))]),{\phi }^{-1}[\phi ({\phi }^{-1}(k\phi ({\nu }_{\alpha })))+\phi ({\phi }^{-1}(k\phi ({\nu }_{\beta })))]\rangle \iff$
  $k(\alpha {\oplus }_C\beta )=k\alpha {\oplus }_{C}k\beta .$
• ${(\alpha {\otimes }_C\beta )}^k=\langle {\phi }^{-1}[k\phi ({\phi }^{-1}[\phi ({\mu }_{\alpha })+\phi ({\mu }_{\beta })])],n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\nu }_{\alpha }))+\phi (n_{\lambda }({\nu }_{\beta }))])))])\rangle$
  $=\langle {\phi }^{-1}[k[\phi ({\mu }_{\alpha })+\phi ({\mu }_{\beta })]],n_{\lambda }({\phi }^{-1}[k[\phi (n_{\lambda }({\nu }_{\alpha }))+\phi (n_{\lambda }({\nu }_{\beta }))]])\rangle =\langle {\phi }^{-1}[k\phi ({\mu }_{\alpha })+k\phi ({\mu }_{\beta })]],n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }({\nu }_{\alpha }))$
  $+k\phi (n_{\lambda }({\nu }_{\beta }))])\rangle =\langle {\phi }^{-1}[\phi ({\phi }^{-1}(k\phi ({\mu }_{\alpha })))+\phi ({\phi }^{-1}(k\phi ({\mu }_{\beta })))],n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}(k\phi (n_{\lambda }({\nu }_{\alpha }))))))$
  $+\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}(k\phi (n_{\lambda }({\nu }_{\beta }))))))])\rangle ={\alpha }^k{\otimes }_C{\beta }^k.$
• $k_1\alpha {\oplus }_C{k}_2\alpha =\langle n_{\lambda }({\phi }^{-1}[k_1\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[k_1\phi ({\nu }_{\alpha })]\rangle {\oplus }_C\langle n_{\lambda }({\phi }^{-1}[k_2\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[k_2\phi ({\nu }_{\alpha })]\rangle$
  $=\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[k_1\phi (n_{\lambda }({\mu }_{\alpha }))])))+\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[k_2\phi (n_{\lambda }({\mu }_{\alpha }))])))]),{\phi }^{-1}[\phi ({\phi }^{-1}[k_1\phi ({\nu }_{\alpha })])+\phi ({\phi }^{-1}[k_2\phi ({\nu }_{\alpha })])]\rangle$
  $=\langle n_{\lambda }({\phi }^{-1}[k_1\phi (n_{\lambda }({\mu }_{\alpha }))+k_2\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[k_1\phi ({\nu }_{\alpha })+k_2\phi ({\nu }_{\alpha })]\rangle =\langle n_{\lambda }({\phi }^{-1}[(k_1+k_2)\phi (n_{\lambda }({\mu }_{\alpha }))])$
  $,{\phi }^{-1}[(k_1+k_2)\phi ({\nu }_{\alpha })]\rangle =(k_1+k_2)\alpha .$
• ${\alpha }^{k_1}{\otimes }_C{\alpha }^{k_2}=\langle {\phi }^{-1}[k_1\phi ({\mu }_{\alpha })],n_{\lambda }({\phi }^{-1}[k_1\phi (n_{\lambda }({\nu }_{\alpha }))])\rangle {\otimes }_C\langle {\phi }^{-1}[k_2\phi ({\mu }_{\alpha })],n_{\lambda }({\phi }^{-1}[k_2\phi (n_{\lambda }({\nu }_{\alpha }))])\rangle$
  $=\langle {\phi }^{-1}[\phi ({\phi }^{-1}[k_1\phi ({\mu }_{\alpha })])+\phi ({\phi }^{-1}[k_2\phi ({\mu }_{\alpha })])],n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[k_1\phi (n_{\lambda }({\nu }_{\alpha }))])+\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[k_2\phi (n_{\lambda }({\nu }_{\alpha }))])))])\rangle$
  $=\langle {\phi }^{-1}[k_1\phi ({\mu }_{\alpha })+k_2\phi ({\mu }_{\alpha })],n_{\lambda }({\phi }^{-1}[k_1\phi (n_{\lambda }({\nu }_{\alpha }))+k_2\phi (n_{\lambda }({\nu }_{\alpha }))])\rangle =\langle {\phi }^{-1}[(k_1+k_2)\phi ({\mu }_{\alpha })]$
  $,n_{\lambda }({\phi }^{-1}[(k_1+k_2)\phi (n_{\lambda }({\nu }_{\alpha }))])\rangle ={\alpha }^{k_1+k_2}.$
• $n_{\lambda }(\alpha ){\oplus }_C{n}_{\lambda }(\beta )=\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }(n_{\lambda }({\mu }_{\alpha })))+\phi (n_{\lambda }(n_{\lambda }({\mu }_{\beta })))]),{\phi }^{-1}[\phi (n_{\lambda }({\nu }_{\alpha }))+\phi (n_{\lambda }({\nu }_{\beta }))]\rangle$
  $=\langle n_{\lambda }({\phi }^{-1}[\phi ({\mu }_{\alpha })+\phi ({\mu }_{\beta })]),{\phi }^{-1}[\phi (n_{\lambda }({\nu }_{\alpha }))+\phi (n_{\lambda }({\nu }_{\beta }))]\rangle =n_{\lambda }(\langle {\phi }^{-1}[\phi ({\mu }_{\alpha })+\phi ({\mu }_{\beta })],n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\nu }_{\alpha }))$
  $+\phi (n_{\lambda }({\nu }_{\beta }))])\rangle )=n_{\lambda }(\alpha {\otimes }_C\beta ).$
• $n_{\lambda }(\alpha ){\otimes }_C{n}_{\lambda }(\beta )=\langle {\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta }))],n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }(n_{\lambda }({\nu }_{\alpha })))+\phi (n_{\lambda }(n_{\lambda }({\nu }_{\beta })))])\rangle$
  $=\langle {\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta }))],n_{\lambda }({\phi }^{-1}[\phi ({\nu }_{\alpha })+\phi ({\nu }_{\beta })])\rangle =n_{\lambda }(\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha }))+\phi (n_{\lambda }({\mu }_{\beta }))]),{\phi }^{-1}[\phi ({\nu }_{\alpha })$
  $+\phi ({\nu }_{\beta })]\rangle )=n_{\lambda }(\alpha {\oplus }_C\beta ).$
• $k{n}_{\lambda }(\alpha )=k\langle n_{\lambda }({\mu }_{\alpha }),n_{\lambda }({\nu }_{\alpha })\rangle =\langle n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }(n_{\lambda }({\mu }_{\alpha })))]),{\phi }^{-1}[k\phi (n_{\lambda }({\nu }_{\alpha }))]\rangle =\langle n_{\lambda }({\phi }^{-1}[k\phi ({\mu }_{\alpha })]),{\phi }^{-1}[k\phi (n_{\lambda }({\nu }_{\alpha }))]\rangle$
  $=n_{\lambda }(\langle {\phi }^{-1}[k\phi ({\mu }_{\alpha })],n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }({\nu }_{\alpha }))])\rangle )=n_{\lambda }({\alpha }^k).$
• ${(n_{\lambda }(\alpha ))}^k=\langle {\phi }^{-1}[k\phi (n_{\lambda }({\mu }_{\alpha }))],n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }(n_{\lambda }({\nu }_{\alpha })))])\rangle =\langle {\phi }^{-1}[k\phi (n_{\lambda }({\mu }_{\alpha }))],n_{\lambda }({\phi }^{-1}[k\phi ({\nu }_{\alpha })])\rangle$
  $=n_{\lambda }(\langle n_{\lambda }({\phi }^{-1}[k\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[k\phi ({\nu }_{\alpha })]\rangle )=n_{\lambda }(k\alpha ).$ □

In order to achieve the derivation of different operations for IFVs, the usage of generator functions from Table 1 and of fuzzy negations from Table 2, is accomplished. Those operations are listed in

Table 3. Operations for intuitionistic fuzzy values (IFVs) via Sugeno Fuzzy Negation.

Name	Operations	Formulas
Gumbel	Addition operation	$\langle \frac{1-\exp (-{[{(-\ln (\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }}))}^{\theta }+{(-\ln (\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }}))}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})}{1+\lambda \exp (-{[{(-\ln (\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }}))}^{\theta }+{(-\ln (\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }}))}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})},\exp (-{[{(-\ln {\nu }_{\alpha })}^{\theta }+{(-\ln {\nu }_{\beta })}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})\rangle$
	Multiplication operation	$\langle \exp (-{[{(-\ln {\mu }_{\alpha })}^{\theta }+{(-\ln {\mu }_{\beta })}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}),\frac{1-\exp (-{[{(-\ln (\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }}))}^{\theta }+{(-\ln (\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }}))}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})}{1+\lambda \exp (-{[{(-\ln (\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }}))}^{\theta }+{(-\ln (\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }}))}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})}\rangle$
	Scalar Multiplication operation	$\langle \frac{1-\exp (-{[k{(-\ln (\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }}))}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})}{1+\lambda \exp (-{[k{(-\ln (\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }}))}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})},\exp (-{[k{(-\ln {\nu }_{\alpha })}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})\rangle$
	Power operation	$\langle \exp (-{[k{(-\ln {\mu }_{\alpha })}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}),\frac{1-\exp (-{[k{(-\ln (\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }}))}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})}{1+\lambda \exp (-{[k{(-\ln (\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }}))}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})}\rangle$
Clayton	Addition operation	$\langle \frac{1-{({(\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{-\theta }+{(\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }})}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda {({(\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{-\theta }+{(\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }})}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}},{({\nu }_{\alpha }{}^{-\theta }+{\nu }_{\beta }{}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}\rangle$
	Multiplication operation	$\langle {({\mu }_{\alpha }{}^{-\theta }+{\mu }_{\beta }{}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.},\frac{1-{({(\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{-\theta }+{(\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }})}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda {({(\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{-\theta }+{(\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }})}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}\rangle$
	Scalar Multiplication operation	$\langle \frac{1-{(k{(\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda {(k{(\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}},{(k{\nu }_{\alpha }{}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}\rangle$
	Power operation	$\langle {(k{\mu }_{\alpha }{}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.},\frac{1-{(k{(\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda {(k{(\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{-\theta }-1)}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}\rangle$
Ali-Mikhail-Haq	Addition operation	$\langle \frac{1-\frac{\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }}\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }}}{1-\theta (1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})(1-\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }})}}{1+\lambda (\frac{\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }}\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }}}{1-\theta (1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})(1-\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }})})},\frac{{\nu }_{\alpha }{\nu }_{\beta }}{1-\theta (1-{\nu }_{\alpha })(1-{\nu }_{\beta })}\rangle$
	Multiplication operation	$\langle \frac{{\mu }_{\alpha }{\mu }_{\beta }}{1-\theta (1-{\mu }_{\alpha })(1-{\mu }_{\beta })},\frac{1-\frac{\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }}\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }}}{1-\theta (1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})(1-\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }})}}{1+\lambda (\frac{\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }}\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }}}{1-\theta (1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})(1-\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }})})}\rangle$
	Scalar Multiplication operation	$\langle \frac{1-\frac{{(\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^k}{1-\theta {(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^k}}{1+\lambda (\frac{{(\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^k}{1-\theta {(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^k})},\frac{{\nu }_{\alpha }{}^k}{1-\theta {(1-{\nu }_{\alpha })}^k}\rangle$
	Power operation	$\langle \frac{{\nu }_{\alpha }{}^k}{1-\theta {(1-{\nu }_{\alpha })}^k},\frac{1-\frac{{(\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^k}{1-\theta {(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^k}}{1+\lambda (\frac{{(\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^k}{1-\theta {(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^k})}\rangle$
Joe	Addition operation	$\langle \frac{{[{(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{\theta }+{(1-\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }})}^{\theta }-{(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{\theta }{(1-\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }})}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda -\lambda {[{(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{\theta }+{(1-\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }})}^{\theta }-{(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{\theta }{(1-\frac{1-{\mu }_{\beta }}{1+\lambda {\mu }_{\beta }})}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}},1-{[{(1-{\nu }_{\alpha })}^{\theta }+{(1-{\nu }_{\beta })}^{\theta }-{(1-{\nu }_{\alpha })}^{\theta }{(1-{\nu }_{\beta })}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}\rangle$
	Multiplication operation	$\langle 1-{[{(1-{\mu }_{\alpha })}^{\theta }+{(1-{\mu }_{\beta })}^{\theta }-{(1-{\mu }_{\alpha })}^{\theta }{(1-{\mu }_{\beta })}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.},\frac{{[{(1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{\theta }+{(1-\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }})}^{\theta }-{(1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{\theta }{(1-\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }})}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda -\lambda {[{(1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{\theta }+{(1-\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }})}^{\theta }-{(1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{\theta }{(1-\frac{1-{\nu }_{\beta }}{1+\lambda {\nu }_{\beta }})}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}\rangle$
	Scalar Multiplication operation	$\langle \frac{{[k{(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{\theta }-{({(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{\theta })}^k]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda -\lambda {[k{(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{\theta }-{({(1-\frac{1-{\mu }_{\alpha }}{1+\lambda {\mu }_{\alpha }})}^{\theta })}^k]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}},1-{[k{(1-{\nu }_{\alpha })}^{\theta }-{({(1-{\nu }_{\alpha })}^{\theta })}^k]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}\rangle$
	Power operation	$\langle 1-{[k{(1-{\mu }_{\alpha })}^{\theta }-{({(1-{\mu }_{\alpha })}^{\theta })}^k]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.},\frac{{[k{(1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{\theta }-{({(1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{\theta })}^k]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda -\lambda {[k{(1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{\theta }-{({(1-\frac{1-{\nu }_{\alpha }}{1+\lambda {\nu }_{\alpha }})}^{\theta })}^k]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}\rangle$

:

In the following Section, we propose the development of intuitionistic fuzzy Archimedean copula weighted arithmetic and geometric aggregation operators, which is achieved. Furthermore, the properties of those extended aggregation operators are investigated.

3. Novel Intuitionistic Fuzzy Archimedean Copula Weighted Arithmetic and Geometric Aggregation Operators

3.1. Intuitionistic Fuzzy Archimedean Copula Weighted Arithmetic Aggregation Operator

Definition 7.

Let${\alpha }_i=\langle {\mu }_{{\alpha }_i},{\nu }_{{\alpha }_i}\rangle$,$i=1,\dots ,n$, be a collection of IFVs and$w={\{w_1,\dots ,w_n\}}^{{\rm T}}$be the weighting vector of${\alpha }_i$, with$0\le w_i\le 1$and${\displaystyle {\sum }_{i=1}^n{w}_i=1}$. An intuitionistic fuzzy Archimedean copula weighted arithmetic aggregation ($IFACWA{A}_w$) operator of dimension n is a mapping,$IFACWA{A}_w:V^n\to V$, according to:$IFACWA{A}_w({\alpha }_1,\dots ,{\alpha }_n)={\oplus }_C{\hspace{0.17em}}_{i=1}^n{w}_i{\alpha }_i.$

Based on the proposed addition and scalar multiplication operations of IFVs, the following theorem is expressed.

Theorem 3.

Let ${\alpha }_i=\langle {\mu }_{{\alpha }_i},{\nu }_{{\alpha }_i}\rangle$,$i=1,\dots ,n$, be a collection of IFVs and $w={\{w_1,\dots ,w_n\}}^{{\rm T}}$ be the associated weighting vector, with $0\le w_i\le 1$ and ${\displaystyle {\sum }_{i=1}^n{w}_i=1}$. Then, the aggregated value, based on the $IFACWA{A}_w$ operator, can be expressed as:

$$IFACWA{A}_w({\alpha }_1,\dots ,{\alpha }_n)=\langle n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^n{w}_i\phi (n_{\lambda }({\mu }_{{\alpha }_i}))}]),{\phi }^{-1}[{\displaystyle \sum _{i=1}^n{w}_i\phi ({\nu }_{{\alpha }_i})}]\rangle$$

The value of $IFACWA{A}_w$ operator is also an IFV.

Proof of Theorem 3.

For $n=1$, we get:

$$IFACWA{A}_w({\alpha }_1)=\langle n_{\lambda }({\phi }^{-1}[w_1\phi (n_{\lambda }({\mu }_{{\alpha }_1}))]),{\phi }^{-1}[w_1\phi ({\nu }_{{\alpha }_1})]\rangle$$

But we have that $w_1=1$, so we get:

$$IFACWA{A}_w({\alpha }_1)=\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{{\alpha }_1}))]),{\phi }^{-1}[\phi ({\nu }_{{\alpha }_1})]\rangle \iff$$

$$IFACWA{A}_w({\alpha }_1)=\langle {\mu }_{{\alpha }_1},{\nu }_{{\alpha }_1}\rangle \iff IFACWA{A}_w({\alpha }_1)={\alpha }_1,$$

as ${\alpha }_1\in V,$$IFACWA{A}_w({\alpha }_1)\in V$.

Next, we suppose that for $n=k$ it holds, so we calculate:

$$IFACWA{A}_w({\alpha }_1,\dots ,{\alpha }_k)=\langle n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi (n_{\lambda }({\mu }_{{\alpha }_i}))}]),{\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi ({\nu }_{{\alpha }_i})}]\rangle$$

For $n=k+1$, we get:

$$IFACWA{A}_w({\alpha }_1,\dots ,{\alpha }_k,{\alpha }_{k+1})={\oplus }_C{}_{i=1}^{k+1}{w}_i{\alpha }_i=({\oplus }_C{}_{i=1}^k{w}_i{\alpha }_i){\oplus }_C(w_{k+1}{\alpha }_{k+1})$$

$$=\langle n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi (n_{\lambda }({\mu }_{{\alpha }_i}))}]),{\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi ({\nu }_{{\alpha }_i})}]\rangle {\oplus }_C\langle n_{\lambda }({\phi }^{-1}[w_{k+1}\phi (n_{\lambda }({\mu }_{{\alpha }_{k+1}}))]),{\phi }^{-1}[w_{k+1}\phi ({\nu }_{{\alpha }_{k+1}})]\rangle$$

$$=\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi (n_{\lambda }({\mu }_{{\alpha }_i}))}])))+\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[w_{k+1}\phi (n_{\lambda }({\mu }_{{\alpha }_{k+1}}))])))]),$$

$${\phi }^{-1}[\phi ({\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi ({\nu }_{{\alpha }_i})}])+\phi ({\phi }^{-1}[w_{k+1}\phi ({\nu }_{{\alpha }_{k+1}})])]\rangle =\langle n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi (n_{\lambda }({\mu }_{{\alpha }_i}))}+w_{k+1}\phi (n_{\lambda }({\mu }_{{\alpha }_{k+1}}))]),$$

$${\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi ({\nu }_{{\alpha }_i})}])+w_{k+1}\phi ({\nu }_{{\alpha }_{k+1}})]\rangle =\langle n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^{k+1}{w}_i\phi (n_{\lambda }({\mu }_{{\alpha }_i}))}]),{\phi }^{-1}[{\displaystyle \sum _{i=1}^{k+1}{w}_i\phi ({\nu }_{{\alpha }_i})}]\rangle$$

It holds, so as a result, by mathematical induction the proof is complete. □

Proposition 4.

Let ${\alpha }_i=\langle {\mu }_{{\alpha }_i},{\nu }_{{\alpha }_i}\rangle$,$i=1,\dots ,n$, be a collection of IFVs and $w={\{w_1,\dots ,w_n\}}^{{\rm T}}$ be the associated weighting vector, with $0\le w_i\le 1$ and ${\displaystyle {\sum }_{i=1}^n{w}_i=1}$. Then $IFACWA{A}_w$ operator is:

• Idempotent, i.e., if$\langle {\mu }_{{\alpha }_i},{\nu }_{{\alpha }_i}\rangle =\langle {\mu }_{\alpha },{\nu }_{\alpha }\rangle$, then: for$i=1,\dots ,n,$$IFACWA{A}_w({\alpha }_1,\dots ,{\alpha }_n)=\alpha .$
• Bounded, i.e., for$i=1,\dots ,n,$$\langle 0,1\rangle \le IFACWA{A}_w({\alpha }_1,\dots ,{\alpha }_n)\le \langle 1,0\rangle$.
• Commutative, i.e., for any permutation of${\alpha }_i=\langle {\mu }_{{\alpha }_i},{\nu }_{{\alpha }_i}\rangle$,${\alpha }_{f(i)}=\langle {\mu }_{{\alpha }_{{}_{f(i)}}},{\nu }_{{\alpha }_{{}_{f(i)}}}\rangle$, with$i=1, \dots , n$, where$f:\left\{1,2,\dots ,n\right\}\to \left\{1,2,\dots ,n\right\},$$IFACWA{A}_w({\alpha }_1,\dots ,{\alpha }_n)$$=IFACWA{A}_w({\alpha }_{f(1)},\dots ,{\alpha }_{f(n)})$.

Proof of Proposition 4. 

1. $IFACWA{A}_w({\alpha }_1,\dots ,{\alpha }_n)=\langle n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^n{w}_i\phi (n_{\lambda }({\mu }_{{\alpha }_i}))}]),$${\phi }^{-1}[{\displaystyle \sum _{i=1}^n{w}_i\phi ({\nu }_{{\alpha }_i})}]\rangle$.

As ${\mu }_{{\alpha }_i}={\mu }_{\alpha }$ and ${\nu }_{{\alpha }_i}={\nu }_{\alpha }$ we get: $IFACWA{A}_w({\alpha }_1,\dots ,{\alpha }_n)=\langle n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^n{w}_i\phi (n_{\lambda }({\mu }_{\alpha }))}]),$${\phi }^{-1}[{\displaystyle \sum _{i=1}^n{w}_i\phi ({\nu }_{\alpha })}]\rangle$$=\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha })){\displaystyle \sum _{i=1}^n{w}_i}]),{\phi }^{-1}[\phi ({\nu }_{\alpha }){\displaystyle \sum _{i=1}^n{w}_i}]\rangle$$=\langle n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\mu }_{\alpha }))]),{\phi }^{-1}[\phi ({\nu }_{\alpha })]\rangle$$=\langle {\mu }_{\alpha },{\nu }_{\alpha }\rangle =\alpha .$

The proofs of Equations (2) and (3) are obvious based on the properties of Archimedean copulas and their corresponding co-copulas. □

3.2. Intuitionistic Fuzzy Archimedean Copula Weighted Geometric Aggregation Operator

Definition 8.

Let${\alpha }_i=\langle {\mu }_{{\alpha }_i},{\nu }_{{\alpha }_i}\rangle$,$i=1, \dots , n$, be a collection of IFVs and$w={\{w_1, \dots , w_n\}}^{{\rm T}}$be the weighting vector of${\alpha }_i$, with$0\le w_i\le 1$and${\displaystyle {\sum }_{i=1}^n{w}_i=1}$. An intuitionistic fuzzy Archimedean copula weighted geometric aggregation ($IFACWG{A}_w$) operator of dimension n is a mapping,$IFACWG{A}_w:V^n\to V$, according to:$IFACWG{A}_w({\alpha }_1,\dots ,{\alpha }_n)={\otimes }_C{}_{i=1}^n{\alpha }_i{}^{w_i}$.

Based on the proposed multiplication and power operations of IFVs, the following theorem is expressed.

Theorem 5.

Let ${\alpha }_i=\langle {\mu }_{{\alpha }_i},{\nu }_{{\alpha }_i}\rangle$, $i=1,\dots ,n$, be a collection of IFVs and $w={\{w_1,\dots ,w_n\}}^{{\rm T}}$ be the associated weighting vector, with $0\le w_i\le 1$ and ${\displaystyle {\sum }_{i=1}^n{w}_i=1}$. Then, the aggregated value, based on the $IFACWG{A}_w$ operator, can be expressed as: $IFACWG{A}_w({\alpha }_1,\dots ,{\alpha }_n)=\langle {\phi }^{-1}[{\displaystyle \sum _{i=1}^n{w}_i\phi ({\mu }_{{\alpha }_i})}],$$n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^n{w}_i\phi (n_{\lambda }({\nu }_{{\alpha }_i}))}])\rangle$.

The value of $IFACWG{A}_w$ operator is also an IFV.

Proof of Theorem 5.

For $n=1$, we get: $IFACWG{A}_w({\alpha }_1)=\langle {\phi }^{-1}[w_1\phi ({\mu }_{{\alpha }_1})],n_{\lambda }({\phi }^{-1}[w_1\phi (n_{\lambda }({\nu }_{{\alpha }_1}))])\rangle ,$ but we have that $w_1=1$ so we get: $IFACWG{A}_w({\alpha }_1)=\langle {\phi }^{-1}[\phi ({\mu }_{{\alpha }_1})],n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }({\nu }_{{\alpha }_1}))])\rangle .$ As a result, we have: $IFACWG{A}_w({\alpha }_1)=\langle {\mu }_{{\alpha }_1},{\nu }_{{\alpha }_1}\rangle ={\alpha }_1.$ As ${\alpha }_1\in V,$$IFACWG{A}_w({\alpha }_1)\in V$.

Next, suppose that for $n=k$ it holds.

For $n=k+1$ we calculate:

$$IFACWG{A}_w({\alpha }_1,\dots ,{\alpha }_{k+1})={\otimes }_C{}_{i=1}^{k+1}{\alpha }_i{}^{w_i}=({\otimes }_C{}_{i=1}^k{\alpha }_i{}^{w_i}){\otimes }_C({\alpha }_{k+1}{}^{w_{k+1}})$$

$$=\langle {\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi ({\mu }_{{\alpha }_i})}],n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi (n_{\lambda }({\nu }_{{\alpha }_i}))}])\rangle {\otimes }_C\langle {\phi }^{-1}[w_{k+1}\phi ({\mu }_{{\alpha }_{k+1}})],n_{\lambda }({\phi }^{-1}[w_{k+1}\phi (n_{\lambda }({\nu }_{{\alpha }_{k+1}}))])\rangle$$

$$=\langle {\phi }^{-1}[\phi ({\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi ({\mu }_{{\alpha }_i})}])+\phi ({\phi }^{-1}[w_{k+1}\phi ({\mu }_{{\alpha }_{k+1}})])],n_{\lambda }({\phi }^{-1}[\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi (n_{\lambda }({\nu }_{{\alpha }_i}))}])))$$

$$+\phi (n_{\lambda }(n_{\lambda }({\phi }^{-1}[w_{k+1}\phi (n_{\lambda }({\nu }_{{\alpha }_{k+1}}))])))])\rangle =\langle {\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi ({\mu }_{{\alpha }_i})}+w_{k+1}\phi ({\mu }_{{\alpha }_{k+1}})],n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^k{w}_i\phi (n_{\lambda }({\nu }_{{\alpha }_i}))}+w_{k+1}\phi (n_{\lambda }({\nu }_{{\alpha }_{k+1}}))])\rangle$$

$$=\langle {\phi }^{-1}[{\displaystyle \sum _{i=1}^{k+1}{w}_i\phi ({\mu }_{{\alpha }_i})}],n_{\lambda }({\phi }^{-1}[{\displaystyle \sum _{i=1}^{k+1}{w}_i\phi (n_{\lambda }({\nu }_{{\alpha }_i}))}])\rangle$$

It holds, so by mathematical induction the proof is complete. □

Remark 1.

$IFACWG{A}_w$ operator possesses the same properties as $IFACWA{A}_w,$ such as idempotency, boundary property and commutativity.

In order to depict some of the produced $IFACWA{A}_w$ and $IFACWG{A}_w$ operators we use the proposed operators for IFVs as described in Table 3, which are expressed in the

Table 4. Some Sugeno-Based Intuitionistic Fuzzy Archimedean Copula Weighted Arithmetic Aggregation Operators.

Name	$\mathit{I}\mathit{F}\mathit{A}\mathit{C}\mathit{W}\mathit{A}{\mathit{A}}_{\mathit{w}}$
Gumbel	$\langle \frac{1-\exp [{[-{\displaystyle \sum _{i=1}^n{w}_i}{[-\ln (\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}})]}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}]}{1+\lambda (\exp [{[-{\displaystyle \sum _{i=1}^n{w}_i}{[-\ln (\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}})]}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}])},\exp [{[-{\displaystyle \sum _{i=1}^n{w}_i}{[-\ln {\nu }_{{\alpha }_i}]}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}]\rangle$
Clayton	$\langle \frac{1-{({\displaystyle \sum _{i=1}^n{w}_i}{(\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}})}^{-\theta })}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda ({({\displaystyle \sum _{i=1}^n{w}_i}{(\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}})}^{-\theta })}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.})},{({\displaystyle \sum _{i=1}^n{w}_i}{({\nu }_{{\alpha }_i})}^{-\theta })}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}\rangle$
Ali-Mikhail-Haq	$\langle \frac{1-\frac{1-\theta }{{\displaystyle \prod _{i=1}^n{(\frac{1-\theta (1-\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}})}{\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}}})}^{w_i}-\theta }}}{1+\lambda (\frac{1-\theta }{{\displaystyle \prod _{i=1}^n{(\frac{1-\theta (1-\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}})}{\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}}})}^{w_i}-\theta }})},\frac{1-\theta }{{\displaystyle \prod _{i=1}^n{(\frac{1-\theta (1-{\nu }_{{\alpha }_i})}{{\nu }_{{\alpha }_i}})}^{w_i}}-\theta }\rangle$
Joe	$\langle \frac{{(1-{\displaystyle \prod _{i=1}^n{(1-{(1-\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}})}^{\theta })}^{w_i}})}^{1/\theta }}{1+\lambda (1-{(1-{\displaystyle \prod _{i=1}^n{(1-{(1-\frac{1-{\mu }_{{\alpha }_i}}{1+\lambda {\mu }_{{\alpha }_i}})}^{\theta })}^{w_i}})}^{1/\theta })},1-{(1-{\displaystyle \prod _{i=1}^n{(1-{(1-{\nu }_{{\alpha }_i})}^{\theta })}^{w_i}})}^{1/\theta }\rangle$

and

Table 5. Some Sugeno-Based Intuitionistic Fuzzy Archimedean Copula Weighted Geometric Aggregation Operators.

Name	$\mathit{I}\mathit{F}\mathit{A}\mathit{C}\mathit{W}\mathit{G}{\mathit{A}}_{\mathit{w}}$
Gumbel	$\langle \exp [{[-{\displaystyle \sum _{i=1}^n{w}_i}{[-\ln {\mu }_{{\alpha }_i}]}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}],\frac{1-\exp [{[-{\displaystyle \sum _{i=1}^n{w}_i}{[-\ln (\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}})]}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}]}{1+\lambda (\exp [{[-{\displaystyle \sum _{i=1}^n{w}_i}{[-\ln (\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}})]}^{\theta }]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}])}\rangle$
Clayton	$\langle {({\displaystyle \sum _{i=1}^n{w}_i}{({\mu }_{{\alpha }_i})}^{-\theta })}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.},\frac{1-{({\displaystyle \sum _{i=1}^n{w}_i}{(\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}})}^{-\theta })}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}{1+\lambda ({({\displaystyle \sum _{i=1}^n{w}_i}{(\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}})}^{-\theta })}^{-\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$\theta $}\right.}}\rangle$
Ali-Mikhail-Haq	$\langle \frac{1-\theta }{{\displaystyle \prod _{i=1}^n{(\frac{1-\theta (1-{\mu }_{{\alpha }_i})}{{\nu }_{{\alpha }_i}})}^{w_i}}-\theta },\frac{1-\frac{1-\theta }{{\displaystyle \prod _{i=1}^n{(\frac{1-\theta (1-\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}})}{\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}}})}^{w_i}-\theta }}}{1+\lambda (\frac{1-\theta }{{\displaystyle \prod _{i=1}^n{(\frac{1-\theta (1-\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}})}{\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}}})}^{w_i}-\theta }})}\rangle$
Joe	$\langle 1-{(1-{\displaystyle \prod _{i=1}^n{(1-{(1-{\mu }_{{\alpha }_i})}^{\theta })}^{w_i}})}^{1/\theta },\frac{{(1-{\displaystyle \prod _{i=1}^n{(1-{(1-\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}})}^{\theta })}^{w_i}})}^{1/\theta }}{1+\lambda (1-{(1-{\displaystyle \prod _{i=1}^n{(1-{(1-\frac{1-{\nu }_{{\alpha }_i}}{1+\lambda {\nu }_{{\alpha }_i}})}^{\theta })}^{w_i}})}^{1/\theta })}\rangle$

, respectively.

4. $IFACWA{A}_w$ and $IFACWG{A}_w$ Operators in MADM

In this section an algorithm for Multiple-Attribute Decision Making (MADM) with IFVs is introduced. Let $U=\{u_1,\dots ,u_m\}$ be the set of alternatives and $C=\{C_1,\dots ,C_n\}$ be the set of attributes, with a weighting vector $w={\{w_1,\dots ,w_n\}}^{{\rm T}}$, with $0\le w_i\le 1$ and ${\displaystyle \sum _{i=1}^n{w}_i=1}$. The intuitionistic fuzzy decision matrix $R={(<{\mu }_{ij},{\nu }_{ij}>)}_{m\times n}$ where ${\alpha }_{ij}=<{\mu }_{ij},{\nu }_{ij}>,$ with $i=1,\dots ,m$ and $j=1,\dots ,n$ represent the degree that $u_i$ satisfies $C_j$, such that ${\mu }_{ij},{\nu }_{ij}\in [0,1]$, with ${\mu }_{ij}+{\nu }_{ij}\le 1,$ i.e.,

$$R=\left[\begin{array}{ccc}<{\mu }_{11},{\nu }_{11}>& \cdots & <{\mu }_{1n},{\nu }_{1n}>\\ ⋮& \ddots & ⋮\\ <{\mu }_{m1},{\nu }_{m1}>& \cdots & <{\mu }_{mn},{\nu }_{mn}>\end{array}\right]$$

(7)

In order to obtain the weighting vector of attributes, the modified maximizing deviations method for MADM with intuitionistic fuzzy information [9] can be used. As MADM with intuitionistic fuzzy information is a procedure to end up with the best alternative $u_i\in U,$$i=1, \dots , m,$ the comparison of IFVs is achieved by the following concept.

For any IFV $\alpha =\langle \mu ,\nu \rangle ,$ Chen and Tan [33] proposed a score function $s$ and Hong and Choi [34] proposed an accuracy function $h$, i.e., $s(\alpha )={\mu }_{\alpha }-{\nu }_{\alpha }$ and $h(\alpha )={\mu }_{\alpha }+{\nu }_{\alpha }$, respectively. The larger the score is, the greater the IFV would be. In the case that the score function’s values for two IFVs are equal; the accuracy function can provide more specific result. Xu and Yager [35], based on score and accuracy functions, gave a total order for IFVs.

Based on the above and inspired by MADM model in [9], we derive the following algorithm.

Algorithm 1 Multiple Attribute Decision Making Model

BEGIN

1: Obtain the normalized intuitionistic fuzzy decision matrix, i.e.,

$R={(<{\mu }_{ij},{\nu }_{ij}>)}_{m\times n}$.

2: Determine the weighting vector of the attributes.

3: Aggregate the IFVs using the proposed $IFACWA{A}_w$ or $IFACWG{A}_w$

operators.

4: Sort the options according to score function and accuracy function.

5: Select the best alternative, by ranking the values of ${\alpha }_i,$$i=1, \dots , m$.

END

In order to demonstrate the proposed method, we provide the following numerical example, which is adapted from Tao et al.’s [9] work, in order to compare their method with the present extension of it.

5. A Practical Example for MADM with IFVs.

A research facility has arranged to purchase an electronic device. The people in charge, selected the four most appropriate models for further consideration, after the market research. Those are indicated as the four alternatives $U=\{u_1,u_2,u_3,u_4\}.$ The evaluation of the alternatives is achieved by the consideration of five attributes by the decision maker (DM). Those attributes are listed as follows: the layout of the product ($C_1$), the technical assistance ($C_2$), the brand ($C_3$), the price ($C_4$) and the quality of the product ($C_5$).

Step 1.

The normalized intuitionistic fuzzy decision matrix can be obtained as follows:

$$R={({\alpha }_{ij})}_{4\times 5}=\left[\begin{array}{ccccc}\langle 0.4,0.3\rangle & \langle 0.5,0.2\rangle & \langle 0.7,0.2\rangle & \langle 0.4,0.6\rangle & \langle 0.6,0.2\rangle \\ \langle 0.6,0.1\rangle & \langle 0.4,0.3\rangle & \langle 0.3,0.5\rangle & \langle 0.6,0.2\rangle & \langle 0.5,0.3\rangle \\ \langle 0.5,0.4\rangle & \langle 0.6,0.1\rangle & \langle 0.6,0.2\rangle & \langle 0.7,0.1\rangle & \langle 0.3,0.6\rangle \\ \langle 0.6,0.3\rangle & \langle 0.4,0.5\rangle & \langle 0.5,0.3\rangle & \langle 0.8,0.2\rangle & \langle 0.5,0.2\rangle \end{array}\right].$$

in which, the element $\langle {\mu }_{ij},{\nu }_{ij}\rangle ,$ with $i=1,\dots ,4$ and $j=1,\dots ,5$, represents the intuitionistic membership and non-membership degree of the i-th alternative that satisfies the j-th attribute.

Step 2.

In the present work, we use Tao et al.’s [9], modified maximizing deviations method, in order to derive the five weightings of the attributes, and since the numerical example is the same we get:$w_1=0.2162,$$w_2=0.2703,$$w_3=0.1892,$$w_4=0.1081,$$w_5=0.2162.$

Step 3.

The aggregated results are given by the usage of $IFACWA{A}_w$ and $IFACWG{A}_w$ operators and are listed in

Table 6. The aggregation results using intuitionistic fuzzy Archimedean copula weighted arithmetic aggregation ($IFACWA{A}_w$)

Alternatives	Gumbel $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$	Clayton $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$	Ali-Mikhail-Haq $\mathit{\theta }=-1$ $\mathit{\lambda }=0.3$	Joe $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$
$u_1$	$\langle 0.5394,0.2459\rangle$	$\langle 0.5560,0.2337\rangle$	$\langle 0.5356,0.2488\rangle$	$\langle 0.5394,0.2459\rangle$
$u_2$	$\langle 0.4777,0.2494\rangle$	$\langle 0.4908,0.2126\rangle$	$\langle 0.4736,0.2544\rangle$	$\langle 0.4777,0.2494\rangle$
$u_3$	$\langle 0.5388,0.2267\rangle$	$\langle 0.5556,0.1776\rangle$	$\langle 0.5338,0.2357\rangle$	$\langle 0.5388,0.2267\rangle$
$u_4$	$\langle 0.5444,0.3020\rangle$	$\langle 0.5731,0.2846\rangle$	$\langle 0.5395,0.3056\rangle$	$\langle 0.5444,0.3020\rangle$

and

Table 7. The aggregation results using intuitionistic fuzzy Archimedean copula weighted geometric aggregation ($IFACWG{A}_w$)

Alternatives	Gumbel $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$	Clayton $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$	Ali-Mikhail-Haq $\mathit{\theta }=-1$ $\mathit{\lambda }=0.3$	Joe $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$
$u_1$	$\langle 0.5156,0.2762\rangle$	$\langle 0.5045,0.2976\rangle$	$\langle 0.5197,0.2693\rangle$	$\langle 0.5156,0.2762\rangle$
$u_2$	$\langle 0.4534,0.2940\rangle$	$\langle 0.4387,0.3097\rangle$	$\langle 0.4576,0.2868\rangle$	$\langle 0.4534,0.2940\rangle$
$u_3$	$\langle 0.5049,0.3176\rangle$	$\langle 0.4823,0.3581\rangle$	$\langle 0.5113,0.3012\rangle$	$\langle 0.5049,0.3176\rangle$
$u_4$	$\langle 0.5152,0.3306\rangle$	$\langle 0.5045,0.3443\rangle$	$\langle 0.5196,0.3252\rangle$	$\langle 0.5152,0.3306\rangle$

.

Step 4.

The score function’s results for each alternative and for each type of $IFACWA{A}_w$ and $IFACWG{A}_w$ operators are listed in

Table 8. The score function’s results using $IFACWA{A}_w.$

Alternatives	Gumbel $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$	Clayton $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$	Ali-Mikhail-Haq $\mathit{\theta }=-1$ $\mathit{\lambda }=0.3$	Joe $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$
$u_1$	0.2935	0.3223	0.2868	0.2935
$u_2$	0.2283	0.2782	0.2192	0.2283
$u_3$	0.3121	0.3780	0.2981	0.3121
$u_4$	0.2424	0.2884	0.2339	0.2424

and

Table 9. The score function’s results using $IFACWG{A}_w$

Alternatives	Gumbel $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$	Clayton $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$	Ali-Mikhail-Haq $\mathit{\theta }=-1$ $\mathit{\lambda }=0.3$	Joe $\mathit{\theta }=1$ $\mathit{\lambda }=0.3$
$u_1$	0.2394	0.2069	0.2504	0.2394
$u_2$	0.1594	0.1290	0.1708	0.1594
$u_3$	0.1873	0.1243	0.2101	0.1873
$u_4$	0.1846	0.1602	0.1944	0.1846

.

Step 5.

The ranking of the alternatives is achieved and is depicted in

Table 10. Ranking of the alternatives.

Type	$\mathit{I}\mathit{F}\mathit{A}\mathit{C}\mathit{W}\mathit{A}{\mathit{A}}_{\mathit{w}}$	$\mathit{I}\mathit{F}\mathit{A}\mathit{C}\mathit{W}\mathit{G}{\mathit{A}}_{\mathit{w}}$
Gumbel	$u_3>u_1>u_4>u_2$	$u_1>u_3>u_4>u_2$
Clayton	$u_3>u_1>u_4>u_2$	$u_1>u_4>u_2>u_3$
Ali-Mikhail-Haq	$u_3>u_1>u_4>u_2$	$u_1>u_3>u_4>u_2$
Joe	$u_3>u_1>u_4>u_2$	$u_1>u_3>u_4>u_2$

.

To illustrate the affection of $\lambda$ parameter in the procedure as $\theta$ parameter is fixed to 1 (and -1 in Ali-Mikhail-Haq case) we utilized the following graphs that are depicted in Figure 1 and Figure 2 for the $IFACWA{A}_w$ and in Figure 3 and Figure 4 for the $IFACWG{A}_w$.

6. Discussion

The present paper establishes specific novel operational laws of IFVs, as the generalization of the existing copula-based operational laws, with the contribution of fuzzy negations. Additionally, the paper provides the extension of the proposed operations to the arithmetic mean and to the geometric mean of IFVs.

First of all, the replacement of the $\lambda$ parameter with the numerical value zero in Sugeno class, or with the numerical value one in Yager class, in Definitions 6–8 and the corresponding tables (Table 3, Table 4 and Table 5), provides us with the operation laws and the aggregation operators of Tao et al.’s [9] work. As a result, the generalization of the existing operators by the proposed operational laws and the extension of the existing aggregation operators are verified. More specifically, the extension of the existing aggregation operators is based on the reform of the existing basic operational environment.

Regarding the provided practical example for MADM with IFVs, developed in order to point out the advantages and the flexibility of the proposed algorithm, we may call forth the following comparison with [9].

To continue with the ranking of the alternatives in [9], the usage of Gumbel-type aggregation operator suggests the third alternative ($u_3$) as the most adequate one. In addition, the Clayton-, Ali-Mikhail-Haq- and Joe-type of aggregation operators provides the same alternative, respectively, through the other three alternatives are developed with a different order. On the other hand, in our approach, as Table 10 shows, there is no difference in the order of the four alternatives for each type of aggregation operator and, as a result, the order problem is distinguished.

In addition, in Table 10, the order of the alternatives is provided, suggesting the usage of $IFACWG{A}_w$ operators for each copula type, which represents a new best alternative. Specifically, Gumbel-, Ali-Mikhail-Haq- and Joe-type aggregation results demonstrate that the most adequate alternative is $u_1$ and $u_3$ follows. The rest ranking remains the same with the $IFACWA{A}_w$ operators ranking. However, in the case of Clayton-type $IFACWG{A}_w$ ranking in respect of the three alternatives is totally different, through the first one remains $u_1$ demonstrating the most adequate choice. This perspective may be considered reasonable, given that the parameter $\lambda$ does not affect, neither the membership degree, nor the nonmembership degree in the aggregation process and this fact may be observed in the Clayton-type score function’s plot.

Another remarkable fact about the proposed aggregation operators is that they provide two parameters affecting (in most cases) the results, suggesting more choices and flexibility for the decision makers. For the description of the affection of $\lambda$ parameter, Figure 1, Figure 2, Figure 3 and Figure 4 have been utilized, as $\theta$ parameter is fixed to 1 (and -1 in the Ali-Mikhail-Haq case).

In Figure 1, apparently the Gumbel- and Clayton-type of $IFACWA{A}_w$ operators suggest distinct score functions for each alternative, with $u_3$ always representing the most adequate choice and $u_2$ the least adequate one. The same holds for the Joe- and Ali-Mikhail-Haq-type of $IFACWA{A}_w$ operators, as it is depicted in Figure 2. In Figure 3, the Gumbel-type of $IFACWG{A}_w$ suggests $u_1$ as the most adequate choice and $u_2$ the least adequate one, through alternatives $u_3$ and $u_4$ that meet a crossover point. In Figure 4, we may observe that Joe-type of $IFACWG{A}_w$ proposes the same alternatives, respectively, as the Gumbel-type approach, but also a crossover point for the alternatives $u_3$ and $u_4$.

7. Conclusions

The paper cited the generalization of copula-based operations of Intuitionistic Fuzzy Values (IFVs) via fuzzy negations. Additionally, novel aggregation operators were produced from the new operations of IFVs, with their properties being further investigated. As a result, an algorithm is suggested, which may be utilized in Multiple Attribute Decision Making (MADM) processes.

The main advantage of our work is that the aggregation operators of IFVs provided in the suggested algorithm are univariate parametric, therefore various intuitionistic fuzzy Archimedean copula weighted arithmetic and geometric operators could be obtained, with each one potentially being more appropriate for the decision makers. Combined with the most appropriate copula [23] for each MADM case, more specified aggregator operators would be provided to express more accurately a decision maker’s attitude.

In the future our aim is to combine the proposed operations with fuzzy negations via conic sections [36], in order to produce modified families of aggregator operations of IFVs. Furthermore, we are willing to adapt the proposed operations, following the appropriate transformation, in other types of fuzzy sets, such as hesitant fuzzy sets [37], and unbalanced linguistic term sets [38] and neutrosophic sets [39], in order to construct algorithms for multiple attribute decision making and multiple attribute group decision making.