DMCA
A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion (1998)
| Venue: | Journal of Logic Programming |
| Citations: | 5 - 0 self |
BibTeX
@ARTICLE{Bochman98alogical,
author = {Alexander Bochman},
title = {A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion},
journal = {Journal of Logic Programming},
year = {1998},
volume = {35},
pages = {35--151}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We suggest a general logical formalism for Logic Programming based on a four-valued inference. We show that it forms a proper setting for representing logic programs with negation as failure of a most general kind and for describing logics and semantics that characterize their behavior. In this way we also extend the connection between Logic and Logic Programming beyond positive programs. In addition, the suggested formalism will allow us to see a reasoning about logic programs as a most simple kind of nonmonotonic reasoning in general. Keywords. Foundations of logic programming, negation as failure, semantics for logic programs, nonmonotonic reasoning. 1
