扩展条件语法分割的适用范围：针对条件信念库的推理
人工智能
2026-04-15 v1
摘要
在条件信念库的非单调推理中，满足语法分割假设的推理算子允许仅考虑基于互不相冲的信念库签名划分为子库时所需的相关部分。由于这种互不相冲的划分在实际中罕见，已提出安全条件语法分割作为语法分割的泛化，允许子库中的条件共享某些原子。最近的研究表明，这种条件的重叠仅限于平凡的、自我满足的条件。在本文中，我们提出了安全条件语法分割的一种泛化，旨在拓宽语法分割假设的适用范围。与安全条件语法分割不同，我们提出的新概念支持信念库{\Delta}的子库在原子和非平凡条件上共享。我们说明了这一新概念如何克服以前分割概念的局限性，并识别出真正的分割与不提供用于{\Delta}归纳推理益处的简单分割之间的区别。我们引入了基于我们条件语法分割泛化的调整推理假设，并评估了几种流行的归纳推理算子是否满足这些假设。此外，我们表明，任何满足广义条件语法分割的归纳推理算子也满足条件语法分割，但反之不成立。
引用
@article{arxiv.2604.12660,
title = {Broadening the Applicability of Conditional Syntax Splitting for Reasoning from Conditional Belief Bases},
author = {Lars-Phillip Spiegel and Jonas Haldimann and Jesse Heyninck and Gabriele Kern-Isberner and Christoph Beierle},
journal= {arXiv preprint arXiv:2604.12660},
year = {2026}
}