Possibilistic Answer Set Programming Revisited

03/15/2012
by   Kim Bauters, et al.
0

Possibilistic answer set programming (PASP) extends answer set programming (ASP) by attaching to each rule a degree of certainty. While such an extension is important from an application point of view, existing semantics are not well-motivated, and do not always yield intuitive results. To develop a more suitable semantics, we first introduce a characterization of answer sets of classical ASP programs in terms of possibilistic logic where an ASP program specifies a set of constraints on possibility distributions. This characterization is then naturally generalized to define answer sets of PASP programs. We furthermore provide a syntactic counterpart, leading to a possibilistic generalization of the well-known Gelfond-Lifschitz reduct, and we show how our framework can readily be implemented using standard ASP solvers.

READ FULL TEXT

Authors

11/30/2013

Characterizing and Extending Answer Set Semantics using Possibility Theory

Answer Set Programming (ASP) is a popular framework for modeling combina...
09/22/2020

Splitting a Hybrid ASP Program

Hybrid Answer Set Programming (Hybrid ASP) is an extension of Answer Set...
11/11/2021

Answer Set Programming Made Easy

We take up an idea from the folklore of Answer Set Programming, namely t...
07/24/2019

Inconsistency Proofs for ASP: The ASP-DRUPE Format

Answer Set Programming (ASP) solvers are highly-tuned and complex proced...
05/02/2018

Translating LPOD and CR-Prolog2 into Standard Answer Set Programs

Logic Programs with Ordered Disjunction (LPOD) is an extension of standa...
12/20/2019

A Paraconsistent ASP-like Language with Tractable Model Generation

Answer Set Programming (ASP) is nowadays a dominant rule-based knowledge...
08/10/2020

ASP(AC): Answer Set Programming with Algebraic Constraints

Weighted Logic is a powerful tool for the specification of calculations ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.