Abstract
This paper includes the main notions associated with the syntax and semantics of two interesting paradigms in fuzzy logic programming with default negation: multi-adjoint normal logic programming introduced in [5] and the fuzzy answer set logic programming approach presented in [16]. We will show that fuzzy answer set logic programs can be translated into multi-adjoint normal logic programs, as long as the implication operator used in the former is a residuated implication. Moreover, we will relate the notions of fuzzy y-model and model by means of a characterization theorem which allow us to guarantee the existence of fuzzy y-models of fuzzy answer set logic programs.
Partially supported by the State Research Agency (AEI) and the European Regional Development Fund (ERDF) project TIN2016-76653-P, and by the research and transfer program of the University of Cádiz.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pp. 9–18 (2003)
Brewka, G.: Logic programming with ordered disjunction. In: 18th National Conference on Artificial Intelligence and 14th Conference on Innovative Applications of Artificial Intelligence, pp. 100–105. AAAI (2002)
Cornejo, M.E., Lobo, D., Medina, J.: Selecting the coherence notion in multi-adjoint normal logic programming. In: Rojas, I., Joya, G., Catala, A. (eds.) IWANN 2017. LNCS, vol. 10305, pp. 447–457. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-59153-7_39
Cornejo, M.E., Lobo, D., Medina, J.: Measuring the incoherent information in multi-adjoint normal logic programs. In: Kacprzyk, J., Szmidt, E., Zadrożny, S., Atanassov, K.T., Krawczak, M. (eds.) IWIFSGN/EUSFLAT -2017. AISC, vol. 641, pp. 521–533. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-66830-7_47
Cornejo, M.E., Lobo, D., Medina, J.: Syntax and semantics of multi-adjoint normal logic programming. Fuzzy Sets and Systems, 19 December (2017). https://doi.org/10.1016/j.fss.2017.12.009
Dix, J., Kuter, U., Nau, D.: Planning in answer set programming using ordered task decomposition. In: Günter, A., Kruse, R., Neumann, B. (eds.) KI 2003. LNCS (LNAI), vol. 2821, pp. 490–504. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-39451-8_36
Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the dlv system. AI Commun. 12(1–2), 99–111 (1999)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP 1988, pp. 1070–1080 (1988)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3), 365–385 (1991)
Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic. Kluwer Academic, Dordrecht (1998)
Klement, E., Mesiar, R., Pap, E.: Triangular Norms. Kluwer Academic, Dordrecht (2000)
Madrid, N., Ojeda-Aciego, M.: Measuring inconsistency in fuzzy answer set semantics. IEEE Trans. Fuzzy Syst. 19(4), 605–622 (2011)
Madrid, N., Ojeda-Aciego, M.: On the existence and unicity of stable models in normal residuated logic programs. Int. J. Comput. Math. (2012)
Medina, J., Ojeda-Aciego, M., Vojtaš, P.: Multi-adjoint logic programming with continous semantics. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 351–364. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45402-0_26
Medina, J., Ojeda-Aciego, M., Vojtáš, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. 146, 43–62 (2004)
Nieuwenborgh, D.V., Cock, M.D., Vermeir, D.: An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell. 50(3–4), 363–388 (2007)
Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An a-prolog decision support system for the space shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169–183. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45241-9_12
Sacca, D., Zaniolo, C.: Stable models and non-determinism in logic programs with negation. In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1990, pp. 205–217. ACM, New York (1990)
Soininen, T., Niemelä, I.: Developing a declarative rule language for applications in product configuration. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 305–319. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-49201-1_21
Van Gelder, A., Ross, K., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1988, pp. 221–230. ACM, New York (1988)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Cornejo, M.E., Lobo, D., Medina, J. (2018). Characterizing Fuzzy y-Models in Multi-adjoint Normal Logic Programming. In: Medina, J., Ojeda-Aciego, M., Verdegay, J., Perfilieva, I., Bouchon-Meunier, B., Yager, R. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications. IPMU 2018. Communications in Computer and Information Science, vol 855. Springer, Cham. https://doi.org/10.1007/978-3-319-91479-4_45
Download citation
DOI: https://doi.org/10.1007/978-3-319-91479-4_45
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91478-7
Online ISBN: 978-3-319-91479-4
eBook Packages: Computer ScienceComputer Science (R0)