[論文レビュー] 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が高々1つの隣接関係で異なる場合に、ミークの予想を検証し、包含関係が成り立つのは、大きい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.

研究の動機と目的

• 1つのDAGの独立モデルが、別のDAGの独立モデルに含まれる条件を特徴付けること。
• 包含関係がDAG間の合法的矢印反転および追加の操作列に対応するという、ミークの予想を調査すること。
• ベイジアンネットワークにおける構造的関係を理解するための厳密な基盤を提供すること。
• DAG同士の同値性に関する既知の結果を拡張し、包含関係の図形的特徴付けを提供すること。

提案手法

• 1つのDAGの独立モデルに含まれるすべての条件付き独立に関する記述が、別のDAGの独立モデルに含まれるかどうかを決定する包含問題を形式化すること。
• 図形的操作（合法的矢印反転および追加）を基盤として、大きいDAGから小さいDAGへの変換操作列を構築すること。
• このような操作列が存在するための必要十分条件が、高々1つの隣接関係が異なる条件下で、小さいDAGの独立モデルが大きいDAGの独立モデルに含まれることであることを証明すること。
• 構造的関係の分析を支援するため、マークフ・同値性に関する既知の結果を活用すること。
• 矢印操作が条件付き独立構造に与える影響を、グラフ理論的推論を用いて分析すること。
• 有効な変換操作列の存在とモデル包含関係との間の関係を、独立制約を保存または拡張する「合法的」操作の概念を用いて確立すること。

実験結果

リサーチクエスチョン

• RQ1 どのような図形的条件下で、1つのDAGの独立モデルが、別のDAGの独立モデルに含まれるか？
• RQ2 2つのDAGが高々1つの隣接関係で異なる場合に、包含関係が合法的矢印反転および追加の操作列に対応するというミークの予想は成立するか？
• RQ3 DAGに対する図形的操作のみを用いて、独立モデルの包含関係を完全に特徴付けられるか？
• RQ4 合法的矢印操作は、ベイジアンネットワークの条件付き独立構造にどのように影響を与えるか？
• RQ5 モデル包含関係とDAGの構造的性質との間にはどのような関係があるか？

主な発見

• 2つのDAGが高々1つの隣接関係で異なる場合に、DAGの包含に関するミークの予想が、合法的矢印操作を用いて検証された。
• 2つのDAG間の独立モデルの包含関係は、大きいDAGを小さいDAGに変換する合法的矢印反転および追加の操作列の存在と同値である。
• 本論文は、DAG同値性に関する既存の結果を拡張し、モデル包含関係の厳密な図形的特徴付けを提供した。
• 解析により、合法的操作が独立記述の集合を保存または拡張することを確認し、モデル包含関係が保証された。
• 本研究の結果は、同値性を超えたベイジアンネットワークにおける構造的関係を理解するための基盤的フレームワークを確立した。