Minimal founded semantics for disjunctive logic programs and deductive databases
In this paper, we propose a variant of stable model semantics for disjunctive logic programming and deductive databases. The semantics, called minimal founded, generalizes stable model semantics for normal (i.e. non-disjunctive) programs, but differs from disjunctive stable model semantics (the exte...
Gespeichert in:
| Veröffentlicht in: | Theory and practice of logic programming Jg. 4; H. 1-2; S. 75 - 93 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, UK
Cambridge University Press
01.01.2004
|
| Schlagworte: | |
| ISSN: | 1471-0684, 1475-3081 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | In this paper, we propose a variant of stable model semantics for
disjunctive logic programming and deductive databases. The
semantics, called minimal founded, generalizes
stable model semantics for normal (i.e. non-disjunctive) programs,
but differs from disjunctive stable model semantics (the extension
of stable model semantics for disjunctive programs). Compared with
disjunctive stable model semantics, minimal founded semantics seems
to be more intuitive, it gives meaning to programs which are
meaningless under stable model semantics and is no harder to
compute. More specifically, minimal founded semantics differs from
stable model semantics only for disjunctive programs having
constraint rules or rules working as constraints. We study the
expressive power of the semantics, and show that for general
disjunctive datalog programs it has the same power as disjunctive
stable model semantics. |
|---|---|
| Bibliographie: | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 |
| ISSN: | 1471-0684 1475-3081 |
| DOI: | 10.1017/S1471068403001704 |