On the Relationship between Annotated Logic Programs and Nonmonotonic Formalisms

Document Type

Article

Publication Date

1995

Find in a Library

Catalog Record

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.

DOI

10.1080/09528139508953819

Catalog Record

Share

COinS