Sciweavers

Share
EPIA
2005
Springer

Revised Stable Models - A Semantics for Logic Programs

11 years 5 months ago
Revised Stable Models - A Semantics for Logic Programs
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The distinction consists in the revision of one feature of SM, namely its treatment of odd loops, and of infinitely long support chains, over default negation. This single revised aspect, addressed by means of a Reductio ad Absurdum approach, affords a number of fruitful consequences, namely regarding existence, relevance and top-down querying, cumulativity, and implementation. The paper motivates and defines the Revised Stable Models semantics (rSM), justifying and exemplifying it. Properties of rSM are given and contrasted with those of SM. Furthermore, these results apply to SM whenever odd loops and infinitely long chains over negation are absent, thereby establishing significant, not previously known, properties of SM. Conclusions, further work, terminate the paper. Keywords Logic program semantics, Stable Model...
Luís Moniz Pereira, Alexandre Miguel Pinto
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EPIA
Authors Luís Moniz Pereira, Alexandre Miguel Pinto
Comments (0)
books