.png){kind=icon}
.png){kind=icon}
Return
Stratified extended multi-adjoint logic programming
.png){kind=icon}
OA
AI
DOI：10.1016/j.fss.2024.109064.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Extended multi-adjoint logic programming is a non-monotonic logic programming framework whose semantics is defined in terms of stable models. This paper will focus on the theoretical development of a syntactical sufficient condition for the existence and uniqueness of stable models in extended multi-adjoint logic programming, through the notion of stratification. Namely, we will detail a constructive method for the computation of the unique stable model of a given stratified extended multi-adjoint logic program. As a consequence, this study will be an interesting alternative to the semantical sufficient conditions for the existence and the uniqueness of stable models, given in the literature for multi-adjoint normal logic and extended multi-adjoint logic programs.
Keywords:
Extended multi-adjoint logic program
Negation operator
Stable model
Stratified program
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.