Abstract
Atanassov’s intuitionistic fuzzy set theory is based on the lattice \(L^*\) of intuitionistic values and their aggregation. There are lots of works dealing with this topic, but mostly considering some particular cases. In this contribution, we offer a rather general view on aggregation of intuitionistic values with transparent proofs of several properties which significantly shorten the related proofs for particular cases known from the literature.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
The first connectives/aggregation functions for intuitionistic fuzzy logic/theory were proposed by Atanassov [1, 2]. They were related to the basic aggregation functions on [0, 1], i.e., minimum, maximum, product and probabilistic sum of aggregation functions. Later, Deschrijver and Kerre [11] introduced a class of intuitionistic connectives based on t-norms on [0, 1] and the corresponding dual t-conorms. Xu [19] introduced several functions dealing with intuitionistic values, including aggregation functions based on the standard product, such as intuitionistic fuzzy weighted averaging (IFWA) operator. Similar functions/aggregation functions dealing with intuitionistic values but based on the Einstein t-norm (a particular t-norm from the Hamacher family [16]) were proposed in [18] and consequently mentioned in several other papers. In papers [15, 17], Hamacher’s product or Dombi’s t-norms were considered for deriving aggregation functions acting on intuitionistic values.
In all mentioned cases, one can find long and tedious proofs of some properties of the introduced functions, in particular, the proofs of the basic fact that (in some cases) they are aggregation functions on the lattice \(L^*\) of intuitionistic values.
The main aim of this contribution is to propose a unified approach to intuitionistic aggregation based on strict t-norms and provide short and transparent proofs of important properties of the introduced functions. As a byproduct, our results can help to the researchers who work in intuitionistic fuzzy set theory to avoid introducing “new” intuitionistic aggregation functions whose only novelty is that they are based on t-norms which have not been explicitly mentioned in the literature yet. Moreover, we show several techniques for making proofs of new results in aggregation domain shorter and more transparent.
2 Preliminaries
We expect that the readers are familiar with the basics of fuzzy set theory [20] and intuitionistic fuzzy set theory [1,2,3]. Similarly, the basic knowledge concerning triangular norms [16] and aggregation functions [4, 6, 13] is expected. Here we only recall some most relevant basic notions.
Note that the concept of Atanassov’s intuitionistic fuzzy sets was introduced to generalize the concept of Zadeh’s fuzzy sets [20], and the original definition [1] of an Atanassov intuitionistic fuzzy set (AIFS for short) in a universe X can be recalled as follows:
Definition 2.1
Let \(X\ne \emptyset \) be any set. An Atanassov intuitionistic fuzzy set A in X is defined as a set of triplets
where \(\mu _A,\nu _A:X\rightarrow [0,1]\), and for all \(x\in X\), also \(\mu _A(x)+\nu _A(x)\in [0,1]\).
Note that, for each element \(x\in X\), \(\mu _A(x)\) and \(\nu _A(x)\) are called the membership and the non-membership degrees of x to A, respectively, and the pair \((\mu _A(x),\nu _A(x))\) is called an Atanassov intuitionistic fuzzy value [18].
Denote by \(L^*\) the set of all possible intuitionistic values, i.e.,
In particular, the set \(L^*\) with the partial order \(\le _{L^*}\), given by
form a bounded lattice with the top element \(\mathbf {1}_{L^*} = \top = (1,0)\) and bottom element \(\mathbf {0}_{L^*} = \bot = (0,1)\).
Then an Atanassov intuitionistic fuzzy set A in a universe X can be seen as a mapping \(A:X\rightarrow L^*\). To define basic operations of union and intersection of AIFSs, Atanassov [1] has proposed to apply pointwisely some appropriate binary functions mapping \((L^*)^2\) onto \(L^*\). Due to their associativity, the n-ary forms of these operations are uniquely defined.
The first intuitionistic connectives proposed in [1] are just the join \(\vee _{L^*}\) and meet \(\wedge _{L^*} \), inducing the union and intersection of AIFSs. Clearly,
and
As another type of operations on \(L^*\), Atanassov [1] proposed the operations given by
and
Obviously, all four operations \(\vee _{L^*}, \wedge _{L^*}, \oplus \) and \( \otimes \) are binary aggregation functions on \(L^*\) [5, 18], i.e., they are non-decreasing in each variable with respect to the order \(\le _{L^*}\), and they aggregate \(\top \) and \(\top \) into \(\top \) and also \(\bot \) and \(\bot \) into \(\bot \). Moreover, they are commutative and associative, \(\top \) is a neutral element of \(\wedge _{L^*}\) and \(\otimes \), whereas \(\bot \) is a neutral element of \( \vee _{L^*}\) and \(\oplus \). Hence, \(\wedge _{L^*}\) and \(\otimes \) can be seen as t-norms, and \( \vee _{L^*}\) and \(\oplus \) as t-conorms on \(L^*\). In all four cases we see the connection with the standard t-norms \(T_M\) and \(T_P\) and the standard t-conorms \(S_M\) and \(S_P\), defined on the real unit interval [0, 1] by
For more details see, e.g., [16]. Formally, \( \vee _{L^*}\thickapprox (S_M,T_M)\), i.e.,
Further, \(\wedge _{L^*} \thickapprox (T_M, S_M)\), and thus it can be seen as a dual operation to \(\vee _{L^*}\) on \(L^*\). Similarly, \(\oplus \thickapprox (S_P,T_P)\) and \(\otimes \thickapprox (T_P,S_P)\) are dual operations.
This observation has been generalized by Deschrijver and Kerre [11]. For an arbitrary t-norm \(T:[0,1]^2\rightarrow [0,1]\) and the corresponding dual t-conorm \(S:[0,1]^2\rightarrow [0,1]\), satisfying, for each \((a,b)\in [0,1]^2\), \(S(a,b) = 1- T(1-a,1-b)\), the mappings \(\mathbf {T}_T, \mathbf {S}_T:(L^*)^2\rightarrow L^*\),
are called a representable t-norm and a t-conorm on \(L^*\), respectively.
For possible applications of AIFS theory some other operations/aggregation functions have also been proposed. For example, Xu [19] has proposed to define the product “\(\cdot \)”, \(\cdot :]0,\infty [ \,\times \, L^*\rightarrow L^*\) by
and the power on the same domain by
Based on these functions, in [19] some new n-ary aggregation functions on \(L^*\) were proposed and studied, for example, \(IFWA_\mathbf{w}\) (intuitionistic fuzzy weighted average) given by
where \(\mathbf{w}=(w_1,\ldots ,w_n)\in [0,1]^n\), \(\sum \limits _{i=1}^n w_i=1\), is a weighting vector. Evidently, formulas (6), (7) and (8) are based on the product t-norm. Similarly, modifying formulas (6), (7) and (8), Wang and Liu [18] have proposed functions dealing with values from \(L^*\) based on the Einstein t-norm \(T_E:[0,1]^2\rightarrow [0,1]\) given by \(T_E(a,b) =\frac{ab}{2-a-b+ab}\) and its dual, Einstein t-conorm, \(S_E:[0,1]^2\rightarrow [0,1]\), \(S_E(a,b)=\frac{a+b}{1+ab}\) (note that the formula defining \(S_E\) is just the Einstein formula for summing relative velocities). For example, the product \(\cdot _E:]0,\infty [ \times L^*\rightarrow L^*\) they have defined as follows:
3 Representable Aggregation Functions on \(L^*\)
All till now discussed aggregation functions on \(L^*\) have been based on some aggregation function \(A:[0,1]^n\rightarrow [0,1]\) and its dual \(A^d:[0,1]^n\rightarrow [0,1]\),
and defined as follows: \(\mathbf {A}:(L^*)^n\rightarrow L^*\), \(\mathbf {A} \thickapprox (A,A^d)\),
It is obvious that for any aggregation functions \(A,B:[0,1]^n\rightarrow [0,1]\) such that \(B\le A^d\), the mapping \(\mathbf {A}:(L^*)^n\rightarrow L^*\), \(\mathbf {A} \thickapprox (A,B)\),
is an aggregation function on \(L^*\). Moreover, \(\mathbf {A}\) inherits all common properties of A and B. In particular, if both A and B are associative (symmetric/idempotent or if they have a neutral element/an annihilator) then \(\mathbf {A} \thickapprox (A,B)\) also possesses this property. Such types of intuitionistic aggregation functions are called representable intuitionistic aggregation functions [10, 12]. They also cover intuitionistic aggregation functions mentioned in (1)–(5) and (8).
As an example when \(B\ne A^d\) consider \(A=T_P\) and \(B=S_M\). Clearly, \(S_M\le T_P^d=S_P\) and thus \(\mathbf {T} \thickapprox (T_P, S_M)\) given by
is a representable t-norm on \(L^*\).
Note that there are also non-representable aggregation functions on \(L^*\), including t-norms. For example, consider the mapping \(\mathbf {T}:(L^*)^2\rightarrow L^*\) given by
Then \(\mathbf {T}\) is a t-norm on \(L^*\) which is not representable. For more examples see [10].
4 Main Results
Formulas (3), (4), (6), (7) and (8) are related to the product t-norm. Similarly, (9) and several other formulas in [15] and [18] are related to the Hamacher and Einstein t-norms, respectively, and formulas based on Dombi’s t-norms have been discussed in [17]. In all mentioned cases, a strict t-norm \(T:[0,1]^2\rightarrow [0,1]\) and its dual t-conorm \(S:[0,1]^2\rightarrow [0,1]\) have been considered. The main advantage of strict t-norms is the fact that they are generated by an additive generator \(t:[0,1]\rightarrow [0,\infty ]\) which is a decreasing bijection, i.e.,
To have a unique correspondence between strict t-norms and their additive generators, one can always choose the generator satisfying \(t(0.5)=1\). Then the dual t-conorm S is generated by an additive generator \(s:[0,1]\rightarrow [0,\infty ]\), \(s(x)= t(1-x)\),
Clearly, a representable intuitionistic t-norm \(\mathbf {T}_T \thickapprox (T,S)\) and t-conorm \(\mathbf {S}_T \thickapprox (S,T)\) in their n-ary form are given by
and
Now, fix a strict t-norm T having an additive generator t, and introduce the mappings:
and for all \((a_1,b_1),\ldots , (a_n,b_n)\in L^*\),
Then we have
and the following results hold:
Theorem 4.1
Let \(T:[0,1]^2\rightarrow [0,1]\) be a strict t-norm with an additive generator t. Then
- (i):
-
\(\mathbf {S}_T((a,b), (a,b)) = 2\cdot _T (a,b)\);
- (ii):
-
\(\mathbf {T}_T((a,b), (a,b)) = (a,b)^{2_T}\);
- (iii):
-
\(IFWA^T_{\mathbf {w}}\) is an idempotent representable n-ary aggregation function on \(L^*\), which is \(\oplus _T\)-additive where \(\oplus _T= S_T\).
Proof:
The proofs of (i) and (ii) are only a matter of simple calculations, e.g.,
To prove (iii), first observe that for any \(b_1,\ldots ,b_n \in [0,1]\) and a weighting vector \(\mathbf {w}\), the formula
defines a weighted t-norm \(T_{\mathbf {w}}\), see [7]. Obviously, for the dual t-conorm S to T and \(a_1,\ldots ,a_n\in [0,1]\), the formula
gives the weighted t-conorm \(S_{\mathbf {w}}\), and the weighted aggregation functions \(T_{\mathbf {w}} \) and \(S_{\mathbf {w}} \) based on the same weighting vector are dual. Then \(IFWA^T_{\mathbf {w}}\thickapprox (S_{\mathbf {w}}, T_{\mathbf {w}})\) is a representable aggregation function on \(L^*\). As both \(S_{\mathbf {w}}\) and \(T_{\mathbf {w}}\) are idempotent, \(IFWA^T_{\mathbf {w}}\) is also idempotent.
Finally, verification of the \(\oplus _T\)-additivity of \(IFWA^T_{\mathbf {w}}\), i.e., the property
is a matter of an easy computation. \(\square \)
Note that the proofs of these results realized for particular t-norms known from the literature, see, e.g. [18, 19], are rather long and non-transparent.
Remark 4.1
Nilpotent t-norms [16] are also generated by additive generators. In this case, an additive generator is a decreasing bijection \(t:[0,1]\rightarrow [0,1]\), and then
and for the corresponding dual t-conorm S we have
Surprisingly, nilpotent t-norms are rarely applied in intuitionistic fuzzy set theory (IFST), possibly except the Łukasiewicz t-norm \(T_L\), \(T_L(a,b)= \max \{0, a+b-1\}\) and its dual t-conorm \(S_L\), \(S_L(a,b)= \min \{1,a+b\}\). The corresponding intuitionistic t-norm \(\mathbf {T}_L\thickapprox (T_L,S_L)\) and t-conorm \(\mathbf {S}_L\thickapprox (S_L,T_L)\) form the basis of probability theory in IFST, see [14] and several Riečan’s works [8, 9]. Based on a nilpotent t-norm with additive generator t, one can introduce the related product, power and weighted mean, paraphrasing formulas (12), (13) and (15).
Considering \(T_L\) and its additive generator \(t_L:[0,1]\rightarrow [0,1]\), \(t_L(x)= 1-x\), we obtain:
and
i.e., \(IFWA_{\mathbf {w}}^{T_L}\) is an intuitionistic fuzzy weighted arithmetic mean. Note that considering continuous t-norms and their weighted forms discussed in [7], one can introduce more general types of weighted aggregation functions also in the intuitionistic framework.
5 Concluding Remarks
We have introduced a rather general approach to functions dealing with intuitionistic values from \(L^*\), in particular to functions based on continuous Archimedean t-norms and their additive generators. Our results significantly generalize the related results based on special strict t-norms (e.g., the standard product, Einstein’s t-norm, Dombi’s t-norms) known from the literature. The main advantage of our approach is its transparentness and obtaining short general proofs of the results in contrast to the long and non-transparent proofs of results in particular cases. We believe that our paper will contribute not only to the theoretical basis of IFST, but in particular, it can make intuitionistic fuzzy sets more efficient for applications. Moreover, it can also help in related domains, such as picture fuzzy sets, neutrosophic fuzzy sets, etc.
References
Atanassov, K.T.: Intuitionistic fuzzy sets. Fuzzy Sets Syst. 20(1), 87–96 (1986). https://doi.org/10.1016/S0165-0114(86)80034-3
Atanassov, K.T.: New operations defined over the intuitionistic fuzzy sets. Fuzzy Sets Syst. 61(2), 137–142 (1994). https://doi.org/10.1016/0165-0114(94)90229-1
Atanassov, K.T.: Intuitionistic Fuzzy Sets: Theory and Applications. Physica-Verlag, Heidelberg/New York (1999). https://doi.org/10.1007/978-3-7908-1870-3
Beliakov, G., Pradera, A., Calvo, T.: Aggregation Functions: A Guide for Practitioners. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-73721-6
Beliakov, G., Bustince, H., Goswami, D.P., Mukherjee, U.K., Pal, N.R.: On averaging operators for Atanassov’s intuitionistic fuzzy sets. Inf. Sci. 181(60), 1116–1124 (2011). https://doi.org/10.1016/j.ins.2010.11.024
Calvo, T., Kolesárová, A., Komorníková, M., Mesiar, R.: Aggregation operators: properties, classes and construction methods. In: Calvo, T., Mayor, G., Mesiar, R. (eds.) Aggregation Operators, pp. 3–107. Physica-Verlag, Heidelberg (2002). https://doi.org/10.1007/978-3-7908-1787-4
Calvo, T., Mesiar, R.: Weighted triangular norms-based aggregation operators. Fuzzy Sets Syst. 137(1), 3–10 (2003). https://doi.org/10.1016/S0165-0114(02)00428-1
Ciungu, L., Riečan, B.: General form of probabilities on IF-sets. In: Di Gesù, V., Pal, S.K., Petrosino, A. (eds.) WILF 2009. LNCS (LNAI), vol. 5571, pp. 101–107. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02282-1_13
Ciungu, L., Riečan, B.: Representation theorem for probabilities on IFS-events. Inf. Sci. 180, 793–798 (2010). https://doi.org/10.1016/j.ins.2009.11.003
Deschrijver, G., Cornelis, C., Kerre, E.: On the representation of intuitionistic fuzzy t-norms and t-conorms. IEEE Trans. Fuzzy Syst. 12(1), 45–61 (2004). https://doi.org/10.1109/TFUZZ.2003.822678
Deschrijver, G., Kerre, E.: A generalization of operators on intuitionistic fuzzy sets using triangular norms and conorms. Notes Intuitionistic Fuzzy Sets 8(1), 19–27 (2002)
Deschrijver, G., Kerre, E.: Aggregation operators in interval-valued fuzzy and Atanassovs intuitionistic fuzzy set theory. In: Bustince, H., et al. (eds.) Fuzzy Sets and Their Extensions: Representation, Aggregation and Models. Studies in Fuzziness and Soft Computing, vol. 220, pp. 183–203. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-73723-0-10
Grabisch, M., Marichal, J.-L., Mesiar, R., Pap, E.: Aggregation Functions. Cambridge University Press, Cambridge (2009)
Grzegorzewski, P., Mrowka, E.: Probability of intuitionistic fuzzy events. In: Grzegorzewski, P., Hryniewicz, O., Gil, M.A. (eds.) Soft Methods in Probability, Statistics and Data Analysis. Advances in Intelligent and Soft Computing, vol. 16, pp. 105–115. Physica, Heidelberg (2002). https://doi.org/10.1007/978-3-7908-1773-7-8
Huang, J.-Y.: Intuitionistic fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. J. Intell. Fuzzy Syst. 27(1), 505–513 (2014). https://doi.org/10.3233/IFS-131019
Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer, Dordrecht (2000). https://doi.org/10.1007/978-94-015-9540-7
Liu, P.D., Liu, J.L., Chen, S.M.: Some intuitionistic fuzzy Dombi Bonferroni mean operators and their application to multi-attribute group decision making. J. Oper. Res. Soc. 69, 1–24 (2018). https://doi.org/10.1057/s41274-017-0190-y
Wang, W., Liu, X.: Intuitionistic fuzzy information aggregation using Einstein operations. IEEE Trans. Fuzzy Syst. 20(5), 923–938 (2012). https://doi.org/10.1109/TFUZZ.2012.2189405
Xu, Z.S.: Intuitionistic fuzzy aggregation operators. IEEE Trans. Fuzzy Syst. 15(6), 1179–1187 (2007). https://doi.org/10.1109/TFUZZ.2006.890678
Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338–353 (1965). https://doi.org/10.1016/S0019-9958(65)90241-X
Acknowledgement
The authors kindly acknowledge the support of the project APVV-18-0052 and the grant VEGA 1/0614/18.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Kolesárová, A., Mesiar, R. (2020). A Note on Aggregation of Intuitionistic Values. In: Lesot, MJ., et al. Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2020. Communications in Computer and Information Science, vol 1238. Springer, Cham. https://doi.org/10.1007/978-3-030-50143-3_31
Download citation
DOI: https://doi.org/10.1007/978-3-030-50143-3_31
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-50142-6
Online ISBN: 978-3-030-50143-3
eBook Packages: Computer ScienceComputer Science (R0)