On the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms

TitleOn the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms
Publication TypeJournal Article
Year of Publication1995
AuthorsKrishnaprasad Thirunarayan
Abstract

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.
pages: 391-406
year: 1995
related resource url: http://knoesis.org/resources/library-resources/files/download/JETAI-1995...
hasBookTitle: Issue 4