Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Descriptor Revision for Conditionals: Literal Descriptors and
  Conditional Preservation   Descriptor revision by Hansson is a framework for addressing the problem of
belief change. In descriptor revision, different kinds of change processes are
dealt with in a joint framework. Individual change requirements are qualified
by specific success conditions expressed by a belief descriptor, and belief
descriptors can be combined by logical connectives. This is in contrast to the
currently dominating AGM paradigm shaped by Alchourr\'on, G\"ardenfors, and
Makinson, where different kinds of changes, like a revision or a contraction,
are dealt with separately. In this article, we investigate the realisation of
descriptor revision for a conditional logic while restricting descriptors to
the conjunction of literal descriptors. We apply the principle of conditional
preservation developed by Kern-Isberner to descriptor revision for
conditionals, show how descriptor revision for conditionals under these
restrictions can be characterised by a constraint satisfaction problem, and
implement it using constraint logic programming. Since our conditional logic
subsumes propositional logic, our approach also realises descriptor revision
for propositional logic.

24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat