(2210-7713) Immediate consequences operator through ordered weighted average operators

Document Type : Research Paper

Authors

Department of Mathematics, University of C'adiz, C'adiz, Spain

Abstract

The immediate consequences operator has been a widely studied and used operator for defining the semantics of a  logic program. For instance, it has been considered in the fuzzy case for handling datasets with  imperfect, imprecise or vague information.
The natural generalization of this operator to the mentioned fuzzy framework is based on the supremum operator, which preserves the strict nature of the universal quantifier.
As a consequence, errors in the data, which are usual in the uncertainty environment of the considered dataset, can cause loss of information. This is the main reason why this paper makes different generalizations of this operator by using weighted aggregation operators and  introducing interesting results.

Keywords

References

[1] E. Bas, U. Yolcu, E. Egrioglu, Picture fuzzy regression functions approach for  nancial time series based on ridge regression and genetic algorithm, Journal of Computational and Applied Mathematics, 370 (2020), 112656.
[2] A. Colmerauer, H. Kanoui, P. Roussel, R. Pasero, Un systeme de communication homme-machine en Francais, Technical report, Groupe de Recherche en Intelligence Artificielle, Universidad de Aix-Marseille, 1973.
[3] M. E. Cornejo, D. Lobo, J. Medina, On the solvability of bipolar max-product fuzzy relation equations with the product negation, Journal of Computational and Applied Mathematics, 354 (2019), 520-532.
[4] M. E. Cornejo, J. Medina, E. Ramrez-Poussa, Algebraic structure and characterization of adjoint triples, Fuzzy Sets and Systems, 425 (2021), 117-139.
[5] M. E. Cornejo, J. Medina, I. Stajner-Papuga, A. Tepavcevic, Lattice valued aggregation operators applicable in digital forensics, Studies in Computational Intelligence, (2023), 1-7.
[6] C. V. Dam´asio, L. M. Pereira, Monotonic and residuated logic programs, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’01, pages 748-759. Lecture Notes in Artificial Intelligence, 2143, 2001.
[7] M. Davis, H. Putnam, A computing procedure for quanti cation theory, Journal of the ACM, 7 (1960), 201-215.
[8] M. V. Emden, R. Kowalski, The semantics of predicate logic as a programming language, Journal of the ACM, 23(4) (1976), 733-742.
[9] J. H. Gallier, Logic for computer science: Foundations of automatic theorem proving, Harper and Row Publishers, Inc., USA, 1985.
[10] P. Gilmore, A proof method for quanti cation theory, IBM Journal of Research and Development, 4 (1960), 28-35.
[11] N. V. Hung, V. M. Tam, N. H. Tuan, D. O’Regan, Convergence analysis of solution sets for fuzzy optimization problems, Journal of Computational and Applied Mathematics, 369 (2020), 112615.
[12] D. Jocic, I. Stajner-Papuga, Distributivity between 2-uninorms and Mayor's aggregation operators, Iranian Journal of Fuzzy Systems, 19(6) (2022), 13-27.
[13] P. Juli´an-Iranzo, C. Rubio-Manzano, A sound and complete semantics for a similarity-based logic programming language, Fuzzy Sets and Systems, 317 (2017), 1-26.
[14] M. Kifer, V. S. Subrahmanian, Theory of generalized annotated logic programming and its applications, Journal of Logic Programming, 12 (1992), 335-367.
[15] A. Kishor, A. K. Singh, N. R. Pal, Orness measure of OWA operators: A new approach, IEEE Transactions on Fuzzy Systems, 22(4) (2014), 1039-1045.
[16] R. Kowalski, Predicate logic as a programming language, Proceedings of IFIP’74, North Holland. Publishing Company, (1974), 569-574.
[17] I. Lizasoain, C. Moreno, OWA operators de ned on complete lattices, Fuzzy Sets and Systems, 224 (2013), 36-52.
[18] J. Lloyd, Foundations of logic programming, Springer Verlag, 1987.
[19] J. Medina, M. Ojeda-Aciego, P. Vojt´aˇs, Multi-adjoint logic programming with continuous semantics, Lecture Notes in Artificial Intelligence, 2173 (2001), 351-364.
[20] J. Medina, M. Ojeda-Aciego, P. Vojt´aˇs, Similarity-based uni cation: A multi-adjoint approach, Proc. EUSFLAT Conference in Fuzzy Logic and Technology, (2001), 273-276.
[21] J. Medina, M. Ojeda-Aciego, P. Vojt´aˇs, Similarity-based uni cation: A multi-adjoint approach, Fuzzy Sets and Systems, 146 (2004), 43-62.
[22] J. Medina, J. A. Torn´e-Zambrano, Fuzzy logic programming with generalized quanti ers, Springer International Publishing, 1040 (2023), 17-23.
[23] J. Medina, J. A. Torn´e-Zambrano, Immediate consequences operator on generalized quanti ers, Fuzzy Sets and Systems, 456 (2022), 72-91.
[24] R. Mesiar, A. Kolesarova, S. Borkotokey, 2-set-based extended functions, Iranian Journal of Fuzzy Systems, 18(3)(2021), 13-26.
[25] M. Ojeda-Hernndez, I. P. Cabrera, P. Cordero, Quasi-closed elements in fuzzy posets, Journal of Computational and Applied Mathematics, 404 (2022), 113390.
[26] D. Prawitz, An improved proof procedure, Theoria, 26 (1960), 102-139.
[27] U. Straccia, M. Ojeda-Aciego, C. V. Dam´asio, On  xed-points of multivalued functions on complete lattices and their application to generalized logic programs, SIAM Journal on Computing, 38(5) (2009), 1881-1911.
[28] A. Tarski, A lattice-theoretical  xpoint theorem and its applications, Pacific Journal of Mathematics, 5(2) (1955), 285-309.
[29] M. H. Van Emden, Quantitative deduction and its  xpoint theory, The Journal of Logic Programming, 1 (1986), 37-53.
[30] P. Vojt´aˇs, Fuzzy logic programming, Fuzzy Sets and Systems, 124(3) (2001), 361-370.
[31] R. R. Yager, On ordered weighted averaging aggregation operators in multi-criteria decision making, IEEE Transactions on Systems, Man, and Cybernetics, 18(1) (1988), 183-190.
[32] R. R. Yager, Families of OWA operators, Fuzzy Sets and Systems, 59(2) (1993), 125-148.
Iranian Journal of Fuzzy Systems
Volume 20, Issue 5
September and October 2023
Pages 71-88

Files

Share

How to cite

Statistics