TY - GEN
T1 - Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect
AU - Heyninck, Jesse
AU - Kern-Isberner, Gabriele
AU - Meyer, Thomas
N1 - Funding Information:
The work of Jesse Heyninck was partially supported by Fonds Wetenschappelijk Onderzoek – Vlaanderen (project G0B2221N).
Funding Information:
The work of Jesse Heyninck was partially supported by Fonds Wetenschappelijk Onderzoek - Vlaanderen (project G0B2221N).
Publisher Copyright:
© 2022 Copyright for this paper by its authors.
PY - 2022/8/22
Y1 - 2022/8/22
N2 - Lexicographic inference [1] is a well-behaved and popular approach to reasoning with non-monotonic conditionals. In recent work we have shown that lexicographic inference satisfies syntax splitting, which means we can restrict our attention to parts of the belief base that share atoms with a given query. 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 satisfies conditional syntax splitting, and connect conditional syntax splitting to several known properties from the literature on non-monotonic reasoning, including the drowning effect.
AB - Lexicographic inference [1] is a well-behaved and popular approach to reasoning with non-monotonic conditionals. In recent work we have shown that lexicographic inference satisfies syntax splitting, which means we can restrict our attention to parts of the belief base that share atoms with a given query. 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 satisfies conditional syntax splitting, and connect conditional syntax splitting to several known properties from the literature on non-monotonic reasoning, including the drowning effect.
KW - defeasible reasoning
KW - lexicographic inference
KW - non-monotonic logic
KW - Non-monotonic Reasoning
KW - syntax splitting
M3 - Conference Article in proceeding
AN - SCOPUS:85137548087
VL - 3197
T3 - CEUR Workshop Proceedings
SP - 61
EP - 69
BT - Proceedings of the 20th International Workshop on Non-Monotonic Reasoning Part of the Federated Logic Conference (FLoC 2022)
A2 - Arieli, Ofer
A2 - Casini, Giovanni
A2 - Giordana, Laura
PB - CEUR-WS
T2 - 20th International Workshop on Non-Monotonic Reasoning, NMR 2022
Y2 - 7 August 2022 through 9 August 2022
ER -