Abstract
In this article, we develop new constructed methods with specific conditions. The first method is a generalization of convex combination using n fuzzy implications. The second method is a parameterization of Lukasiewicz implication in an Ordering Property (OP) fuzzy implication form. The innovation in this work is the presentation of three new constructed methods of (OP) polynomial and (OP) rational fuzzy implications. We investigate some families of Ordering Property (OP) and Ordering Property (OP) Rational fuzzy implications. To these methods, we give some coefficient conditions in order to satisfy basic properties like ordering property (OP), identity property (IP) and contrapositive symmetry (CP).
Background: Fuzzy implication functions are one of the main operations in fuzzy logic. They generalize the classical implication, which takes values in the set {0, 1}, to fuzzy logic, where the truth values belong to the unit interval [0, 1]. The study of this class of operations has been extensively developed in the literature in the last 30 years from both theoretical and applicational points of view.
Introduction: In this paper, we develop five new methods for constructing fuzzy implications with specific properties. The paper starts by presenting the first fuzzy implication construction machine that uses n fuzzy implications with specific conditions. Next, we parameterize Lukasiewicz implication and create new families of (OP) polynomial and (OP) rational implications. For each method we investigate which conditions are satisfied and we give some examples.
Methods: The first constructed method uses n fuzzy implications in a linear product representation. The second method is an (OP) polynomial implication a parameterized Lukasiewicz implication. The third method is a rational implication with five parameters. In the fourth method we give a general form in the previous method by changing variables x and y with increasing functions. Finally, the last method is another (OP) rational implication with three parameters.
Results: In each method we present the properties that are satisfied. We generalize the (OP) polynomial and rational by replacing the variables with monotonic functions or add powers on them. Finally, we generalize and we give examples of new produced fuzzy implications.
Conclusion: As a future work, we can create new families of rational implications by changing the polynomials of the numerator and denominator so that they satisfy more properties. Finally, the new methods we presented can contribute in the construction of uninorms and copulas under certain conditions.
Keywords: (OP)-polynomial fuzzy implication, (OP)-rational fuzzy implications, ordering property, identity principle, natural negation, contrapositive symmetry.
Graphical Abstract
[http://dx.doi.org/10.1016/j.fss.2007.02.010]
[http://dx.doi.org/10.1016/j.fss.2007.11.015]
[http://dx.doi.org/10.1007/978-3-540-69082-5]
[http://dx.doi.org/10.1016/j.ins.2005.06.006]
A. Lauret, O. Strauss, B. Bouchon-Meunier, R.R. Yager, Eds. Springer, Cham, 2014. [http://dx.doi.org/10.1007/978-3-319-08795-5_15]
[http://dx.doi.org/10.1016/j.ins.2019.04.040]
[http://dx.doi.org/10.1007/978-3-642-35677-3_1]
[http://dx.doi.org/10.1016/j.fss.2012.01.013]
[http://dx.doi.org/10.1007/978-3-642-35677-3_6]
[http://dx.doi.org/10.1016/j.fss.2007.09.018]
Studies in Fuzziness and Soft Computing, M. Baczyński, G. Beliakov, H. Bustince Sola, A. Pradera, Eds. Springer: Berlin, Heidelberg, pp. 155-176, 2013. [http://dx.doi.org/10.1007/978-3-642-35677-3_7]
[http://dx.doi.org/10.1007/s00009-007-0122-1]
[http://dx.doi.org/10.1016/j.fss.2021.10.006]
[http://dx.doi.org/10.1016/j.fss.2008.09.021]
[http://dx.doi.org/10.1109/TFUZZ.2007.896304]
[http://dx.doi.org/10.1016/j.ins.2006.07.021]
[http://dx.doi.org/10.1016/j.ins.2005.03.003]
[http://dx.doi.org/10.1007/s12530-018-09262-5]
[http://dx.doi.org/10.3390/sym11020286]
[http://dx.doi.org/10.1016/j.ins.2008.12.027]
[http://dx.doi.org/10.1007/s12530-017-9200-1]
[http://dx.doi.org/10.1109/TFUZZ.2007.895969]
[http://dx.doi.org/10.1016/j.fss.2008.11.001]
[http://dx.doi.org/10.1016/j.ins.2006.08.006]
[http://dx.doi.org/10.1016/j.ins.2011.01.030]
[http://dx.doi.org/10.1016/j.fss.2008.11.004]
[http://dx.doi.org/10.2991/eusflat.2011.67]
[http://dx.doi.org/10.1016/j.fss.2018.09.014]
[http://dx.doi.org/10.1016/j.ijar.2019.11.006]
[http://dx.doi.org/10.1201/b18674]