International Journal of Mathematics and Mathematical Sciences

Volume 2018, Article ID 9209524, 13 pages

https://doi.org/10.1155/2018/9209524

## Fuzzy Triangular Aggregation Operators

National Advanced School of Engineering, University of Yaounde 1, 8390 Yaounde, Cameroon

Correspondence should be addressed to Ulrich Florian Simo; rf.oohay@omis_nairolf

Received 29 June 2017; Accepted 28 November 2017; Published 1 February 2018

Academic Editor: Theodore E. Simos

Copyright © 2018 Ulrich Florian Simo and Henri Gwét. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We present a new class of fuzzy aggregation operators that we call* fuzzy triangular aggregation operators*. To do so, we focus on the situation where the available information cannot be assessed with exact numbers and it is necessary to use another approach to assess uncertain or imprecise information such as fuzzy numbers. We also use the concept of triangular norms (t-norms and t-conorms) as pseudo-arithmetic operations. As a result, we get notably the fuzzy triangular weighted arithmetic (FTWA), the fuzzy triangular ordered weighted arithmetic (FTOWA), the fuzzy generalized triangular weighted arithmetic (FGTWA), the fuzzy generalized triangular ordered weighted arithmetic (FGTOWA), the fuzzy triangular weighted quasi-arithmetic (Quasi-FTWA), and the fuzzy triangular ordered weighted quasi-arithmetic (Quasi-FTOWA) operators. Main properties of these operators are discussed as well as their comparison with other existing ones. The fuzzy triangular aggregation operators not only cover a wide range of useful existing fuzzy aggregation operators but also provide new interesting cases. Finally, an illustrative example is also developed regarding the selection of strategies.

#### 1. Introduction

The available information for the human knowledge is said to be precise (crisp information) or not (fuzzy information). The aggregation operators (resp., fuzzy aggregation operators) are useful models for combining and summarizing a finite set of numerical values (resp., fuzzy values) into a single numerical value (resp., fuzzy value). Such operators are essential to solving multicriteria and group decision-making (MCGDM) problems. Indeed, in MCGDM problems, one generally considers a finite set of alternatives , from which we must select the best with respect to a finite set of criteria . For each criterion of alternative , an expert is consulted to assign a value (or score). This value can be seen as the expression of his/her opinion (or preference) with respect to degree of satisfaction of criterion by alternative . For each criterion, each expert expresses his/her evaluation on the same scale that can have a quantitative or a qualitative form. According to Marichal (1998) [1], the MCGDM procedure comprises three main steps: the modeling step, in which we look for appropriate models to represent available information (scores and weights); the aggregation step, in which we try to find an overall score for each alternative on the basis of the partial scores and the weights; the exploitation step, in which we transform the global information about the alternatives either into a complete ranking of the elements in , or into a global choice of the best alternatives in .

In the real world, we are sometimes confronted with situations where the available information cannot be assessed with exact numbers and it is necessary to use another approach to represent such information with high degree of uncertainty or imprecision. Several methods exist in this case, some of which include fuzzy numbers, interval numbers, and linguistic numbers. Details on these can be found in Merigó (2008) [2]. In this paper, as, for instance, in [S. J. Chen and S. M. Chen (2003) [3]], [Herrera et al. (2000) [4]], [Herrera and Martinez (2000) [5]], [Merigó (2008) [2], chapter 3], and [Merigó and Gil-Lafuente (2010) [6]], we deal with the situation where the scores and the weights belong to the set of fuzzy subsets of the unit interval , denoted by . In the sequel, this set is called the set of normal/normalized fuzzy numbers (NFNs).

The aim of this paper is to develop a new class of fuzzy aggregation operators dealing with NFNs, which we call* fuzzy triangular aggregation operators*. For these ones, investigations will be done such as the main properties of operators and an illustrative example. In order to do so, the paper is organized as follows. In Section 2, we give some preliminary notions and present the main properties of fuzzy aggregations operators. In Section 3, we review some fuzzy aggregation operators. Section 4 develops our proposed fuzzy aggregation operators. Section 5 presents an illustrative example regarding the selection of investment strategies. Finally, we summarize the main conclusions in Section 6.

#### 2. Preliminaries

##### 2.1. Fuzzy Numbers

In this section, we briefly describe fuzzy numbers (FNs) and arithmetic operations related to it. The notion of FNs was originally introduced by Zadeh (1975) [7]. Since then, it has been studied and applied by a lot of authors, especially Dubois and Prade (1980) [8] and Kaufmann and Gupta (1985) [9]. Its main advantage is that it can represent, in a more complete way, information coming from human language. That is, it can consider the maximum and minimum values, and the possibility that the internal values may occur.

*Definition 1 (Zadeh (1965, 1975) [7, 10]). *A fuzzy number is a fuzzy set (the membership function of is denoted by ) of a universe of discourse (the real line ) which is(i)convex, that is, and , ;(ii)normalized, that is, .

In the literature, we find a wide range of FNs notably the L-R FNs [8]. For example, a trapezoidal FN (TpFN) can be characterized by a trapezoidal membership function defined bywhere , , , and are the real parameters of , with . Note that if , the FN is called triangular FN (TFN). If , the FN is called an interval number (see [11]). Also, if , the FN is reduced to a crisp value. Notice that we will denote the TpFN as .

Assume that there are two TpFNs, and , with , for each . That is, , the set of fuzzy subsets of (positive real numbers). The pseudo-arithmetic operations between and are defined as follows [Chen and Hwang (1992) [12], Kaufmann and Gupta (1985) [9]]:

In order to rank FNs, a lot of methods exist in the literature. Nevertheless, in this paper, we recommend the use of the method mentioned in [Merigó and Casanovas (2010) [13], Merigó (2008) [2], p. 206], which consists of using the value found in the highest membership degree and, if it is an interval number, the middle value of the interval. In fact, in [2, 13], the authors recommend to rank and according to the following procedure:(i);(ii);(iii).

To aggregate FNs, a number of aggregation operators have been developed. Before briefly giving some well-known fuzzy aggregation operators, let us present their main properties.

##### 2.2. Main Properties of Fuzzy Aggregation Operators

We present some properties that are generally considered as relevant for aggregation in a fuzzy environment. In a general way, let us consider fuzzy aggregation operators defined as , with a natural number. So, the main mathematical properties of those operators are [Merigó (2008) [2]] as follows:(**P1**)Boundary conditions: For this property, we assume that can be given as (**P2**)Monotonicity:(**P3**)Continuity: is continuous if and only if the corresponding operator in the crisp case, , is continuous. In order words, is continuous if and only if it is a component-wise continuous operator.(**P4**)Commutativity:(**P5**)Idempotency:(**P6**)Bounded:

*Remark 2. *Notice that (**P1**) and (**P2**) are the two fundamental properties that characterize general fuzzy aggregation operators. They must not be violated.

#### 3. Some Basic Fuzzy Aggregation Operators

In what follows, a vector is called a weighting vector if , , and . Moreover, without loss of generality, it is worth noting that our presentation deals with , .

##### 3.1. The Fuzzy Weighted Averaging Operator

Dong and Wong (1987) [14] are the first authors who investigated the WA (weighted averaging) operator when the available information cannot be assessed with exact numbers and it is necessary to use other techniques such as FNs.

*Definition 3. *The fuzzy weighted averaging operator, denoted by FWA, is the mapping , which has an associated weighting vector such that,where the operations and are defined in (2).

*Remark 4. *It is easy to see that the FWA operator is an extension of the WA operator. Moreover, if for all , then the WA is reduced to the AA (arithmetic averaging) operator and the FWA is reduced to the FAA (fuzzy arithmetic averaging) operator, where and .

Following, for example, Merigó (2008) [2] and Merigó and Casanovas (2010) [13], we can state the following result.

Theorem 5. *The FWA operator satisfies the properties ( P1), (P2), (P3), (P4) if all , (P5), and (P6).*

*Proof. *Let and let be a weighting vector.(**P1**)Boundary conditions:(**P2**)Monotonicity: let , .(**P3**)Continuity: since WA is continuous, then FWA is continuous by definition.(**P4**)Commutativity: let be a permutation of . in general. However, if , then(**P5**)Idempotency: assume that for all . Then(**P6**)Bounded: pose and . Then Therefore,

##### 3.2. The Fuzzy Ordered Weighted Averaging Operator

There are various versions of the fuzzy ordered weighted averaging (FOWA) operator. But today the formulation on this operator is attributed to S. J. Chen and S. M. Chen (2003) [3]. As the FWA operator, the reason for using the FOWA operator is that sometimes the available information cannot be assessed with exact numbers and it is necessary to use other techniques such as FNs.

*Definition 6. *The fuzzy ordered weighted averaging operator, denoted by FOWA, is the mapping , which has an associated weighting vector , such thatwhere the operations and are defined in (2); is a permutation on such that .

*Remark 7. *It is easy to see that the FOWA operator is an extension of the OWA operator. Moreover(i)If , then FOWA = (fuzzy minimum)(ii)If , then FOWA = (fuzzy maximum)(iii)If , for all , then FOWA = FAA (fuzzy arithmetic averaging)(iv)FOWA = FWA when the ranking of matches with the ranking of . There are several other particular cases with respect to the analysis of the weighting vector . For more details see [Merigó (2008) [2], chapter 4].

In the same way, we can state the following result [Merigó (2008) [2], Merigó and Casanovas (2010) [13]].

Theorem 8. *The FOWA operator satisfies the properties ( P1), (P2), (P3), (P4), (P5), and (P6).*

*Proof. *(**P1**), (**P2**), (**P3**), (**P5**), and (**P6**) are similar to Theorem 5.(**P4**)Commutativity: let be a permutation of . Since is a permutation of , we have , . And then

##### 3.3. Quasi-Arithmetic Means, Generalized Means, and Fuzzy Aggregation Operators

The two well-known and most important fuzzy aggregation operators presented above have been generalized using the concepts of quasi-arithmetic means and generalized means. The fuzzy weighted quasi-arithmetic averaging (Quasi-FWA) is an aggregation operator that generalizes the FWA operator by using quasi-arithmetic means while the fuzzy ordered weighted quasi-arithmetic averaging (Quasi-FOWA) is an aggregation operator that generalizes the FOWA operator by using quasi-arithmetic means.

*Definition 9 (Wang and Luo (2009) [15]). *The fuzzy weighted quasi-arithmetic averaging operator, denoted by Quasi-FWA, is the mapping , which has an associated weighting vector , such thatwhere is a strictly continuous monotone function and the arithmetic operations and are defined in (2). is called a generating function of the Quasi-FWA operator.

Theorem 10. *The Quasi-FWA operator satisfies the properties ( P1), (P2), (P3), (P4) if all , (P5), and (P6).*

*Definition 11 (Merigó and Casanovas (2010) [13]). *The fuzzy ordered weighted quasi-arithmetic averaging operator, denoted by Quasi-FOWA, is the mapping , which has an associated weighting vector , such thatwhere is a strictly continuous monotone function, the arithmetic operations and are defined in (2), and is a permutation on such that . is called a generating function of the Quasi-FOWA operator.

Theorem 12. *The Quasi-FOWA operator satisfies the properties ( P1), (P2), (P3), (P4), (P5), and (P6).*

*Remark 13. *In (18) and (19), note the following:(i)For any TpFN , is also a TpFN.(ii)If , with , the Quasi-FWA becomes the fuzzy generalized weighted averaging (FGWA) and the Quasi-FOWA becomes the fuzzy generalized ordered weighted averaging (FGOWA) operators. In particular, when or , we obtain the FWA and the FOWA operators, respectively.

See Merigó (2008) [2] for further details on fuzzy aggregation operators presented above.

#### 4. Fuzzy Triangular Aggregation Operators

In this section, we present a new method to construct fuzzy aggregation operators based on triangular norms (t-norms and t-conorms). This new class of aggregation operators is called* fuzzy triangular aggregation operators*. We deal with the situation where the values to be aggregated are expressed as NFNs.

##### 4.1. Operational Laws on NFNs

The operational laws that we use are based on triangular norms (t-norms and t-conorms). t-norms and t-conorms were introduced in the present form in [16]. They are appropriate extensions of logical connectives AND and OR in the case when the valuation set is the unit interval rather than . So, t-norms (resp., t-conorms) provide an important class of aggregation operators widely used to define the conjunction (resp., disjunction) in fuzzy set theory but also they are often used to implement the multivalued logical AND (resp., OR) operation.

*Definition 14 (Dubois and Prade (1985) [17]). *(i) A t-norm, denoted by , is a binary aggregation operator such that, ,(a)(b)(c)(d) (1 is the neutral element).(ii) A t-conorm, denoted by , is a binary aggregation operator which has the same properties as t-norm, unless the neutral element is 0; that is, .

*Example 15. *Several important nonparametrized and parametrized families of t-norms and t-conorms exist but the three prototypical and most used examples are given as follows [17–21]:(1); ; (Zadeh (1965) [10])(2); , deduced to probabilistic theory(3); . (Giles (1976) [22]).

Motivated by the arithmetic operations investigated in [S.-M. Chen and J.-H. Chen (2009) [23], Kaufmann and Gupta (1985) [9], Xu (2007) [24], Zhao et al. (2010) [25]], we introduce below three new operational laws on NFNs, which will be very useful in the sequel of this paper.

*Definition 16. *Let and be two trapezoidal NFNs (TpNFNs). Let be a t-conorm and be a t-norm. Then

*Definition 17. *Let be a t-conorm. A vector , with , is called a weighting vector associated with if and only if the equality is verified:

*Remark 18. *It is important to stress that(i)If , then ;(ii)If , then ;(iii)If , then .Note that, in this paper, we do not enter in the problem of using FNs in the weighting vector. Nevertheless, if the weighting vector is presented with NFNs, then, instead of converting these fuzzy weights into representative exact numbers by using a method for doing so as recommended by some authors, our recommendation is, for example, to use the fuzzy weighting vector model defined as follows: let be a t-conorm. A fuzzy vector with is called a fuzzy weighting vector associated with if and only if the equality is verified:Contrary to other approaches, our method is more informative since it uses all the information and therefore leads to complete results. However, the main disadvantage of this approach is that it is not easy to use in practice.

Before closing this section, let us also recall the following result.

Theorem 19 (Grabisch et al. (2009) [21], section 3.9). *A continuous t-norm is restrictedly distributive over a continuous t-conorm if and only if either (and is arbitrary), or there exists a value , a strict t-norm , and a nilpotent t-conorm , such that the additive generator of satisfying is also a multiplicative generator of , and can be written as an ordinal sum as follows:where is an arbitrary continuous t-norm and .*

##### 4.2. The Fuzzy Triangular Weighted Arithmetic Operator

The fuzzy triangular weighted arithmetic (FTWA) operator is an extension of the TWA operator (see Remark 21 below) for situations where the available information is uncertain and it is necessary to use other techniques such as NFNs. Its main advantage is that it represents the information in a more complete way because it considers the maximum and the minimum result that may occur in the uncertain environment and the possibility that the internal values will occur. It can be defined as follows.

*Definition 20. *The fuzzy triangular weighted arithmetic operator, denoted by FTWA, is the mapping , such thatwhere is a t-conorm, a t-norm, and a weighting vector associated with .

*Remark 21. *The fuzzy triangular weighted arithmetic (FTWA) operator provides a parameterized family of aggregation operators that include the triangular weighted arithmetic (TWA) and the fuzzy weighted averaging (FWA) operators among others.

*Proof. *When , we get FTWA = TWA. On the other hand, let and . We have the following:(1) and :(2) and :(3) and :(4) and : (5) and :(6) and :(7) and :(8) and :(9) and :

Regarding its properties, we have the following result.

Theorem 22. *The FTWA operator satisfies the properties ( P1), (P2), (P3), (P4) if all , (P5) if and only if is restrictively distributive over , and (P6) if and only if is restrictively distributive over .*

*Proof. *Let , be two NFNs and let be a weighting vector (Definition 17).(**P1**)Boundary conditions:(**P2**)Monotonicity: assume that , .(**P3**)Continuity: FTWA is continuous because it is component-wise continuous operators.(**P4**)Commutativity: let be a permutation of . in general. However, if , then(**P5**)Idempotency: assume that is restrictively distributive with respect to . Then(**P6**)Bounded: assume that is restrictively distributive with respect to and pose , . Then In a similar way, we show that . Therefore,

##### 4.3. The Fuzzy Triangular Ordered Weighted Arithmetic Operator

The fuzzy triangular ordered weighted arithmetic (FTOWA) operator is an extension of the TOWA operator (see Remark 24 below) for situations where the available information is uncertain and it is necessary to use other techniques such as NFNs. It can be defined as follows.

*Definition 23. *The fuzzy triangular ordered weighted arithmetic operator, denoted by FTOWA, is the mapping , such thatwhere is a t-conorm, is a t-norm, is a weighting vector associated with , and is a permutation on such that .

*Remark 24. *As the FTWA operator, the fuzzy triangular ordered weighted arithmetic (FTOWA) operator generalizes several usual aggregation operators, namely, the fuzzy ordered weighted averaging (FOWA) and the triangular ordered weighted arithmetic (TOWA) operators among others.

*Proof. *The proof is similar to Remark 21.

Regarding its properties, we have the following result.

Theorem 25. *The FTOWA operator satisfies the properties ( P1), (P2), (P3), (P4), (P5) if and only if is restrictively distributive over , and (P6) if and only if is restrictively distributive over .*

*Proof. *(**P1**), (**P2**), (**P3**), (**P5**), and (**P6**) are similar to Theorem 22.(**P4**)Commutativity: let be a permutation of . Since is a permutation of , we have , . And then

##### 4.4. Fuzzy Generalized Triangular Weighted Aggregation Operators

We focus now on generalizations of the FTWA operator by using generalized and quasi-arithmetic means. We start with the fuzzy generalized triangular weighted arithmetic (FGTWA) operator, which is defined as follows.

*Definition 26. *The fuzzy generalized triangular weighted arithmetic operator, denoted by FGTWA, is the mapping , such thatwhere is a t-conorm, is a t-norm, is a weighting vector associated with , and is a parameter.

As we can see, the FGTWA operator includes in the same formulation some usual fuzzy aggregation operators. Notably, if , we get the FTWA operator. If , we get the fuzzy triangular weighted quadratic (FTWQ) operator. Note that it is possible to further generalize the FGTWA operator by using quasi-arithmetic means. The result is the fuzzy triangular weighted quasi-arithmetic (Quasi-FTWA) operator.

Pose , , . However, it is worth noting that if is such that , it suffices to consider the function given by

*Definition 27. *The fuzzy triangular weighted quasi-arithmetic operator, denoted by Quasi-FTWA, is the mapping , such thatwhere , is a t-conorm, is a t-norm, and is a weighting vector associated with . is called a generating function of the Quasi-FTWA operator.

Theorem 28. *The Quasi-FTWA operator satisfies the properties ( P1), (P2), (P3), (P4) if all , (P5) if and only if is restrictively distributive over , and (P6) if and only if is restrictively distributive over .*

*Proof. *The proof is similar Theorem 22 and follows from the fact that .

*Remark 29. *For , the Quasi-FWA (see (18)) is a special case of the Quasi-FTWA operator.

*Proof. *It to take .

##### 4.5. Fuzzy Generalized Triangular Ordered Weighted Aggregation Operators

Another way to generalize the model is the use of the FTOWA operator.

*Definition 30. *The fuzzy generalized triangular ordered weighted arithmetic operator, denoted by FGTOWA, is the mapping , such thatwhere is a t-conorm, is a t-norm, is a weighting vector associated with , is a permutation on such that , and is a parameter.

As we can see, the FGTOWA operator includes in the same formulation some usual aggregation operators. Notably, if , we get the FTOWA operator. If , we get the fuzzy triangular ordered weighted quadratic (FTOWQ) operator. Note that it is possible to further generalize the FGTOWA operator by using quasi-arithmetic means. The result is the fuzzy triangular ordered weighted quasi-arithmetic (Quasi-FTOWA) operator.

*Definition 31. *The fuzzy triangular ordered weighted quasi-arithmetic operator, denoted by Quasi-FTOWA, is the mapping , such thatwhere , is a t-conorm, is a t-norm, is a weighting vector associated with , and is a permutation on such that . is called a generating function of the Quasi-FTOWA operator.

Theorem 32. *The Quasi-FTOWA operator satisfies the properties ( P1), (P2), (P3), (P4), (P5) if and only if is restrictively distributive over , and (P6) if and only if is restrictively distributive over .*

*Proof. *The proof is similar to proof of Theorem 25 and follows from the fact that .

*Remark 33. *For , the Quasi-FOWA (see (19)) is a special case of the Quasi-FTOWA operator.

*Proof. *It suffices take .

##### 4.6. Fuzzy Triangular Geometric Aggregation Operators

A further type of aggregation operators that could be used in the model is the fuzzy triangular geometric aggregation operators. In this section, we consider both the fuzzy triangular weighted geometric (FTWG) and the fuzzy triangular ordered weighted geometric (FTOWG) operators.

###### 4.6.1. The Fuzzy Triangular Weighted Geometric Operator

The fuzzy triangular weighted geometric (FTWG) operator is an extension of the TWG operator (see Remark 35) for situations where the available information is uncertain and it is necessary to use other techniques such as NFNs. It can be defined as follows.

*Definition 34. *The fuzzy triangular weighted geometric operator, denoted by FTWG, is the mapping , such that where is a t-norm and is a weighting vector (Definition 17) associated with , a t-conorm corresponding to .

*Remark 35. *As we can see, when , the fuzzy triangular weighted geometric (FTWG) operator is nothing but the triangular weighted geometric (TWG) operator.

Theorem 36. *The FTWG operator satisfies the properties ( P1), (P2), (P3), (P4) if all , (P5) if and only if for all , and (P6) if and only if for all .*

*Proof. *Let , be two NFNs and let be a weighting vector (Definition 17).(**P1**)Boundary conditions: they are straightforward.(**P2**)Monotonicity: assume that , . (**P3**)Continuity: FTWG is continuous since it is a component-wise continuous operator.(**P4**)Commutativity: let be a permutation of . in general. However, if , we have (**P5**)Idempotency: assume that for all . Then it is easy to see that for all . Thus (**P****6**)Bounded: assume that for all . Then it is easy to see that for all . Pose , . Thus In the same way, we show that . Therefore,

###### 4.6.2. The Fuzzy Triangular Ordered Weighted Geometric Operator

By analogy, the fuzzy triangular ordered weighted geometric (FTOWG) operator is an extension of the TOWG operator (see Remark 38) for situations where the available information is uncertain and it is necessary to use other techniques such as NFNs. It can be defined as follows.

*Definition 37. *The fuzzy triangular ordered weighted geometric operator, denoted by FTOWG, is the mapping , such thatwhere is a t-norm, is a weighting vector (Definition 17) associated with , a t-conorm corresponding to , and is a permutation on such that