×

A comparison of sceptical NAF-free logic programming approaches. (English) Zbl 0946.03030

Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 347-356 (1999).
Summary: Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. Historically the first logic in this class was defeasible logic. In this paper we study its relationship to other approaches which also rely on the idea of using logic rules and priorities. In particular we study sceptical LPwNF, courteous logic programs, and priority logic.
For the entire collection see [Zbl 0931.00043].

MSC:

03B60 Other nonclassical logic
68N17 Logic programming
03B70 Logic in computer science
68T27 Logic in artificial intelligence
PDFBibTeX XMLCite