Conditional Syntax Splitting for Non-monotonic Inference Operators

Syntax splitting is a property of inductive inference operators that ensures we can restrict our attention to parts of the conditional belief base that share atoms with a given query. To apply syntax splitting, a conditional belief base needs to consist of syntactically disjoint conditionals. This requirement is often too strong in practice, as conditionals might share atoms. In this paper we introduce the concept of conditional syntax splitting, inspired by the notion of conditional independence as known from probability theory. We show that lexicographic inference and system W satisfy conditional syntax splitting, and connect conditional syntax splitting to several known properties from the literature on non-monotonic reasoning, including the drowning effect.

Authors

• Jesse Heyninck
• Gabriele Kern-Isberner
• Thomas Meyer
• Jonas Philipp Haldimann
• Christoph Beierle

Keywords

• KRR: Nonmonotonic Reasoning