Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach
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 an...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-06-01
|
| Series: | Mathematics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2227-7390/8/6/881 |
| _version_ | 1797566437204688896 |
|---|---|
| author | M. Eugenia Cornejo David Lobo Jesús Medina |
| author_facet | M. Eugenia Cornejo David Lobo Jesús Medina |
| author_sort | M. Eugenia Cornejo |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-10T19:26:48Z |
| format | Article |
| id | doaj.art-794c9b31136b437c92b129c7cb62b0e9 |
| institution | Directory Open Access Journal |
| issn | 2227-7390 |
| language | English |
| last_indexed | 2024-03-10T19:26:48Z |
| publishDate | 2020-06-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Mathematics |
| spelling | doaj.art-794c9b31136b437c92b129c7cb62b0e92023-11-20T02:29:36ZengMDPI AGMathematics2227-73902020-06-018688110.3390/math8060881Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical ApproachM. Eugenia Cornejo0David Lobo1Jesús Medina2Department of Mathematics, University of Cádiz, 11510 Puerto Real, Cádiz, SpainDepartment of Mathematics, University of Cádiz, 11510 Puerto Real, Cádiz, SpainDepartment of Mathematics, University of Cádiz, 11510 Puerto Real, Cádiz, SpainThis 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.https://www.mdpi.com/2227-7390/8/6/881multi-adjoint logic programmingcore fuzzy answer set programmingnon-monotonic logic programmingnegation operator |
| spellingShingle | M. Eugenia Cornejo David Lobo Jesús Medina Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach Mathematics multi-adjoint logic programming core fuzzy answer set programming non-monotonic logic programming negation operator |
| title | Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach |
| title_full | Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach |
| title_fullStr | Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach |
| title_full_unstemmed | Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach |
| title_short | Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach |
| title_sort | relating multi adjoint normal logic programs to core fuzzy answer set programs from a semantical approach |
| topic | multi-adjoint logic programming core fuzzy answer set programming non-monotonic logic programming negation operator |
| url | https://www.mdpi.com/2227-7390/8/6/881 |
| work_keys_str_mv | AT meugeniacornejo relatingmultiadjointnormallogicprogramstocorefuzzyanswersetprogramsfromasemanticalapproach AT davidlobo relatingmultiadjointnormallogicprogramstocorefuzzyanswersetprogramsfromasemanticalapproach AT jesusmedina relatingmultiadjointnormallogicprogramstocorefuzzyanswersetprogramsfromasemanticalapproach |