[論文レビュー] Efficient Search-Based Weighted Model Integration

Zhe Zeng, Guy Van den Broeck|arXiv (Cornell University)|Mar 13, 2019

Bayesian Modeling and Causal Inference参考文献 38被引用数 6

ひとこと要約

本稿では、木構造の原始グラフをもつSMT(ℝ)理論における効率的な重み付きモデル統合（WMI）のための探索ベースのアルゴリズムを提案する。文脈に依存する独立性と多項式補間を活用して統合問題を分解することで、準多項式時間の計算量を達成し、木構造の問題において既存のWMIソルバーよりも顕著な高速化を実現する。

ABSTRACT

Weighted model integration (WMI) extends Weighted model counting (WMC) to the integration of functions over mixed discrete-continuous domains. It has shown tremendous promise for solving inference problems in graphical models and probabilistic programming. Yet, state-of-the-art tools for WMI are limited in terms of performance and ignore the independence structure that is crucial to improving efficiency. To address this limitation, we propose an efficient model integration algorithm for theories with tree primal graphs. We exploit the sparse graph structure by using search to performing integration. Our algorithm greatly improves the computational efficiency on such problems and exploits context-specific independence between variables. Experimental results show dramatic speedups compared to existing WMI solvers on problems with tree-shaped dependencies.

研究の動機と目的

• ハイブリッド離散連続ドメインにおける構造的独立性を活用しない既存のWMIソルバの非効率性を解消すること。
• 計算効率を向上させるために、スパースで木構造の原始グラフを利用する探索ベースの推論アルゴリズムを開発すること。
• 変数のインスタンシエーションと多項式補間による問題の分解を通じて、正確なWMI計算を可能にすること。
• 複雑度解析を通じて、非自明なWMI問題のクラスにおける tractability（ tractability ）を形式的に確立すること。
• 構造的でスパースな問題において、最先端のWMIソルバーより顕著な性能向上を実証的に検証すること。

提案手法

• SMT(ℝ)理論における木構造の原始グラフに対して、共有変数のインスタンシエーションを再帰的に行うアルゴリズム。
• 変数のインスタンシエーション後に、文脈に依存する独立性を活用して統合問題を部分問題に分解する。
• 連続変数に対しては、有限個のインスタンシエーション点を選択し、多項式補間を用いて正確なWMI結果を回復する。
• 重み関数を因数分解することで論理的構造を保持し、効率的なソルバーコンパイルを可能にする。
• 複雑度解析により、バランスの取れた木構造の原始グラフに対して準多項式時間の性能を示す。
• 変数のインスタンシエーションと多項式補間を通じてWMIを未重み付きモデル統合（MI）問題に還元し、既存のMIソルバの再利用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 SMT(ℝ)理論における木構造の原始グラフにおいて、構造的独立性を活用することでWMI推論の効率を向上させられるか？
• RQ2 連続変数に対して探索ベースの分解と多項式補間を用いることで、正確なWMI計算が可能か？
• RQ3 区分的多項式重みをもつ木構造の理論におけるWMIの計算複雑度は何か？
• RQ4 構造的かつスパースな問題において、提案手法は既存のWMIソルバーよりも性能に優れているか？
• RQ5 因数分解された重み関数は、論理的構造を保持し、効率的な推論を可能にするために効果的に利用できるか？

主な発見

• 提案手法は、木構造の原始グラフをもつ問題において、既存のWMIソルバーより顕著な高速化を達成する。
• バランスの取れた木構造の原始グラフでは、準多項式時間の計算量を示し、非自明なWMI問題クラスにおける初めての tractability 結果を提供する。
• 変数のインスタンシエーションと多項式補間を通じてWMIを未重み付きMI問題に還元し、正確な計算を可能にする。
• 実験結果から、文脈に依存する独立性と構造的分解が統合すべきモデル数を顕著に削減することが確認された。
• スパースなグラフ構造と因数分解された重み関数を効果的に活用することで、スケーラビリティと性能が向上した。
• 相関する連続変数とブール制約を含む合成的および実世界のWMI問題において、ベースラインを上回る性能を示した。