Revised stable models - A semantics for logic programs

Luís Moniz Pereira, Alexandre Miguel Pinto

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Proceedings
PublisherSpringer Verlag
Pages29-42
Number of pages14
ISBN (Print)3540307370, 9783540307372
DOIs
Publication statusPublished - 1 Jan 2005
Event12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence - Covilha, Portugal
Duration: 5 Dec 20058 Dec 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3808 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence
CountryPortugal
CityCovilha
Period5/12/058/12/05

Keywords

  • Logic program semantics
  • Reductio ad absurdum
  • Stable models

Fingerprint Dive into the research topics of 'Revised stable models - A semantics for logic programs'. Together they form a unique fingerprint.

  • Cite this

    Pereira, L. M., & Pinto, A. M. (2005). Revised stable models - A semantics for logic programs. In Progress in Artificial Intelligence - 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Proceedings (pp. 29-42). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3808 LNCS). Springer Verlag. https://doi.org/10.1007/11595014_4