研究人员引入了一个名为 $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]
- intuitionistic logic
- j-do-calculus
- j-stable causal inference
- Kripke-Joyal semantics
- Lawvere–Tierney topology
- Pearl's do-calculus
- Sridhar Mahadevan
- topos causal models
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →