On the relationship between annotated logic programs and nonmonotonic formalisms |
| |
Authors: | KRISHNAPRASAD THIRUNARAYAN |
| |
Affiliation: | Department of Computer Science and Engineering , Wright State University , Dayton, Ohio, 45435, USA Phone: tel: (513) 873 5134 E-mail: email: tkprasad@cs.wright.edu |
| |
Abstract: | 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. |
| |
Keywords: | nonmonotonic reasoning logic programming stratification negation |
|
|