×

A review of the relationships between implication, negation and aggregation functions from the point of view of material implication. (English) Zbl 1387.03023

Summary: Implication and aggregation functions play important complementary roles in the field of fuzzy logic. Both have been intensively investigated since the early 1980s, revealing a tight relationship between them. However, the main results regarding this relationship, published by Fodor and Demirli DeBaets in the 1990s, have been poorly disseminated and are nowadays somewhat obsolete due to the subsequent advances in the field. The present paper deals with the translation of the classical logical equivalence \(p \to q \equiv \neg p \vee q\), often called material implication, to the fuzzy framework, which establishes a one-to-one correspondence between implication functions and disjunctors (the class of aggregation functions that extend the Boolean disjunction to the unit interval). The construction of implication functions from disjunctors via negation functions, and vice versa, is reviewed, stressing the properties of disjunctors (respectively, implication functions) that ensure certain properties of implication functions (disjunctors).

MSC:

03B52 Fuzzy logic; logic of vagueness
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aguiló, I.; Carbonell, M.; Suñer, J.; Torrens, J., Dual representable aggregation functions and their derived S-implications, (Hüllermeier, E.; Kruse, R.; Hoffmann, F., Proceedings of International Conference on Information Processing and Management of Uncertainty, IPMU. Proceedings of International Conference on Information Processing and Management of Uncertainty, IPMU, Volume 6178 of Lecture Notes in Computer Science (2010), Springer), 408-417
[2] Alsina, C.; Frank, M.; Schweizer, B., Associative functions. Triangular Norms and Copulas (2006), World Scientific: World Scientific Singapore · Zbl 1100.39023
[3] Baczyński, M., Fuzzy implication functions: recent advances, Mathw. Soft Comput., 19, 1, 13-19 (2012)
[4] (Baczyński, M.; Beliakov, G.; Bustince, H.; Pradera, A. (2013), Springer: Springer Berlin, Heidelberg)
[5] Baczyński, M.; Jayaram, B., Fuzzy Implications (2008), Springer: Springer Berlin, Heidelberg · Zbl 1147.03012
[6] Bedregal, B. R.C.; Dimuro, G. P.; Bustince, H.; Barrenechea, E., New results on overlap and grouping functions, Inf. Sci., 249, 148-170 (2013) · Zbl 1335.68264
[7] Beliakov, G.; Pradera, A.; Calvo, T., Aggregation Functions: A Guide for Practitioners (2007), Springer: Springer Berlin, Heidelberg · Zbl 1123.68124
[8] Bustince, H.; Burillo, P.; Soria, F., Automorphisms, negations and implication operators, Fuzzy Sets Syst., 134, 2, 209-229 (2003) · Zbl 1010.03017
[9] Bustince, H.; Fernández, J.; Kolesárová, A.; Mesiar, R., Directional monotonicity of fusion functions, Eur. J. Oper. Res., 244, 1, 300-308 (2015) · Zbl 1346.26004
[10] Bustince, H.; Fernández, J.; Mesiar, R.; Montero de Juan, F. J.; Orduna, R., Overlap functions, Nonlinear Anal.: Theory Methods Appl., 73, 1488-1499 (2010) · Zbl 1182.26076
[11] Bustince, H.; Fernández, J.; Sanz, J.; Baczyński, M.; Mesiar, R., Construction of strong equality index from implication operators, Fuzzy Sets Syst., 211, 15-33 (2013) · Zbl 1267.03038
[12] Bustince, H.; Pagola, M.; Mesiar, R.; Hüllermeier, E.; Herrera, F., Grouping, overlap, and generalized bientropic functions for fuzzy modeling of pairwise comparisons, IEEE Trans. Fuzzy Syst., 20, 3, 405-415 (2012)
[13] Calvo, T.; De Baets, B.; Fodor, J., The functional equations of Frank and Alsina for uninorms and nullnorms, Fuzzy Sets Syst., 120, 385-394 (2001) · Zbl 0977.03026
[14] (Calvo, T.; Mayor, G.; Mesiar, R. (2002), Physica-Verlag: Physica-Verlag Heidelberg, New York)
[15] Carbonell, M.; Torrens, J., Continuous R-implications generated from representable aggregation functions, Fuzzy Sets Syst., 161, 17, 2276-2289 (2010) · Zbl 1204.03032
[16] De Baets, B.; Fodor, J., Residual operators of uninorms, Soft Comput., 3, 2, 89-100 (1999)
[17] De Baets, B.; Mesiar, R., Residual implicators of continuous t-norms, Proceedings of the Fourth European Congress on Intelligent Techniques and Soft Computing, 27-31 (1996), ELITE: ELITE Aachen, Germany
[18] Demirli, K.; De Baets, B., Basic properties of implicators in a residual framework., Tatra Mt. Math. Publ., 16, 31-46 (1999) · Zbl 0949.03025
[19] Dimuro, G. P.; Bedregal, B. C., On residual implications derived from overlap functions, Inf. Sci., 312, 78-88 (2015) · Zbl 1387.03022
[20] Dimuro, G. P.; Bedregal, B. C.; Santiago, R. H.N., On (G,N)-implications derived from grouping functions, Inf. Sci., 279, 1-17 (2014) · Zbl 1354.03030
[21] Drewniak, J., Invariant fuzzy implications, Soft Comput., 10, 10, 979-980 (2006) · Zbl 1103.03025
[22] Drewniak, J.; Sobera, J., Compositions of fuzzy implications, (Baczyński, M.; Beliakov, G.; Bustince, H.; Pradera, A., Advances in Fuzzy Implication Functions (2013), Springer: Springer Berlin, Heidelberg), 155-176 · Zbl 1436.03159
[23] Dubois, D.; Prade, H., A theorem on implication functions defined from triangular norms, Stochastica, VIII, 3, 267-279 (1984) · Zbl 0581.03016
[24] Durante, F.; Klement, E.; Mesiar, R.; Sempi, C., Conjunctors and their residual implicators: characterizations and construction methods, Mediterr. J. Math., 4, 343-356 (2007) · Zbl 1139.03014
[25] Fodor, J., On fuzzy implication operators, Fuzzy Sets Syst., 42, 293-300 (1991) · Zbl 0736.03006
[26] Fodor, J., A new look at fuzzy connectives, Fuzzy Sets Syst., 57, 141-148 (1993) · Zbl 0795.04008
[27] Fodor, J., Contrapositive symmetry of fuzzy implications, Fuzzy Sets Syst., 69, 2, 141-156 (1995) · Zbl 0845.03007
[28] Fodor, J.; Keresztfalvi, T., Nonstandard conjunctions and implications in fuzzy logic., Int. J. Approx. Reasoning, 12, 2, 69-84 (1995) · Zbl 0815.03017
[29] Fodor, J.; Roubens, M., Fuzzy Preference Modelling and Multicriteria Decision Support (1994), Kluwer Academic Publishers · Zbl 0827.90002
[30] Grabisch, M.; Marichal, J.; Mesiar, R.; Pap, E., Aggregation Functions (2009), Cambridge University Press · Zbl 1196.00002
[31] Hlinená, D.; Kalina, M.; Král’, P., Implication functions generated using functions of one variable, (Baczyński, M.; Beliakov, G.; Bustince, H.; Pradera, A., Advances in Fuzzy Implication Functions (2013), Springer: Springer Berlin, Heidelberg), 125-154 · Zbl 1307.03016
[32] Jenei, S., How to construct left-continuous triangular norms-state of the art, Fuzzy Sets Syst., 143, 27-45 (2004) · Zbl 1040.03021
[33] Jurio, A.; Bustince, H.; Pagola, M.; Pradera, A.; Yager, R. R., Some properties of overlap and grouping functions and their application to image thresholding, Fuzzy Sets Syst., 229, 69-90 (2013) · Zbl 1284.68549
[34] Klement, E.; Mesiar, R.; Pap, E., Triangular Norms (2000), Kluwer: Kluwer Dordrecht · Zbl 0972.03002
[35] Liu, H.-W., Two classes of pseudo-triangular norms and fuzzy implications, Comput. Math. Appl., 61, 4, 783-789 (2011) · Zbl 1217.03039
[36] Liu, H.-W., Semi-uninorms and implications on a complete lattice, Fuzzy Sets Syst., 191, 72-82 (2012) · Zbl 1244.03091
[38] Maes, K.; De Baets, B., Negation and affirmation: the role of involutive negators, Soft Comput., 11, 7, 647-654 (2007) · Zbl 1119.03056
[39] Maes, K.; De Baets, B., On the structure of left-continuous t-norms that have a continuous contour line, Fuzzy Sets Syst., 158, 843-860 (2007) · Zbl 1122.03051
[40] Mas, M.; Monserrat, M.; Torrens, J., Two types of implications derived from uninorms, Fuzzy Sets Syst., 158, 23, 2612-2626 (2007) · Zbl 1125.03018
[41] Mas, M.; Monserrat, M.; Torrens, J., A characterization of (U,N), RU, QL and D-implications derived from uninorms satisfying the law of importation, Fuzzy Sets Syst., 161, 10, 1369-1387 (2010) · Zbl 1195.03031
[42] Mas, M.; Monserrat, M.; Torrens, J.; Trillas, E., A survey on fuzzy implication functions, IEEE Trans. Fuzzy Syst., 15, 6, 1107-1121 (2007)
[43] Massanet, S.; Mayor, G.; Mesiar, R.; Torrens, J., On fuzzy implications: an axiomatic approach, Int. J. Approx. Reason., 54, 9, 1471-1482 (2013) · Zbl 1316.03032
[44] Massanet, S.; Torrens, J., The law of importation versus the exchange principle on fuzzy implications, Fuzzy Sets Syst., 168, 1, 47-69 (2011) · Zbl 1222.03028
[45] Massanet, S.; Torrens, J., On the vertical threshold generation method of fuzzy implication and its properties, Fuzzy Sets Syst., 226, 32-52 (2013) · Zbl 1284.68552
[46] Massanet, S.; Torrens, J., An overview of construction methods of fuzzy implications, (Baczyński, M.; Beliakov, G.; Bustince, H.; Pradera, A., Advances in Fuzzy Implication Functions (2013), Springer: Springer Berlin, Heidelberg), 1-30 · Zbl 1311.03053
[47] Mayor, G.; Torrens, J., On a class of binary operations: non-strict archimedean aggregation functions, Proceedings of International Symposium on Multiple-Valued Logic, ISMVL 88, 54-59 (1988), Palma de Mallorca, Spain
[48] Ouyang, Y., On fuzzy implications determined by aggregation operators, Inf. Sci., 193, 153-162 (2012) · Zbl 1248.03045
[49] Pradera, A.; Beliakov, G.; Bustince, H., Aggregation functions and contradictory information, Fuzzy Sets Syst., 191, 41-61 (2012) · Zbl 1238.68162
[50] Pradera, A.; Beliakov, G.; Bustince, H.; Fernández, J., On (TS,N)-fuzzy implications, Proceedings of the 6th International Summer School on Aggregation Operators, 93-98 (2011)
[51] Pradera, A.; Trillas, E., Aggregation, non-contradiction and excluded-middle, Mathw. Soft Comput., XIII, 189-201 (2006) · Zbl 1122.68128
[52] Ruiz-Aguilera, D.; Torrens, J., Residual implications and co-implications from idempotent uninorms, Kybernetika, 40, 1, 21-38 (2004) · Zbl 1249.94095
[53] Ruiz-Aguilera, D.; Torrens, J., Distributivity of residual implications over conjunctive and disjunctive uninorms, Fuzzy Sets Syst., 158, 1, 23-37 (2007) · Zbl 1114.03022
[54] Ruiz-Aguilera, D.; Torrens, J., S- and R-implications from uninorms continuous in ]\(0, 1[^2\) and their distributivity over uninorms, Fuzzy Sets Syst., 160, 6, 832-852 (2009) · Zbl 1184.03014
[55] Shi, Y.; Van Gasse, B.; Ruan, D.; Kerre, E. E., On dependencies and independencies of fuzzy implication axioms, Fuzzy Sets Syst., 161, 10, 1388-1405 (2010) · Zbl 1195.03032
[56] Torra, V.; Narukawa, Y., Modeling Decisions: Information Fusion and Aggregation Operators (2007), Springer
[57] Trillas, E.; Valverde, L., On some functionally expressible implications for fuzzy set theory, Proceedings of the 3rd International Seminar on Fuzzy Set Theory, 173-190 (1981), Linz, Austria
[58] Wang, Z., Generating pseudo-t-norms and implication operators, Fuzzy Sets Syst., 157, 3, 398-410 (2006) · Zbl 1085.03020
[59] Wang, Z.; Xuan Fang, J., Residual coimplicators of left and right uninorms on a complete lattice, Fuzzy Sets Syst., 160, 14, 2086-2096 (2009) · Zbl 1183.03027
[60] Wang, Z.; Yu, Y., Pseudo-t-norms and implication operators on a complete Brouwerian lattice, Fuzzy Sets Syst., 132, 1, 113-124 (2002) · Zbl 1013.03020
[61] Yager, R., On some new classes of implication operators and their role in approximate reasoning, Inf. Sci., 167, 1-4, 193-216 (2004) · Zbl 1095.68119
[62] Yager, R., Modeling holistic fuzzy implication using co-copulas., Fuzzy Optim. Decisi. Mak., 5, 207-226 (2006) · Zbl 1127.03324
[63] Yager, R.; Rybalov, A., Uninorm aggregation operators, Fuzzy Sets Syst., 80, 111-120 (1996) · Zbl 0871.04007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.