Multi-adjoint logic programming with continuous semantics. (English) Zbl 1007.68023

Eiter, Thomas (ed.) et al., Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2173, 351-364 (2001).
Summary: Considering different implication operators, such as Łukasiewicz, Gödel 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.
For the entire collection see [Zbl 0971.00048].


68N17 Logic programming
Full Text: Link