Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Semantics for Possibilistic Disjunctive Programs   In this paper, a possibilistic disjunctive logic programming approach for
modeling uncertain, incomplete and inconsistent information is defined. This
approach introduces the use of possibilistic disjunctive clauses which are able
to capture incomplete information and incomplete states of a knowledge base at
the same time.
  By considering a possibilistic logic program as a possibilistic logic theory,
a construction of a possibilistic logic programming semantic based on answer
sets and the proof theory of possibilistic logic is defined. It shows that this
possibilistic semantics for disjunctive logic programs can be characterized by
a fixed-point operator. It is also shown that the suggested possibilistic
semantics can be computed by a resolution algorithm and the consideration of
optimal refutations from a possibilistic logic theory.
  In order to manage inconsistent possibilistic logic programs, a preference
criterion between inconsistent possibilistic models is defined; in addition,
the approach of cuts for restoring consistency of an inconsistent possibilistic
knowledge base is adopted. The approach is illustrated in a medical scenario.

8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
2
The categories of this paper are: math
37
The categories of this paper are: supr-con
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
12
The categories of this paper are: nucl-th