Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Characterizing and Extending Answer Set Semantics using Possibility
  Theory   Answer Set Programming (ASP) is a popular framework for modeling
combinatorial problems. However, ASP cannot easily be used for reasoning about
uncertain information. Possibilistic ASP (PASP) is an extension of ASP that
combines possibilistic logic and ASP. In PASP a weight is associated with each
rule, where this weight is interpreted as the certainty with which the
conclusion can be established when the body is known to hold. As such, it
allows us to model and reason about uncertain information in an intuitive way.
In this paper we present new semantics for PASP, in which rules are interpreted
as constraints on possibility distributions. Special models of these
constraints are then identified as possibilistic answer sets. In addition,
since ASP is a special case of PASP in which all the rules are entirely
certain, we obtain a new characterization of ASP in terms of constraints on
possibility distributions. This allows us to uncover a new form of disjunction,
called weak disjunction, that has not been previously considered in the
literature. In addition to introducing and motivating the semantics of weak
disjunction, we also pinpoint its computational complexity. In particular,
while the complexity of most reasoning tasks coincides with standard
disjunctive ASP, we find that brave reasoning for programs with weak
disjunctions is easier.

28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph