[论文解读] On characterizing Inclusion of Bayesian Networks

Tomáš Kočka, Remco Bouckaert+1 more|arXiv (Cornell University)|Jan 10, 2013

Bayesian Modeling and Causal Inference参考文献 8被引用 12

一句话总结

本文研究了由贝叶斯网络（DAG）诱导的独立性模型之间的包含关系的图解表征。它验证了DAG之间仅在一个邻接关系上不同的情况下Meek的猜想，表明包含关系成立当且仅当可通过一系列合法箭头反转和添加操作，将较大的DAG转化为较小的DAG，为理解贝叶斯网络中的结构性关系奠定了基础。

ABSTRACT

Every directed acyclic graph (DAG) over a finite non-empty set of variables (= nodes) N induces an independence model over N, which is a list of conditional independence statements over N.The inclusion problem is how to characterize (in graphical terms) whether all independence statements in the model induced by a DAG K are in the model induced by a second DAG L. Meek (1997) conjectured that this inclusion holds iff there exists a sequence of DAGs from L to K such that only certain 'legal' arrow reversal and 'legal' arrow adding operations are performed to get the next DAG in the sequence.In this paper we give several characterizations of inclusion of DAG models and verify Meek's conjecture in the case that the DAGs K and L differ in at most one adjacency. As a warming up a rigorous proof of well-known graphical characterizations of equivalence of DAGs, which is a highly related problem, is given.

研究动机与目标

• 表征一个DAG的独立性模型何时包含于另一个DAG的独立性模型之中。
• 研究Meek的猜想，即包含关系对应于DAG之间一系列合法箭头反转和添加操作。
• 为理解贝叶斯网络中的结构性关系提供严谨的基础。
• 提供一种图解形式的包含关系表征，扩展已知的DAG等价性结果。

提出的方法

• 将包含问题形式化为判断一个DAG的独立性模型中的所有条件独立性语句是否都包含于另一个DAG的独立性模型中。
• 以图解操作——合法箭头反转和添加——为基础，构建从较大DAG到较小DAG的变换序列。
• 证明当两个DAG之间至多有一个邻接关系不同时，此类变换序列存在的充要条件是较小DAG的独立性模型包含于较大DAG的独立性模型中。
• 利用已知的马尔可夫等价性结果，支持对结构性关系的分析。
• 应用图论推理，分析箭头操作对条件独立性结构的影响。
• 建立有效变换序列的存在性与模型包含之间的联系，利用‘合法’操作的概念，这些操作保持或扩展条件独立性约束。

实验结果

研究问题

• RQ1 在何种图解条件下，一个DAG的独立性模型包含于另一个DAG的独立性模型中？
• RQ2 当两个DAG之间至多有一个邻接关系不同时，Meek的猜想（即包含关系对应于一系列合法箭头反转和添加操作）是否成立？
• RQ3 是否可以仅通过DAG上的图解操作完全表征独立性模型的包含关系？
• RQ4 合法箭头操作如何影响贝叶斯网络的条件独立性结构？
• RQ5 模型包含与DAG的结构性质之间存在何种关系？

主要发现

• 在两个DAG之间至多有一个邻接关系不同的情况下，验证了Meek关于通过合法箭头操作实现DAG包含关系的猜想。
• 两个DAG之间独立性模型的包含关系，等价于存在一个合法箭头反转和添加操作序列，可将较大的DAG转化为较小的DAG。
• 本文为模型包含关系提供了严谨的图解表征，扩展了关于DAG等价性的已有结果。
• 分析结果表明，合法操作保持或扩展了条件独立性语句的集合，从而确保了模型包含关系。
• 研究结果建立了一个基础框架，用于在等价性之外，推理贝叶斯网络中的结构性关系。