系统 W 的推理满足语法拆分
人工智能
2022-02-14 v1
摘要
本文中，我们研究从条件信念基出发、关于语法拆分的系统 W 归纳推理。归纳推理的语法拆分概念指出，关于签名中独立部分的推理不应相互影响。这由 Kern-Isberner、Beierle 和 Brewka 的工作以归纳推理算子的公设形式所刻画，将语法拆分表达为相关性与独立性的组合；同时也表明 c-推理满足语法拆分，而系统 P 推理与系统 Z 均不满足。系统 W 是近期引入的用于非单调推理的推理系统，它涵盖并恰当扩展了系统 Z 以及 c-推理。我们通过证明系统 W 满足所需的相关性与独立性性质，表明其满足归纳推理算子的语法拆分公设。这使得系统 W 成为除 c-推理外另一个完全遵从语法拆分的推理算子，且与 c-推理不同，还扩展了理性闭包。
引用
@article{arxiv.2202.05511,
title = {Inference with System W Satisfies Syntax Splitting},
author = {Jonas Haldimann and Christoph Beierle},
journal= {arXiv preprint arXiv:2202.05511},
year = {2022}
}