论文标题
使用系统的推断w满足语法分裂
Inference with System W Satisfies Syntax Splitting
论文作者
论文摘要
在本文中，我们研究了从条件信念基础上对语法分裂的归纳推断。归纳推理的语法分裂概念，即有关签名独立部分的推论不应彼此影响。克恩·伊斯伯纳（Kern-Isberner），贝耶勒（Beierle）和布鲁卡（Brewka）在工作中以归纳推理操作员的形式捕获了这一点。还表明，C-推断可以实现语法分裂，而系统P推理和系统Z都无法满足它。系统W是最近引入的非单调推理推理系统，可捕获并正确扩展系统Z以及C--推断。我们表明，系统W通过证明其满足相关性和独立性所需的属性来满足归纳推理操作员的语法分裂假设。这使得系统W除了C-推理以外，它完全符合语法分裂，而与C-推荐相反，也扩大了理性的封闭。
In this paper, we investigate inductive inference with system W from conditional belief bases with respect to syntax splitting. The concept of syntax splitting for inductive inference states that inferences about independent parts of the signature should not affect each other. This was captured in work by Kern-Isberner, Beierle, and Brewka in the form of postulates for inductive inference operators expressing syntax splitting as a combination of relevance and independence; it was also shown that c-inference fulfils syntax splitting, while system P inference and system Z both fail to satisfy it. System W is a recently introduced inference system for nonmonotonic reasoning that captures and properly extends system Z as well as c-inference. We show that system W fulfils the syntax splitting postulates for inductive inference operators by showing that it satisfies the required properties of relevance and independence. This makes system W another inference operator besides c-inference that fully complies with syntax splitting, while in contrast to c-inference, also extending rational closure.
