Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach

M. Eugenia Cornejo, David Lobo and Jesús Medina
Additional contact information
M. Eugenia Cornejo: Department of Mathematics, University of Cádiz, 11510 Puerto Real, Cádiz, Spain
David Lobo: Department of Mathematics, University of Cádiz, 11510 Puerto Real, Cádiz, Spain
Jesús Medina: Department of Mathematics, University of Cádiz, 11510 Puerto Real, Cádiz, Spain

Mathematics, 2020, vol. 8, issue 6, 1-18

Abstract: This paper relates two interesting paradigms in fuzzy logic programming from a semantical approach: core fuzzy answer set programming and multi-adjoint normal logic programming. Specifically, it is shown how core fuzzy answer set programs can be translated into multi-adjoint normal logic programs and vice versa, preserving the semantics of the starting program. This translation allows us to combine the expressiveness of multi-adjoint normal logic programming with the compactness and simplicity of the core fuzzy answer set programming language. As a consequence, theoretical properties and results which relate the answer sets to the stable models of the respective logic programming frameworks are obtained. Among others, this study enables the application of the existence theorem of stable models developed for multi-adjoint normal logic programs to ensure the existence of answer sets in core fuzzy answer set programs.

Keywords: multi-adjoint logic programming; core fuzzy answer set programming; non-monotonic logic programming; negation operator (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://www.mdpi.com/2227-7390/8/6/881/pdf (application/pdf)
https://www.mdpi.com/2227-7390/8/6/881/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:8:y:2020:i:6:p:881-:d:365874

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().