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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
