超越有向无环图:因果零点与因果微分方程
摘要
本文通过引入因果零点与因果微分方程,扩展了Pearl的结构因果模型框架,以处理有向无环图所不允许的对称约束与反馈循环。
arXiv:2607.22910v1 通告类型:新
摘要:Pearl的结构因果模型(SCM)框架建立在有向无环图(DAG)和do-演算之上,是因果推理的主要形式化语言。然而,它存在两个结构性限制:每个关系必须预先指定为有向因果边,且禁止反馈循环。本文考察了两类违反这些限制的现象。首先,对称的物理和经济约束(理想气体定律为其典型例子)不具有内在的因果方向。方向仅在于预下出现,且求解哪个变量必须作为干预的一部分加以指定。我们将此类约束形式化为扩展因果模型中的因果零点,通过添加一个激活算子,并满足局部可解性和图容许性条件。其次,对于本文考虑的有限传播状态空间系统,我们将明显的瞬时循环视为时间被抑制的产物,并将因果零点与反馈都建立在因果微分方程(CDE)中。在这些方程中,瞬态区是一个时间展开的无环因果过程,而因果零点作为吸引平衡流形的定义函数出现;周期吸引子和混沌吸引子定义了同一动力学的其他区域,通过相对于吸引子的干预来处理。我们给出了扩展的do-演算、可识别性条件、反事实语义以及待解决的问题。
查看缓存全文
缓存时间: 2026/07/28 06:23
# 超越有向无环图:因果零点与因果微分方程 来源:https://arxiv.org/abs/2607.22910 查看PDF(https://arxiv.org/pdf/2607.22910) > 摘要:Pearl 的结构因果模型(SCM)框架建立在有向无环图(DAG)和 do 演算之上,是因果推理中占主导地位的形式化语言。然而,它存在两个结构性限制:每个关系必须预先指定为有向因果边,且禁止反馈循环。本文研究了两种打破这些限制的现象。首先,对称的物理和经济约束(理想气体定律是典型情形)本身不带有内在的因果方向。方向仅在干预下显现,且必须将待解的变量作为干预的一部分加以指定。我们通过添加一个激活算子,在局部可解性和图可容许性条件下,将这类约束形式化为扩展因果模型中的因果零点。其次,针对本文考虑的一类有限传播状态空间系统,我们将看似瞬时的循环视为被抑制时间的产物,并借助因果微分方程(CDE)同时为因果零点和反馈奠定基础。在 CDE 中,瞬态过程是一个时间展开的无环因果进程,而因果零点则作为吸引平衡流形的定义函数出现;周期吸引子和混沌吸引子则定义了同一动力学的其他区域,并通过吸引子相关干预进行处理。本文给出了扩展的 do 演算、可识别性条件、反事实语义以及公开问题。 ## 提交历史 来自:Sergei Kalinin \[查看电子邮件(https://arxiv.org/show-email/95cd3e22/2607.22910)\] **\[v1\]**2026年7月24日星期五20:54:42 UTC(588 KB)
相似文章
关系结构因果模型
本文介绍了关系结构因果模型,将结构因果模型扩展到具有变化对象和关系的场景。它提供了识别的理论结果,并提出了关系神经因果模型,该模型在模拟交通场景中的表现优于非关系基线方法。
迈向连续时间因果基础模型
提出了一个连续性准则,用于将离散时间因果先验数据拟合网络扩展到连续时间,利用随机微分方程(SDE)。引入了分类体系和细网格积分方法,在不规则观测时间表上优于朴素积分方法。
基于反事实链和因果图的LLM可解释性
本文提出了一种四阶段方法,用于构建建模LLM推理过程的因果图,利用反事实增强实现稳定的因果发现,并提供透明、概念级的可解释性。
Causal-Audit:通过目标感知因果链构建实现显式可审计的图推理
提出了Causal-Audit框架,该框架通过目标感知因果图构建和路径级证据聚合,实现大语言模型中显式且可审计的因果推理,在多个基准测试上优于现有方法。
Causal Structure is Inducible but Functionally Decoupled: The Routing/Readout Boundary of a Typed Mechanism Library
This paper investigates how transformers organize causal knowledge, showing that type-level supervision induces a typed routing structure that is functionally decoupled from answer readout, with exact local editability and bit-exact revertibility.