DMCA
Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (1998)
| Venue: | Journal of Automated Reasoning |
| Citations: | 93 - 9 self |
BibTeX
@INPROCEEDINGS{Baral98dualitiesbetween,
author = {Chitta R. Baral and V. S. Subrahmanian},
title = {Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning},
booktitle = {Journal of Automated Reasoning},
year = {1998},
pages = {69--86},
publisher = {MIT press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The Gelfond-Lifschitz operator [GL88] associated with a logic program (and likewise the operator associated with default theories by Reiter) exhibits oscillating behavior. In the case of logic programs, there is always at least one finite, non-empty collection of Herbrand interpretations around which the Gelfond-Lifschitz [GL88] operator "bounces around". The same phenomenon occurs with default logic when Reiter's operator \Gamma \Delta is considered. Based on this, a "stable class" semantics and "extension class" semantics was proposed in [BS90]. The main advantage of this semantics was that it was defined for all logic programs (and default theories), and that this definition was modelled using the standard operators existing in the literature such as Reiter's \Gamma \Delta operator. In this paper, our primary aim is to prove that there is a very interesting duality between stable class theory and the well founded semantics for logic programming. In the stable class semantics, class...
Keyphrases
logic programming alternative semantics nonmonotonic reasoning logic program stable class semantics gelfond-lifschitz gl88 operator bounce extension class semantics main advantage standard operator interesting duality default theory operator gamma delta non-empty collection stable class theory primary aim herbrand interpretation default logic gelfond-lifschitz operator gl88 gamma delta operator
