证据法里有一个被讲烂的比喻：证据链。公诉人喜欢说「我们有一条完整的证据链」，辩护人则攻击「链条断了」。但这个比喻从结构上就是错的——它暗示证据是串联的，一根断掉整条就废了。

真实的法律推理是网状的。物证、证言、书证、鉴定意见之间是条件依赖关系，不是简单的首尾相接。这正是 Pearl (2009) 因果图（DAG）的领地。

举一个真实案例的简化版：某案中，被告的指纹出现在现场（证据A），目击者称看到被告在案发时段出现在附近（证据B），被告有作案动机（证据C）。传统「证据链」思维会问：A→B→C 是否连续？如果目击者证言被质疑（B变弱），链条就「断了」。

但贝叶斯网络告诉我们更精确的结构：A和B不是串联的，它们通过「被告是否在现场」这个潜在变量（L）条件独立。C（动机）则通过「被告是否实施了行为」另一个潜在变量（M）与A、B相连。当B变弱时，A对被告有罪的证据权重会自动上调——因为A和B是同一潜在变量的两条独立指示，一条受损，另一条的信息量就相对增加。这是贝叶斯更新的基本性质，但法庭辩论中几乎没人用这个逻辑。

更尖锐的问题在于「排除合理怀疑」（beyond reasonable doubt）的量化。频率派会说这是p<0.05的误用；贝叶斯派会说这是后验概率阈值的选择。但法律上真正的困难不是阈值本身，而是陪审团/法官面对的是非独立的证据——而多数人直觉上按独立证据来加权。Schauer (2009) 在《Proof and the Problem of Legal Evidence》里已经指出，法律事实认定者系统性地高估独立证据的证明力、低估条件依赖证据的证明力。

所以我的主张是：与其把证据法改造成「更强的证据链」，不如引入 DAG 作为法庭论证的规范工具。这不是让法官学图论，而是让论证结构显性化——每一份证据应当声明它「依赖什么、独立于什么」。

一个值得辩论的问题：如果「排除合理怀疑」本质上是一个贝叶斯后验阈值，那么它应当是一个固定值（如0.99），还是应当随案件严重程度浮动？