RT journal article
T1 Syntax and semantics of multi-adjoint normal logic programming
A1 Cornejo Piñero, María Eugenia
A1 Lobo Palacios, David
A1 Medina Moreno, Jesús
A2 Matemáticas
K1 Multi-adjoint logic programs
K1 Negation operator
K1 Stable models
AB Multi-adjoint logic programming is a general framework with interesting features, which involves other positive logic pro-gramming frameworks such as monotonic and residuated logic programming, generalized annotated logic programs, fuzzy logic programming and possibilistic logic programming. One of the most interesting extensions of this framework is the possibility of considering a negation operator in the logic programs, which will improve its flexibility and the range of real applications. This paper introduces multi-adjoint normal logic programming, which is an extension of multi-adjoint logic programming including a negation operator in the underlying lattice. Beside the introduction of the syntax and semantics of this paradigm, we will provide sufficient conditions for the existence of stable models defined on a convex compact set of an euclidean space. Finally, we will consider a particular algebraic structure in which sufficient conditions can be given in order to ensure the unicity of stable models of multi-adjoint normal logic programs.
PB Elsevier
SN 0165-0114
YR 2018
FD 2018
LK http://hdl.handle.net/10498/34659
UL http://hdl.handle.net/10498/34659
LA eng
DS Repositorio Institucional de la Universidad de Cádiz
RD 10-may-2026