The extended stable models of contradiction removal semantics

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

28 Citations (Scopus)


Our purpose is to define a semantics that extends Contradiction Removal Semantics just as Extended Stable Model Semantics extends Well Founded Semantics, thus providing the notion of Contradiction Free Extended Stable Models. Contradiction Removal Semantics extends Well Founded Semantics to deal with contradictions arising from the introduction of classical negation. Because the Extended Stable Models structure of a program is useful for expressing defaults and abduction, it is important to study in what way the structure of the Extended Stable Models is affected by Contradiction Removal Semantics when the Well Founded Model is contradictory. Given that the Contradiction Removal Semantics is useful for expressing belief revision and counterfactual reasoning, dealing with the structure of such models is expected to be useful for mixing together all four mentioned kinds of reasoning within a single common framework. The Contradiction Free Extended Stable Semantics is an extension to the definition of Contradiction Removal Semantics, provided here in a form independent from the Well Founded Semantics, in terms of a fixpoint operator, instead of in terms of the Well Founded Semantics of transformed programs as before. This definition also clarifies how the semantics is useful for Belief Revision. Nevertheless, we also define a single program transformation such that the Extended Stable Models of a transformed program correspond exactly to the Contradiction Free Extended Stable Models of the original one. By relying on the Well Founded Semantics of the transformed program no new model determining procedures are needed.
Original languageEnglish
Title of host publicationLecture Notes in Artificial Intelligence
Number of pages15
Volume541 LNAI
Publication statusPublished - 1 Jan 1991
EventProgress in Artificial Intelligence -
Duration: 1 Jan 1991 → …


ConferenceProgress in Artificial Intelligence
Period1/01/91 → …


  • Artificial intelligence
  • Well founded semantics
  • Well-founded models
  • Belief revision
  • Fixpoints
  • Program transformations
  • Stable model
  • Stable model semantics
  • Stable semantics


Dive into the research topics of 'The extended stable models of contradiction removal semantics'. Together they form a unique fingerprint.

Cite this