Sciweavers

LPNMR
2001
Springer

Multi-adjoint Logic Programming with Continuous Semantics

13 years 6 months ago
Multi-adjoint Logic Programming with Continuous Semantics
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truthvalues. In this paper we apply this idea to introduce multi-adjoint logic programs as an extension of monotonic logic programs. The continuity of the immediate consequences operators is proved and the assumptions required to get continuity are further analysed.
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where LPNMR
Authors Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
Comments (0)