On the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms
Find in a Library
In the past we developed a semantics for a restricted annotated logic language for inheritance reasoning. Here we generalize it to annotated Horn logic programs. We first provide a formal account of the language, describe its semantics, and provide an interpreter written in Prolog for it. We then investigate its relationship to Belnap's 4-valued logic, Gelfond and Lifschitz's semantics for logic programs with negation, Brewka's prioritized default logics and other annotated logics due to Kifer et al.
(1995). On the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms. Journal of Experimental & Theoretical Artificial Intelligence, 7 (4), 391-406.