Abstract
The inference rule of Modus Ponens has been extensively investigated in the framework of approximate reasoning, especially for the case of t-norms. Recently, more general kinds of conjunctors have also been considered, like semi-copulas, copulas, and conjunctive uninorms. A common feature of all these kinds of conjunctors is the fact that they have a neutral element e ∈ ]0,1]. This paper is devoted to the study of Modus Ponens for conjunctors with a neutral element with no additional conditions. Many properties are proved to be necessary for a fuzzy implication function I to satisfy the Modus Ponens with respect to a conjunctor with neutral element e ∈ ]0,1]. Although the most usual families of fuzzy implication functions do not satisfy all these properties, other possibilities for I are presented showing many new examples and generalizing some already known results on this topic. Moreover, all fuzzy implication functions satisfying the Modus Ponens with respect to the least (and with respect to the greatest) conjunctor with neutral element e ∈ ]0,1[ are characterized. The particular case of e = 1, that provides semi-copulas, is studied separately, retrieving many known results that can be easily derived from the current study.
Article PDF
Avoid common mistakes on your manuscript.
References
M. Baczyński, B. Jayaram, Fuzzy Implications, vol. 231 of Studies in Fuzziness and Soft Computing, Springer, Berlin, Heidelberg, 2008.
P. Hajek, The Metamathematics of Fuzzy Logic, Kluwer, Springer, Netherlands, 1998.
V. Novák, J. Mockor, I. Perfilieva, Mathematical Principles of Fuzzy Logic, Kluwer International Series in Engineering and Computing Science, Kluwer, Boston, MA, 1999.
E. Trillas, C. Alsina, A. Pradera, On MPT-implication functions for fuzzy logic. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A: Matemáticas (RACSAM). 98 (2004), 259–271.
E. Trillas, L. Valverde, On mode and implication in approximate reasoning, in: M. Gupta (Ed.), Approximate Reasoning in Expert Systems, North Holland, Amsterdam, 1985, pp. 157–166.
M. Baczyński, Fuzzy implication functions: recent advances, Mathw. Soft Comput. 19 (2012), 13–19.
M. Baczyński, G. Beliakov, H. Bustince, A. Pradera (Eds.), Advances in Fuzzy Implication Functions, Springer, Berlin, Heidelberg, 2013.
M. Baczyński, B. Jayaram, S. Massanet, J. Torrens, Fuzzy implications: past, present, and future, in: J. Kacprzyk, W. Pedrycz (Eds.), Springer Handbook of Computational Intelligence, Springer, Berlin, Heidelberg, 2015, pp. 183–202.
M. Mas, M. Monserrat, J. Torrens, E. Trillas, A survey on fuzzy implication functions, IEEE Trans. Fuzzy Syst. 15 (2007), 1107–1121.
G. Beliakov, A. Pradera, T. Calvo, Aggregation Functions: a Guide for Practitioners, Springer, Berlin, Heidelberg, 2007.
T. Calvo, G. Mayor, R. Mesiar (Eds.), Aggregation Operators, New Trends and Applications, Physica-Verlag, Heidelberg, New York, NY, 2002.
M. Grabisch, J.L. Marichal, R. Mesiar, E. Pap, Aggregation Functions, Cambridge University Press, Cambridge, 2009.
V. Torra, Y. Narukawa, Modeling Decisions: Information Fusion and Aggregation Operators, Springer, Berlin, Heidelberg, 2007.
M. Baczyński, P. Grzegorzewski, P. Helbin, W. Niemyska, Properties of the probabilistic implications and S-implications, Inf. Sci. 331 (2016), 2–14.
M. Mas, M. Monserrat, D. Ruiz-Aguilera, J. Torrens, RU and (U, N)-implications satisfying modus ponens, Int. J. Approx. Reason. 73 (2016), 123–137.
G.P. Dimuro, B. Bedregal, J. Fernandez, M. Sesma-Sara, J.M. Pintor, H. Bustince, The law of O-conditionality for fuzzy implications constructed from overlap and grouping functions, Int. J. Approx. Reason. 105 (2019), 27–48.
G.P. Dimuro, B. Bedregal, Fuzzy implications and the law of O-conditionality: the case of residual implications derived from overlap functions, in Proceedings of 8th International Summer School on Aggregation Operators, Katowice, Poland, 2015, pp. 97–111.
M. Mas, D. Ruiz-Aguilera, J. Torrens, Generalized Modus Ponens for (U,N)-implications, in: J. Medina et al. (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems, Theory and Foundations, Springer International Publishing, Cham, Switzerland, 2018. pp. 649–660.
M. Mas, D. Ruiz-Aguilera, J. Torrens, Uninorm based residual implications satisfying the Modus Ponens property with respect to a uninorm, Fuzzy Sets Syst. 359 (2019), 22–41.
A. Pradera, S. Massanet, D. Ruiz-Aguilera, J. Torrens, The noncontradiction principle related to natural negations of fuzzy implication functions, Fuzzy Sets Syst. 359 (2019), 3–21.
C. Alsina, M.J. Frank, B. Schweizer, Associative Functions, Triangular Norms and Copulas, World Scientific, Singapore, 2006.
E.P. Klement, R. Mesiar, E. Pap, Triangular Norms, Kluwer, Dordrecht, Netherlands, 2000.
K.C. Maes, B. De Baets, Negation and affirmation: the role of involutive negators, Soft Comput. 11 (2007), 647–654.
K. Demirli, B. De Baets, Basic properties of implicators in a residual framework, Tatra Mountains Math. Publ. 16 (1999), 31–46.
F. Durante, E. Klement, R. Mesiar, C. Sempi, Conjunctors and their residual implicators: characterizations and construction methods, Mediterr. J. Math. 4 (2007), 343–356.
A. Pradera, G. Beliakov, H. Bustince, B. De Baets, A review of the relationships between implication, negation and aggregation functions from the point of view of material implication, Inf. Sci. 329 (2016), 357–380.
R.B. Nelsen, An Introduction to Copulas, second ed., Springer, New York, NY, 2006.
M. Mas, S. Massanet, D. Ruiz-Aguilera, J. Torrens, A survey on the existing classes of uninorms. J. Intell. Fuzzy Syst. 29 (2015), 1021–1037.
J. Fodor, M. Roubens, Fuzzy Preference Modelling and Multicriteria Decision Support, Springer, Dordrecht, Netherlands, 1994.
D. Hlinená, M. Kalina, P. Král, Implication functions generated using functions of one variable, in: M. Baczyński, G. Beliakov, H. Bustince, A. Pradera (Eds.), Advances in Fuzzy Implication Functions, Springer, Berlin, Heidelberg, 2013, pp. 125–154.
S. Massanet, J. Torrens, An overview of construction methods of fuzzy implications, in: M. Baczyński, G. Beliakov, H. Bustince, A. Pradera (Eds.), Advances in Fuzzy Implication Functions, Springer, Berlin, Heidelberg, 2013, pp. 1–30.
Y. Shi, B. Van Gasse, D. Ruan, E.E. Kerre, On dependencies and independencies of fuzzy implication axioms, Fuzzy Sets Syst. 161 (2010), 1388–1405.
J. Fodor, On fuzzy implication operators, Fuzzy Sets Syst. 42 (1991), 293–300.
J. Fodor, A new look at fuzzy connectives, Fuzzy Sets Syst. 57 (1993), 141–148.
Y. Ouyang, On fuzzy implications determined by aggregation operators, Inf. Sci. 193 (2012), 153–162.
I. Aguiló, J. Suñer, J. Torrens, A characterization of residual implications derived from left-continuous uninorms, Inf. Sci. 180 (2010), 3992–4005.
B. De Baets, J.C. Fodor, Residual operators of uninorms, Soft Comput. 3 (1999), 89–100.
P. Grzegorzewski, Probabilistic implications, Fuzzy Sets Syst. 226 (2013), 53–66.
S. Massanet, A. Pradera, D. Ruiz-Aguilera, J. Torrens, Equivalence and characterization of probabilistic and survival implications, Fuzzy Sets Syst. 359 (2019), 63–79.
S. Massanet, A. Pradera, D. Ruiz-Aguilera, J. Torrens, From three to one: equivalence and characterization of material implications derived from co-copulas, probabilistic S-implications and survival S-implications, Fuzzy Sets Syst. 323 (2017), 103–116.
I. Aguiló, J. Suñer, J. Torrens, A construction method of semicopulas from fuzzy negations, Fuzzy Sets Syst. 226 (2013), 99–114.
M. Carbonell, J. Torrens, Continuous R-implications generated from representable aggregation functions, Fuzzy Sets Syst. 161 (2010), 2276–2289.
G. Mayor, J. Torrens, On a class of binary operations: non-strict archimedean aggregation functions, in Proceedings of ISMVL’88, Palma de Mallorca, Spain, 1988, pp. 54–59.
R. Mesiar, M. Komorníková, Triangular norm-based aggregation of evidence under fuzziness, in: B. Bouchon-Meunier (Eds.), Aggregation and Fusion of Imperfect Information, Physica-Verlag, Heidelberg, 1998, pp. 11–35.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
This is an open access article distributed under the CC BY-NC 4.0 license (https://doi.org/creativecommons.org/licenses/by-nc/4.0/).
About this article
Cite this article
Pradera, A., Massanet, S., Ruiz, D. et al. On the Use of Conjunctors With a Neutral Element in the Modus Ponens Inequality. Int J Comput Intell Syst 13, 201–211 (2020). https://doi.org/10.2991/ijcis.d.200205.002
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.2991/ijcis.d.200205.002