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
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.
(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.
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.
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
(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
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
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
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
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.
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
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.
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
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
//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.
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
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
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.
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
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
(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
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
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
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
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
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
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
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
)