Study of the generalized hypothetical syllogism for some well known families of fuzzy implications with respect to strict t-norm

Document Type : Research Paper

Authors

1 College of Mathematics and Computer Sciences, Yangtze Normal University, 408100, Chongqing, PR China

2 College of Mathematics and Statistics, Yangtze Normal University, 408100, Chongqing, PR China

10.22111/ijfs.2024.46361.8164

Abstract

The generalized hypothetical syllogism (GHS) is an important property of fuzzy implications for its applications in approximate reasoning. Due to the complexity of the (GHS) and the variety of fuzzy implications, in this work, we study the (GHS) property with respect to a strict t-norm T for fuzzy implications which come from some well known families of fuzzy implications, viz., (S, N)-, QL-, g-, (U, N)-, (T, N)-implications. First, some results on the (GHS) for fuzzy implications are presented. Second, the (GHS) property of (S, N)-, QL-, g-, (U, N)-, and (T, N)-implications is studied. Finally, the (GHS) property for the fuzzy implications generated from old ones using the method of sup-T composition is also studied.

Keywords

Main Subjects


[1] M. Baczy´nski, B. Jayaram, (S,N)-and R-implications: A state-of-the-art survey, Fuzzy Sets and Systems, 159(14)
(2008), 1836-1859. https://doi.org/10.1002/jmri.21935.
[2] M. Baczy´nski, B. Jayaram, Fuzzy implications, studies in fuzziness and soft computing, vol. 231, Springer-Verlag,
Berlin/Heidelberg, 2008.
[3] M. Baczy´nski, K. Mi´s, Selected properties of generalized hypothetical syllogism including the case of R-implications,
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Communications in Computer
and Information Science, Springer, Cham, 853 (2018), 673-684.
[4] J. Balasubramaniam, Contrapositive symmetrisation of fuzzy implications-revisited, Fuzzy Sets and Systems, 157(17)
(2006), 2291-2310. https://doi.org/10.1016/j.fss.2006.03.015
[5] J. Balasubramaniam, C. Jagan Mohan Rao, On the distributivity of implication operators over T and S norms,
IEEE Transactions on Fuzzy Systems, 12(2) (2004), 194-198. https://doi.org/10.1109/TFUZZ.2004.825075
[6] B. C. Bedregal, A norml form which preserves tautologies and contradictions in a class of fuzzy logics, Journal of
Algorithms, 62(3-4) (2007), 135-147. https://doi.org/10.1016/j.jalgor.2007.04.003
[7] H. Bustince, M. Pagola, E. Barrenechea, Construction of fuzzy indices from fuzzy DI-subsethood measures: Application
to the global comparison of images, Information Sciences, 177(3) (2007), 906-929. https://doi.org/10.1016/j.ins.2006.07.021
[8] M. Carbonell, J. Torrens, Continuous R-implications generated from representable aggregation functions, Fuzzy Sets
and Systems, 161(7) (2010), 2276-2289. https://doi.org/10.1016/j.fss.2010.02.001
[9] F. Chen, F. Qin, Y. Y. Zhao, Families of fuzzy implications satisfying generalized hypothetical syllogism, Fuzzy
systems and Mathematics (Chinese), 32(4) (2008), 42-57.
[10] O. Cord´on, F. Herrera, A. Peregrin, Applicability of the fuzzy operators in the design of fuzzy logic controllers,
Fuzzy Sets and Systems, 86(1) (1997), 15-41. https://doi.org/10.1016/0165-0114(95)00367-3
[11] B. De Baets, Fuzzy morphology: A logical approach, In Uncertainty Analysis in Engineering and Sciences: Fuzzy
Logic, Statistics, and Neural Network Approach, Springer, New York, (1998), 53-67.
[12] J. Dombia, T. J´on´as, A unified approach to four important classes of unary operators, International Journal of
Approximate Reasoning, 133 (2021), 80-94. https://doi.org/10.1016/j.ijar.2021.03.007
[13] J. C. Fodor, Contrapositive symmetry of fuzzy implications, Fuzzy Sets and Systems, 69(2) (1995), 141-156. https:
//doi.org/10.1016/0165-0114(94)00210-X
[14] S. Gottwald, Fuzzy sets and fuzzy logic, the foundations of application-from a mathematical point of view, Vieweg-
Verlag, Braunschweig, 1993.
[15] P. Helbin, K. Mi´s, M. Baczy´nski, Some remarks on generalized hypothetical syllogism and Yager’s implications,
Advances in Intelligent Systems and Computing, Springer, (2019), 129-139. https://doi.org/10.1007/
978-3-030-19494-9_12
[16] C. Igel, K. H. Temme, The chaining syllogism in fuzzy logic, IEEE Transactions on Fuzzy Systems, 12(6) (2004),
849-853. https://doi.org/10.1109/tfuzz.2004.836078
[17] B. Jayaram, On the law of importation (x ∧ y) → z ≡ (x → (y → z)) in fuzzy logic, IEEE Transactions on Fuzzy
Systems, 16(1) (2008), 130-144. https://doi.org/10.1109/tfuzz.2004.836078
[18] E. Kerreand, M. Nachtegael, Fuzzy techniques in image processing, Studies in Fuzziness and Soft Computing, 52,
New York, NY, USA: Springer-Verlag, 2000.
[19] E. P. Klement, R. Mesiar, E. Pap, Triangular norms, Kluwer, Dordrecht, 2000.
[20] M. Kuczma, Functional equations in a single variable, PWN-Polish Scientific Publishers, Warszawa, 1968.
[21] J. Lu, B. Zhao, Distributivity of a class of ordinal sum implications over t-norms and t-conorms, Fuzzy Sets and
Systems, 378(1) (2020), 103-124. https://doi.org/10.1016/j.fss.2019.01.002
[22] S. Mandal, B. Jayaram, SISO fuzzy relational inference systems based on fuzzy implications are universal approximators,
Fuzzy Sets and Systems, 277(15) (2015), 1-21. https://doi.org/10.1016/j.fss.2014.10.003
[23] M. Mas, M. Monserrat, J. Torrens, Modus ponens and modus tollens in discrete implications, International Journal
of Approximate Reasoning, 49(2) (2008), 422-435. https://doi.org/10.1016/j.ijar.2008.04.002
[24] M. Mas, M. Monserrat, J. Torrens, E. Trillas, A survey on fuzzy implication functions, IEEE Transactions on Fuzzy
Systems, 15(6) (2007), 1107-1121. https://doi.org/10.1109/TFUZZ.2007.896304
[25] S. Massanet, D. R. Aguilera, J. Torrens, Characterization of a class of fuzzy implication functions satisfying the
law of importation with respect to a fixed uninorm, IEEE Transactions on Fuzzy Systems, 26(4) (2018), 1983-2002.
https://doi.org/10.1109/TFUZZ.2017.2756832
[26] S. Massanet, J. Recasens, J. Torrens, Fuzzy implication functions based on powers of continuous t-norms, International
Journal of Approximate Reasoning, 83 (2017), 265-279. https://doi.org/10.1016/j.ijar.2017.01.014
[27] S. Massanet, J. Torrens, On a new class of fuzzy implications: h-implications and generalizations, Information
Sciences, 181(11) (2011), 2111-2127. https://doi.org/10.1016/j.ins.2011.01.030
[28] S. Massanet, J. Torrens, The law of importation versus the exchange principle on fuzzy implications, Fuzzy Sets
and Systems, 168(1) (2011), 47-69. https://doi.org/10.1016/j.fss.2010.12.012
[29] M. Mizumoto, H. J. Zimmermann, Comparison of fuzzy reasoning methods, Fuzzy Sets and Systems, 8(3) (1982),
253-283. https://doi.org/10.1016/S0165-0114(82)80004-3
[30] N. N. Morsi, A. A. Fahmy, On generalized modus ponens with multiple rules and a residuated implication, Fuzzy
Sets and Systems, 129(2) (2002), 267-274. https://doi.org/10.1016/S0165-0114(01)00089-6
[31] W. Niemyska, M. Baczy´nski, On some equation related to the distributivity laws of fuzzy implications. Jensen
equation extended to the infinity, Fuzzy Sets and Systems, 359(15) (2019), 95-111. https://doi.org/10.1016/j.
fss.2018.10.005
[32] Y. Pan, G. H. Yang, A novel event-based fuzzy control approach for continuous-time fuzzy systems, Neurocomputing,
338(21) (2019), 55-62. https://doi.org/10.1016/j.neucom.2019.01.098
[33] Z. Peng, A new family of (A, N)-implications: Construction and properties, Iranian Journal of Fuzzy Systems,
17(2) (2020), 129-145. https://doi.org/10.22111/IJFS.2020.5224
[34] Z. Peng, The study on semicopula based implications, Kybernetika, 56(4) (2020), 662-694. https://doi.org/10.
14736/kyb-2020-4-0662.
[35] Z. Peng, On the T-conditionality of T-power based implications, Kybernetika, 58(1) (2022), 43-63. https://doi.
org/10.14736/kyb-2022-1-0043
[36] Z. Peng, J. Pan, On the distributivity of T-power based implications, Iranian Journal of Fuzzy Systems, 19(2)
(2022), 169-186. https://doi.org/10.22111/IJFS.2022.6797
[37] Z. Peng, C. Peng, New results of fuzzy implications satisfying I(x, I(y, z)) = I(I(x, y), I(x, z)), International Journal
of Approximate Reasoning, 124 (2020), 82-102. https://doi.org/10.1016/j.ijar.2020.03.011
[38] A. Pradera, et al., A review of the relationships between implication, negation and aggregation functions from the
point of view of material implication, Information Sciences, 329(1) (2016), 357-380. https://doi.org/10.1016/j.
ins.2015.09.033
[39] J. Qiao, B. Q. Hu, The distributive laws of fuzzy implications over overlap and grouping functions, Information
Sciences, 438 (2018), 107-126. https://doi.org/10.1016/j.ins.2018.01.047
[40] F. Qin, M. Baczy´nski, On distributivity equations of implications and contrapositive symmetry equations of implications,
Fuzzy Sets and Systems, 247(16) (2014), 81-91. https://doi.org/10.1016/j.fss.2014.01.010
[41] H. Thiele, K. H. Temme, On the chaining of fuzzy IF-THEN rule bases interpreted by the principle FATI II. The
case of non-singleton inputs, in Computational Intelligence-Theory and Application, Springer, Berlin, Heidelberg,
(1997) 168-178. https://doi.org/10.1007/3-540-62868-1_{-}109
[42] N. R. Vemuri, Investigations of fuzzy implications satisfying generalized hypothetical syllogism, Fuzzy Sets and
Systems, 323(15) (2017), 117-137. https://doi.org/10.1016/j.fss.2016.08.008
[43] H. Zhou, X. Liu, Characterizations of (U2,N)-implications generated by 2-uninorms and fuzzy negations from the
point of view of material implication, Fuzzy Sets and Systems, 378(1) (2020), 79-102. https://doi.org/10.1016/
j.fss.2018.10.015