Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (1995)
| Venue: | Proceedings of the 12th Int. Conf. on Logic Programming |
| Citations: | 46 - 12 self |
BibTeX
@INPROCEEDINGS{Brass95disjunctivesemantics,
author = {Stefan Brass and Jürgen Dix},
title = {Disjunctive Semantics based upon Partial and Bottom-Up Evaluation},
booktitle = {Proceedings of the 12th Int. Conf. on Logic Programming},
year = {1995},
pages = {pages},
publisher = {MIT Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a new and general approach of defining semantics for disjunctive logic programs. Our framework consists of two parts: (1) a semantical , where semantics are defined in an abstract way as the weakest semantics satisfying certain properties, and (2) a procedural, namely a bottom-up queryevaluation method based on operators working on conditional facts (introduced independently by Bry and Dung/Kanchansut for nondisjunctive programs). As to (1), we concentrate in this paper on a particular set of abstract properties (the most important being the unfolding or partial evaluation property GPPE) and define a new semantics D-WFS. Our semantics coincides for normal programs with the well-founded semantics WFS. For positive disjunctive programs D-WFS coincides with the generalized closed world semantics GCWA. As a byproduct, we get new characterizations of WFS and GCWA. D-WFS is strongly related to Przymusinski's STATIC semantics: we conjecture that they coincide w.r.t. to the derivati...
