文章基本信息

标题：A Tarskian Informal Semantics for Answer Set Programming
本地全文：下载
作者：Marc Denecker ; Yuliya Lierler ; Miroslaw Truszczynski 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：17
页码：277-289
DOI：10.4230/LIPIcs.ICLP.2012.277
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Answer set programming; informal semantics; generate-define-test