当前位置: X-MOL 学术Mathematics › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach
Mathematics ( IF 2.3 ) Pub Date : 2020-06-01 , DOI: 10.3390/math8060881
M. Eugenia Cornejo , David Lobo , Jesús Medina

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.

中文翻译:

通过语义方法将多伴随正逻辑程序与核心模糊答案集程序联系起来

本文从语义学角度介绍了模糊逻辑编程中的两个有趣的范例:核心模糊答案集编程和多伴随正态逻辑编程。具体来说,它显示了如何将核心模糊答案集程序转换为多伴随普通逻辑程序,反之亦然,同时又保留了启动程序的语义。这种翻译使我们能够将多伴随普通逻辑编程的表现力与核心模糊答案集编程语言的紧凑性和简洁性相结合。结果,获得了将答案集与各个逻辑编程框架的稳定模型相关联的理论性质和结果。除其他外,
更新日期:2020-06-01
down
wechat
bug