A Tarskian Informal Semantics for Answer Set Programming

Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski & Joost Vennekens
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...