Multi-adjoint logic programming with continuous semantics

Abstract

Considering different implication operators, such as Lukasiewicz, Godel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truth-values. 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. © Springer-Verlag Berlin Heidelberg 2001.