TY - GEN
T1 - A tarskian informal semantics for answer set programming
AU - Denecker, Marc
AU - Lierler, Yuliya
AU - Truszczynski, Miroslaw
AU - Vennekens, Joost
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
KW - Answer set programming
KW - Generate-define-test
KW - Informal semantics
UR - http://www.scopus.com/inward/record.url?scp=84880206194&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84880206194&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.ICLP.2012.277
DO - 10.4230/LIPIcs.ICLP.2012.277
M3 - Conference contribution
AN - SCOPUS:84880206194
SN - 9783939897439
T3 - Leibniz International Proceedings in Informatics, LIPIcs
SP - 277
EP - 289
BT - Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012
T2 - 28th International Conference on Logic Programming, ICLP 2012
Y2 - 4 September 2012 through 8 September 2012
ER -