Understanding the stable model semantics is an important topic in Logic Programming and Non-Monotonic Reasoning. In fact, stable models are closely related to extensions in default logic, and to other non-monotonic formalisms like TMS and abduction. In this paper we propose two new explicit characterizations of the stable model semantics. First, we specify a simple requirement for checking stability of a minimal model. Second, we characterize stable models in terms of their ''difference'' with respect to the set of true atoms of the well-founded model of the program. This provides a method for: efficiently computing stable models whenever the Herbrand base is finite; in many cases when the Herbrand base is infinite, computing the basic sets of assumptions on which the stable models are based. The method may help ensure correctness of any procedural semantics based on stable models, like for instance abduction.

Contributions to the stable model semantics of logic programs with negation

COSTANTINI, STEFANIA
1995

Abstract

Understanding the stable model semantics is an important topic in Logic Programming and Non-Monotonic Reasoning. In fact, stable models are closely related to extensions in default logic, and to other non-monotonic formalisms like TMS and abduction. In this paper we propose two new explicit characterizations of the stable model semantics. First, we specify a simple requirement for checking stability of a minimal model. Second, we characterize stable models in terms of their ''difference'' with respect to the set of true atoms of the well-founded model of the program. This provides a method for: efficiently computing stable models whenever the Herbrand base is finite; in many cases when the Herbrand base is infinite, computing the basic sets of assumptions on which the stable models are based. The method may help ensure correctness of any procedural semantics based on stable models, like for instance abduction.
File in questo prodotto:
File Dimensione Formato  
thcs.pdf

non disponibili

Licenza: Non specificato
Dimensione 208.47 kB
Formato Adobe PDF
208.47 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11697/15592
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? 8
social impact