Abstract
We investigate the semantics of aggregates (COUNT, SUM, ...) in logic programs with function symbols and negation. In particular we address the meaning of programs with recursion through aggregation. We extend the two most successful semantic approaches to the problem of recursion through negation, well founded models and stable models, to programs with aggregates. We examine previously defined classes of aggregate programs: aggregate stratified, group stratified, magical stratified, monotonic and closed semi-ring programs and relate our semantics to those previously defined. The well-founded model gives a semantics to all programs containing aggregates, and agrees with two-valued models already defined for aggregate and group stratified programs. Stable models give a meaning to many programs with aggregation, including all of the above classes, and captures all the models that have been previously defined. Further, there are programs not captured in any previously defined class where the unique stable model agrees with their ``intuitive'' semantics.
Original language | English |
---|---|
Pages | 387-401 |
Number of pages | 15 |
Publication status | Published - 1 Dec 1991 |
Externally published | Yes |
Event | International Logic Programming Symposium 1991 - San Diego, United States of America Duration: 28 Oct 1991 → 1 Nov 1991 |
Conference
Conference | International Logic Programming Symposium 1991 |
---|---|
Abbreviated title | ILPS 1991 |
Country | United States of America |
City | San Diego |
Period | 28/10/91 → 1/11/91 |