License
when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2012.277
URN: urn:nbn:de:0030-drops-36295
URL: http://drops.dagstuhl.de/opus/volltexte/2012/3629/

Denecker, Marc ; Lierler, Yuliya ; Truszczynski, Miroslaw ; Vennekens, Joost

A Tarskian Informal Semantics for Answer Set Programming

pdf-format:
Dokument 1.pdf (508 KB)


Abstract

In their seminal papers on stable model semantics, Gelfond and Lifschitz introduced ASP by casting programs as epistemic theories, in which rules represent statements about the knowledge of a rational agent. To the best of our knowledge, theirs is still the only published systematic account of the intuitive meaning of rules and programs under the stable semantics. In current ASP practice, however, we find numerous applications in which rational agents no longer seem to play any role. Therefore, we propose here an alternative explanation of the intuitive meaning of ASP programs, in which they are not viewed as statements about an agent's beliefs, but as objective statements about the world. We argue that this view is more natural for a large part of current ASP practice, in particular the so-called Generate-Define-Test programs.

BibTeX - Entry

@InProceedings{denecker_et_al:LIPIcs:2012:3629,
  author =	{Marc Denecker and Yuliya Lierler and Miroslaw Truszczynski and Joost Vennekens},
  title =	{{A Tarskian Informal Semantics for Answer Set Programming}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{277--289},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Agostino Dovier and V{\'i}tor Santos Costa},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3629},
  URN =		{urn:nbn:de:0030-drops-36295},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.277},
  annote =	{Keywords: Answer set programming, informal semantics, generate-define-test}
}

Keywords: Answer set programming, informal semantics, generate-define-test
Seminar: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
Issue date: 2012
Date of publication: 27.07.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI