2026-07-20T05:25:18Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3629 2024-03-06T10:34:27Z ddc:004 open_access

A Tarskian Informal Semantics for Answer Set Programming Denecker, Marc Lierler, Yuliya Truszczynski, Miroslaw Vennekens, Joost Answer set programming informal semantics generate-define-test 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Marc Denecker and Yuliya Lierler and Miroslaw Truszczynski and Joost Vennekens 2012 Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2012.277 urn:nbn:de:0030-drops-36295 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.277 eng https://creativecommons.org/licenses/by-nd/3.0/legalcode