Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloEpistemic foundation of stable model semantics
Anno di pubblicazione2006
Formato
  • Elettronico
  • Cartaceo
Autore/iYANN LOYER; UMBERTO STRACCIA
Affiliazioni autoriLaboratoire PRiSM, Université de Versailles Saint Quentin, Versailles, France (e-mail: Yann.Loyer@prism.uvsq.fr); Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, Italy (e-mail: straccia@isti.cnr.it)
Autori CNR e affiliazioni
  • UMBERTO STRACCIA VQR
Lingua/e
  • inglese
AbstractStable model semantics has become a very popular approach for the management of negation in logic programming. This approach relies mainly on the closed world assumption to complete the available knowledge and its formulation has its basis in the so-called Gelfond-Lifschitz transformation. The primary goal of this work is to present an alternative and epistemic-based characterization of stable model semantics, to the Gelfond-Lifschitz transformation. In particular, we show that stable model semantics can be defined entirely as an extension of the Kripke-Kleene semantics. Indeed, we show that the closed world assumption can be seen as an additional source of 'falsehood' to be added cumulatively to the Kripke-Kleene semantics. Our approach is purely algebraic and can abstract from the particular formalism of choice as it is based on monotone operators (under the knowledge order) over bilattices only.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da355
Pagine a393
Pagine totali-
RivistaTheory and practice of logic programming
Attiva dal 2001
Editore: Cambridge University Press. - Cambridge
Paese di pubblicazione: Regno Unito
Lingua: inglese
ISSN: 1471-0684
Titolo chiave: Theory and practice of logic programming
Numero volume della rivista6
Fascicolo della rivista4
DOI10.1017/S1471068405002619
Verificato da refereeSì: Internazionale
Stato della pubblicazionePublished version
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:000239030600001)
  • Scopus (Codice:2-s2.0-33745299468)
Parole chiaveFixed-point semantics, Logic programs, Stable model semantics, Non-monotonic reasoning
Link (URL, URI)http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=448303
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • ISTI — Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"
Moduli CNR-
Progetti Europei-
Allegati
  • Epistemic foundation of stable model semantics

Dati associati a vecchie tipologie
I dati associati a vecchie tipologie non sono modificabili, derivano dal cambiamento della tipologia di prodotto e hanno solo valore storico.
Editore
  • Cambridge University Press, Cambridge (Regno Unito)