PulseAugur
实时 15:53:33
(CA) Intuitionistic $j$-Do-Calculus in Topos Causal Models

新的直觉主义 $j$-do演算框架扩展了因果推断

研究人员引入了一个名为 $j$-stable causal inference 的新颖框架,该框架将 Pearl 的 do-calculus 扩展到层拓扑中的直觉主义环境。这种新方法将因果干预定义为子对象,并利用具有模态算子 $j$ 的 Lawvere-Tierney 拓扑作用于拓扑的子对象分类器。$j$-do-演算用局部真理取代全局真理,通过沿 $j$-covers 稳定的结构保持态射来形式化因果推理,并被证明是一个健全的规则系统。 AI

排序理由 该集群包含一篇详细介绍因果推断新理论框架的学术论文。[lever_c_demoted from research: ic=1 ai=0.4]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

新的直觉主义 $j$-do演算框架扩展了因果推断

报道来源 [1]

  1. arXiv cs.AI TIER_1 (CA) · Sridhar Mahadevan ·

    直觉主义 $j$-Do演算在拓扑因果模型中的应用

    arXiv:2510.17944v2 Announce Type: replace-cross Abstract: In this paper, we generalize Pearl's do-calculus to an Intuitionistic setting called $j$-stable causal inference inside a topos of sheaves. Our framework is an elaboration of the recently proposed framework of Topos Causal…