Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs

Morcillo, Pedro J.; Moreno, Ginés

doi:10.1007/978-3-319-74681-4_5

Cited by 1 publication

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These features make multi-adjoint logic programming a flexible framework with potential applications. Since its introduction, multi-adjoint logic programming has broadly been studied in order to, for example, improve the computation of the least model with either an efficient unfolding process [4,5] or with the computation of reductants [6,7]; consider propositional symbols of different sorts and termination theorems [8,9]; analyze incoherence and contradiction measures [10,11]; and extend it to a first order logic [12,13]. Later, multi-adjoint normal logic programming (MANLP) was presented as an extension of multi-adjoint logic programming, where the use of a negation operator is allowed in the body of the rules [14].…”

Section: Introductionmentioning

confidence: 99%

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

2020

View full text Add to dashboard Cite

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.

show abstract