|Title||On the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms|
|Publication Type||Journal Article|
|Year of Publication||1995|
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.
|Full Text|| |
K. Thirunarayan, On the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms, In: Journal of Experimental and Theoretical Artificial Intelligence, Vol. 7, pp. 391-406, Dec 1995.