Stable model semantics have become a dominating approach for the management of negation in logic programming and close relationships to important non-monotonic formalisms for knowledge representation has been established. It relies mainly on the closed world assumption to complete the available knowledge. Its formulation has its founding root in the so-called Gelfond-Lifschitz transform. The primary goal of this work is to present an intuitive and epistemic based characterisation of the stable model semantics, as an alternative to the Gelfond-Lifschitz transform. In particular, we show that the stable model semantics can be defined entirely as an extension of the Kripke-Kleene semantics and, thus, does rely on the classical management of negation and does not require any program transformation. Indeed, we show that the closed world assumption can be seen as an additional source for `falsehood' to be added cumulatively to the Kripke-Kleene semantics. Our approach is purely algebraic and can abstract from the particular formalism of choice. It is based on monotone operators (under the knowledge order) over bilattices only and, thus, has a wide range of applicability.

An epistemic foundation of stable model semantics

Straccia U
2003

Abstract

Stable model semantics have become a dominating approach for the management of negation in logic programming and close relationships to important non-monotonic formalisms for knowledge representation has been established. It relies mainly on the closed world assumption to complete the available knowledge. Its formulation has its founding root in the so-called Gelfond-Lifschitz transform. The primary goal of this work is to present an intuitive and epistemic based characterisation of the stable model semantics, as an alternative to the Gelfond-Lifschitz transform. In particular, we show that the stable model semantics can be defined entirely as an extension of the Kripke-Kleene semantics and, thus, does rely on the classical management of negation and does not require any program transformation. Indeed, we show that the closed world assumption can be seen as an additional source for `falsehood' to be added cumulatively to the Kripke-Kleene semantics. Our approach is purely algebraic and can abstract from the particular formalism of choice. It is based on monotone operators (under the knowledge order) over bilattices only and, thus, has a wide range of applicability.
2003
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Bilattices
Fixed-point semantics
Logic programs
Stable model
File in questo prodotto:
File Dimensione Formato  
prod_160112-doc_123976.pdf

accesso aperto

Descrizione: An epistemic foundation of stable model semantics
Dimensione 351.26 kB
Formato Adobe PDF
351.26 kB Adobe PDF Visualizza/Apri

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: https://hdl.handle.net/20.500.14243/142842
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact