|
|
|
@inproceedings{DBLP:conf/pods/BeeriRSS92,
author = {Catriel Beeri and
Raghu Ramakrishnan and
Divesh Srivastava and
S. Sudarshan},
editor = {Moshe Y. Vardi and
Paris C. Kanellakis},
title = {The Valid Model Semantics for Logic Programs},
booktitle = {Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium
on Principles of Database Systems, June 2-4, 1992, San Diego,
California, USA},
publisher = {ACM Press},
year = {1992},
isbn = {0-89791-519-4},
pages = {91-104},
ee = {http://doi.acm.org/10.1145/137097.137115, db/conf/pods/BeeriRSS92.html},
crossref = {DBLP:conf/pods/92},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
We present the valid model semantics, a new approach to providing semantics for logic programs with negation, set-terms and grouping. The valid model semantics is a three-valued semantics, and is defined in terms of a 'normal form' computation. The valid model semantics also gives meaning to the generation and use of non-ground facts (i.e., facts with variables) in a computation.
The formulation of the semantics in terms of a normal form computation offers important insight not only into the valid model semantics, but also into other semantics proposed earlier. We show that the valid model semantics extends the well-founded semantics in a natural manner, and has several advantages over it. The well-founded semantics can also be understood using a variant of the normal form computations that we use; the normal form computations used for valid semantics seem more natural than those used for well-founded semantics.
We also show that the valid model semantics has several other desirable properties: it is founded ([SZ90]), it is contained in every regular model ([YY90]), and it is contained in every two-valued stable model.
Copyright © 1992 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.
Data released under the ODC-BY 1.0 license — See also our legal information page