BriefGPT.xyz
Feb, 2022
使用系统W进行推理满足语法分割
Inference with System W Satisfies Syntax Splitting
HTML
PDF
Jonas Haldimann, Christoph Beierle
TL;DR
本文研究了系统W从有条件的信仰基础中进行诱导推理,探讨了语法分裂的概念,并证明了系统W符合诱导推理操作的语法分裂后提出的公设。
Abstract
In this paper, we investigate
inductive inference
with
system w
from conditional belief bases with respect to
syntax splitting
. The concep
→