Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Inference with System W Satisfies Syntax Splitting   In this paper, we investigate inductive inference with system W from
conditional belief bases with respect to syntax splitting. The concept of
syntax splitting for inductive inference states that inferences about
independent parts of the signature should not affect each other. This was
captured in work by Kern-Isberner, Beierle, and Brewka in the form of
postulates for inductive inference operators expressing syntax splitting as a
combination of relevance and independence; it was also shown that c-inference
fulfils syntax splitting, while system P inference and system Z both fail to
satisfy it. System W is a recently introduced inference system for nonmonotonic
reasoning that captures and properly extends system Z as well as c-inference.
We show that system W fulfils the syntax splitting postulates for inductive
inference operators by showing that it satisfies the required properties of
relevance and independence. This makes system W another inference operator
besides c-inference that fully complies with syntax splitting, while in
contrast to c-inference, also extending rational closure.

27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio