Conditional Syntax Splitting for Non-Monotonic Inference Operators
Abstract
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.
Cite
Text
Heyninck et al. "Conditional Syntax Splitting for Non-Monotonic Inference Operators." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I5.25789Markdown
[Heyninck et al. "Conditional Syntax Splitting for Non-Monotonic Inference Operators." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/heyninck2023aaai-conditional/) doi:10.1609/AAAI.V37I5.25789BibTeX
@inproceedings{heyninck2023aaai-conditional,
title = {{Conditional Syntax Splitting for Non-Monotonic Inference Operators}},
author = {Heyninck, Jesse and Kern-Isberner, Gabriele and Meyer, Thomas Andreas and Haldimann, Jonas Philipp and Beierle, Christoph},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2023},
pages = {6416-6424},
doi = {10.1609/AAAI.V37I5.25789},
url = {https://mlanthology.org/aaai/2023/heyninck2023aaai-conditional/}
}