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...
Uloženo v:
| Vydáno v: | Theory and practice of logic programming Ročník 4; číslo 1-2; s. 75 - 93 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Cambridge, UK
Cambridge University Press
01.01.2004
|
| Témata: | |
| ISSN: | 1471-0684, 1475-3081 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | 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. |
|---|---|
| Bibliografie: | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 |
| ISSN: | 1471-0684 1475-3081 |
| DOI: | 10.1017/S1471068403001704 |