No abstract

Syntax splitting, first introduced by Parikh in 1999, is a natural and desirable property of KR systems. Syntax splitting combines two aspects: it requires that the outcome of a certain epistemic operation should only depend on relevant parts of the underlying knowledge base, where relevance is given a syntactic interpretation (relevance). It also requires that strengthening antecedents by irrelevant information should have no influence on the obtained conclusions (independence). In the context of belief revision the study of syntax splitting already proved useful and led to numerous new insights. In this paper we analyse syntax splitting in a different setting, namely nonmonotonic reasoning based on conditional knowledge bases. More precisely, we analyse inductive inference operators which, like system P, system Z, or the more recent c-inference, generate an inference relation from a conditional knowledge base. We axiomatize the two aforementioned aspects of syntax splitting, relevance and independence, as properties of such inductive inference operators. Our main results show that system P and system Z, whilst satisfying relevance, fail to satisfy independence. C-inference, in contrast, turns out to satisfy both relevance and independence and thus fully complies with syntax splitting.

No abstract

For nonmonotonic reasoning in the context of a knowledge base $\mathcal {R}$ R containing conditionals of the form If A then usually B, system P provides generally accepted axioms. Inference solely based on system P, however, is inherently skeptical because it coincides with reasoning that takes all ranking models of $\mathcal {R}$ R into account. System Z uses only the unique minimal ranking model of $\mathcal {R}$ R , and c-inference, realized via a complex constraint satisfaction problem, takes all c-representations of $\mathcal {R}$ R into account. C-representations constitute the subset of all ranking models of $\mathcal {R}$ R that are obtained by assigning non-negative integer impacts to each conditional in $\mathcal {R}$ R and summing up, for every world, the impacts of all conditionals falsified by that world. While system Z and c-inference license in general different sets of desirable entailments, the first major objective of this article is to present system W. System W fully captures and strictly extends both system Z and c-inference. Moreover, system W can be represented by a single strict partial order on the worlds over the signature of $\mathcal {R}$ R . We show that system W exhibits further inference properties worthwhile for nonmonotonic reasoning, like satisfying the axioms of system P, respecting conditional indifference, and avoiding the drowning problem. The other main goal of this article is to provide results on our investigations, underlying the development of system W, of upper and lower bounds that can be used to restrict the set of c-representations that have to be taken into account for realizing c-inference. We show that the upper bound of n − 1 is sufficient for capturing c-inference with respect to $\mathcal {R}$ R having n conditionals if there is at least one world verifying all conditionals in $\mathcal {R}$ R . In contrast to the previous conjecture that the number of conditionals in $\mathcal {R}$ R is always sufficient, we prove that there are knowledge bases requiring an upper bound of 2n− 1, implying that there is no polynomial upper bound of the impacts assigned to the conditionals in $\mathcal {R}$ R for fully capturing c-inference.

No abstract