Negation as a Resource: a Novel View on Answer Set Semantics

作者：Costantini Stefania^*; Formisano Andrea

来源：Fundamenta Informaticae, 2015, 140(3-4): 279-305.

DOI：10.3233/FI-2015-1255

• Answer Set Programming
• Default Negation
• Linear Logic
• Autoepistemic Logic

In recent work, we provided a formulation of ASP programs in terms of linear logic theories. Answer sets were characterized in terms of maximal tensor conjunctions provable from such theories. In this paper, we propose a full comparison between Answer Set Semantics and its variation obtained by interpreting literals (including negative literals) as resources, which leads to a different interpretation of negation. We argue that this novel view can be of both theoretical and practical interest, and we propose a modified Answer Set Semantics that we call Resource-based Answer Set Semantics. An advantage is that of avoiding inconsistencies, as every program has a (possibly empty) resource-based answer set. This implies however the introduction of a different way of representing constraints. We provide a characterization of the new semantics as a variation of the answer set semantics, and also in terms of Autoepistemic Logic. The latter characterization leads to a way of computing resource-based answer set via answer set solvers.

• 出版日期2015
• 单位Perugia