論文の概要: Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing

• arxiv url: http://arxiv.org/abs/2003.00126v2
• Date: Wed, 19 Aug 2020 22:41:13 GMT
• ステータス: 処理完了
• システム内更新日: 2022-12-28 02:23:29.523493
• Title: Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
• Title（参考訳）: メッセージパッシングによる論理的・算術的制約によるハイブリッド確率推論のスケールアップ
• Authors: Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van den Broeck
• Abstract要約: 重み付けされたモデル統合により、現実世界の問題の複雑な依存関係を表現することができる。 既存のWMIソルバは、これらの問題にスケールする準備ができていない。 メッセージパッシング(MP-WMI)に基づくスケーラブルなWMIソルバを考案する。
• 参考スコア（独自算出の注目度）: 38.559697064390015
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Weighted model integration (WMI) is a very appealing framework for probabilistic inference: it allows to express the complex dependencies of real-world problems where variables are both continuous and discrete, via the language of Satisfiability Modulo Theories (SMT), as well as to compute probabilistic queries with complex logical and arithmetic constraints. Yet, existing WMI solvers are not ready to scale to these problems. They either ignore the intrinsic dependency structure of the problem at all, or they are limited to too restrictive structures. To narrow this gap, we derive a factorized formalism of WMI enabling us to devise a scalable WMI solver based on message passing, MP-WMI. Namely, MP-WMI is the first WMI solver which allows to: 1) perform exact inference on the full class of tree-structured WMI problems; 2) compute all marginal densities in linear time; 3) amortize inference inter query. Experimental results show that our solver dramatically outperforms the existing WMI solvers on a large set of benchmarks.
• Abstract（参考訳）: 重み付きモデル統合(WMI)は確率的推論のための非常に魅力的なフレームワークであり、変数が連続的かつ離散的である実世界の問題の複雑な依存関係を、Satifiability Modulo Theories(SMT)言語を介して表現し、複雑な論理的および算術的制約で確率的クエリを計算することができる。 しかし、既存のWMIソルバはこれらの問題にスケールする準備ができていない。 彼らは問題の本質的な依存関係構造を全く無視するか、あるいは過度に制限された構造に制限される。 このギャップを狭めるために、メッセージパッシング(MP-WMI)に基づいてスケーラブルなWMIソルバを設計できるWMIの分解形式を導出する。 すなわち、MP-WMIは、次のように可能な最初のWMIソルバである。 1) 木構造WMI問題の全クラスについて正確な推論を行う。 2) すべての限界密度を線形時間で計算する。 3) 推論を償却する 問合せ。 実験結果から,既存のWMIソルバを大規模ベンチマークで劇的に上回る結果が得られた。

関連論文リスト

• MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs [55.20845457594977]
  大規模言語モデル(LLM)は、問題解決と意思決定の能力の向上を示している。 本稿ではメタ推論技術を必要とするプロセスベースのベンチマークMR-Benを提案する。 メタ推論のパラダイムは,システム2のスロー思考に特に適しています。
  論文  参考訳（メタデータ） (2024-06-20T03:50:23Z)
• A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability [66.37474135424637]
  我々は、MILPインスタンスのための最初の深層生成フレームワークであるG2MILPを提案する。 G2MILPはMILPインスタンスを二部グラフとして表現し、マスク付き変分オートエンコーダを元のグラフの一部を反復的に破損させ、置き換えて新しいグラフを生成する。 生成されたMILPインスタンスの品質を評価するためのベンチマークスイートを設計する。
  論文  参考訳（メタデータ） (2023-10-04T13:34:34Z)
• Multi-Grained Multimodal Interaction Network for Entity Linking [65.30260033700338]
  マルチモーダルエンティティリンクタスクは、マルチモーダル知識グラフへの曖昧な言及を解決することを目的としている。 MELタスクを解決するための新しいMulti-Grained Multimodal InteraCtion Network $textbf(MIMIC)$ frameworkを提案する。
  論文  参考訳（メタデータ） (2023-07-19T02:11:19Z)
• Enhancing SMT-based Weighted Model Integration by Structure Awareness [10.812681884889697]
  重み付きモデル統合(WMI)は、ハイブリッドドメインにおける確率的推論の統一形式として登場した。 本研究では,SMTに基づく列挙法と問題構造を効果的に符号化するアルゴリズムを開発した。
  論文  参考訳（メタデータ） (2023-02-13T08:55:12Z)
• A robust estimator of mutual information for deep learning interpretability [2.574652392763709]
  本稿では,離散的かつ連続的な設定にも適用可能なアルゴリズムGMM-MIを提案する。 我々は,GMM-MIを具体的真理MIが知られている玩具データに基づいて広範囲に検証する。 次に、表現学習の文脈におけるMI推定器の使用例を示す。
  論文  参考訳（メタデータ） (2022-10-31T18:00:02Z)
• SMT-based Weighted Model Integration with Structure Awareness [18.615397594541665]
  本研究では,SMTに基づく列挙法と問題構造を効果的に符号化するアルゴリズムを開発した。 これにより,冗長モデルの生成を回避し,計算コストを大幅に削減できる。
  論文  参考訳（メタデータ） (2022-06-28T09:46:17Z)
• FERMI: Fair Empirical Risk Minimization via Exponential R\'enyi Mutual Information [17.57634911587209]
  ERMIは、既存の公正性違反の概念に対する上限保証を提供するという意味で、強い公正性違反概念であることを示す。 FERMIと呼ばれるERMI正規化フレームワークを通じて、公正な経験的リスク最小化を提案します。
  論文  参考訳（メタデータ） (2021-02-24T22:15:44Z)
• Efficient semidefinite-programming-based inference for binary and multi-class MRFs [83.09715052229782]
  分割関数やMAP推定をペアワイズMRFで効率的に計算する手法を提案する。 一般のバイナリMRFから完全多クラス設定への半定緩和を拡張し、解法を用いて再び効率的に解けるようなコンパクトな半定緩和を開発する。
  論文  参考訳（メタデータ） (2020-12-04T15:36:29Z)
• CLUB: A Contrastive Log-ratio Upper Bound of Mutual Information [105.73798100327667]
  本稿では,相互情報の対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物対物 CLUBの特性とその変分近似に関する理論的解析を行う。 この上限に基づいてMI最小化学習手法を導入し、さらに負のサンプリング戦略で加速する。
  論文  参考訳（メタデータ） (2020-06-22T05:36:16Z)
• Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration [13.14502456511936]
  我々は,抗誘導体のMC近似を計算したテクスタイトモンテカルロ反微分 (MCAD) を導入する。 実験の結果,既存のWMIソルバにMCADを組み込むことで,高速かつ信頼性の高い近似推論方式が得られることがわかった。
  論文  参考訳（メタデータ） (2020-01-13T23:45:10Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。