論文の概要: Measure Theoretic Weighted Model Integration
- arxiv url: http://arxiv.org/abs/2103.13901v1
- Date: Thu, 25 Mar 2021 15:11:11 GMT
- ステータス: 処理完了
- システム内更新日: 2021-03-26 17:12:28.359916
- Title: Measure Theoretic Weighted Model Integration
- Title(参考訳): 理論的重み付きモデル統合の測定
- Authors: Ivan Miosic, Pedro Zuidberg Dos Martires
- Abstract要約: 重み付きモデルカウント(WMC)は、離散的ランダム変数による確率推論を行う一般的なフレームワークである。
近年、WMCは連続変数の追加処理のために重み付けモデル統合(WMI)に拡張されている。
重み付きモデル統合の理論的に健全な測定理論定式化を提案し、連続変数がない場合に重み付きモデルカウントに自然に減少する。
- 参考スコア(独自算出の注目度): 4.324021238526106
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Weighted model counting (WMC) is a popular framework to perform probabilistic
inference with discrete random variables. Recently, WMC has been extended to
weighted model integration (WMI) in order to additionally handle continuous
variables. At their core, WMI problems consist of computing integrals and sums
over weighted logical formulas. From a theoretical standpoint, WMI has been
formulated by patching the sum over weighted formulas, which is already present
in WMC, with Riemann integration. A more principled approach to integration,
which is rooted in measure theory, is Lebesgue integration. Lebesgue
integration allows one to treat discrete and continuous variables on equal
footing in a principled fashion. We propose a theoretically sound measure
theoretic formulation of weighted model integration, which naturally reduces to
weighted model counting in the absence of continuous variables. Instead of
regarding weighted model integration as an extension of weighted model
counting, WMC emerges as a special case of WMI in our formulation.
- Abstract(参考訳): 重み付きモデルカウント(WMC)は、離散確率変数を用いて確率的推論を行う一般的なフレームワークである。
近年、WMCは連続変数の追加処理のために重み付けモデル統合(WMI)に拡張されている。
中心となるWMI問題は計算積分と重み付き論理式上の和からなる。
理論的な観点から WMI は、既に WMC に存在している重み付き公式の和にリーマン積分を加えて定式化されている。
測度理論に根ざした積分に対するより原理的なアプローチはルベーグ積分である。
ルベーグ積分(Lebesgue integration)は、離散変数と連続変数を原理的に同じ足場で扱うことを可能にする。
本稿では,重み付きモデル積分の理論的定式化を提案し,連続変数が存在しない場合の重み付きモデル数に自然に還元する。
重み付きモデル積分を重み付きモデルカウントの拡張として扱う代わりに、WMCは我々の定式化におけるWMIの特別な場合として現れる。
関連論文リスト
- Model aggregation: minimizing empirical variance outperforms minimizing
empirical error [0.29008108937701327]
多様なモデルからの予測を単一のより正確な出力に集約する,データ駆動型フレームワークを提案する。
モデルはブラックボックス関数として扱う、モデルに依存しない、最小限の仮定を必要とする、広範囲のモデルからの出力を組み合わせることができる。
従来の解法と機械学習モデルをうまく統合して、堅牢性と精度の両方を改善する方法を示す。
論文 参考訳(メタデータ) (2024-09-25T18:33:21Z) - EMR-Merging: Tuning-Free High-Performance Model Merging [55.03509900949149]
Elect, Mask & Rescale-Merging (EMR-Merging) は既存のマージ手法と比較して優れた性能を示した。
EMR-Mergingはチューニング不要なので、データアベイラビリティや追加のトレーニングは必要ありません。
論文 参考訳(メタデータ) (2024-05-23T05:25:45Z) - Tempered Calculus for ML: Application to Hyperbolic Model Embedding [70.61101116794549]
MLで使用されるほとんどの数学的歪みは、本質的に自然界において積分的である。
本稿では,これらの歪みを改善するための基礎的理論とツールを公表し,機械学習の要件に対処する。
我々は、最近MLで注目を集めた問題、すなわち、ハイパーボリック埋め込みを「チープ」で正確なエンコーディングで適用する方法を示す。
論文 参考訳(メタデータ) (2024-02-06T17:21:06Z) - Distributional Learning of Variational AutoEncoder: Application to
Synthetic Data Generation [0.7614628596146602]
本稿では,VAEフレームワークの計算上の利点を犠牲にすることなく,モデル容量を拡大する手法を提案する。
VAEモデルのデコーダは、非対称ラプラス分布の無限混合からなる。
提案したモデルを合成データ生成に適用し,特にデータプライバシの調整が容易であることを示す。
論文 参考訳(メタデータ) (2023-02-22T11:26:50Z) - Super-model ecosystem: A domain-adaptation perspective [101.76769818069072]
本稿では,ドメイン適応による新たなスーパーモデルパラダイムの理論的基礎を確立することを試みる。
スーパーモデルパラダイムは、計算とデータコストと二酸化炭素排出量を減らすのに役立つ。
論文 参考訳(メタデータ) (2022-08-30T09:09:43Z) - ER: Equivariance Regularizer for Knowledge Graph Completion [107.51609402963072]
我々は、新しい正規化器、すなわち等分散正規化器(ER)を提案する。
ERは、頭と尾のエンティティ間の意味的等価性を利用することで、モデルの一般化能力を高めることができる。
実験結果から,最先端関係予測法よりも明確かつ実質的な改善が示された。
論文 参考訳(メタデータ) (2022-06-24T08:18:05Z) - Trustworthy Multimodal Regression with Mixture of Normal-inverse Gamma
Distributions [91.63716984911278]
このアルゴリズムは、異なるモードの適応的統合の原理における不確かさを効率的に推定し、信頼できる回帰結果を生成する。
実世界のデータと実世界のデータの両方に対する実験結果から,多モード回帰タスクにおける本手法の有効性と信頼性が示された。
論文 参考訳(メタデータ) (2021-11-11T14:28:12Z) - Eigenstate entanglement in integrable collective spin models [0.0]
エネルギー固有状態の平均エンタングルメントエントロピー(EE)は、近年、量子多体系における積分可能性の診断として提案されている。
熱力学限界における平均EEは, LMGモデルの全パラメータ値に対して普遍的であることを数値的に示す。
論文 参考訳(メタデータ) (2021-08-22T23:00:04Z) - Bayesian Quadrature on Riemannian Data Manifolds [79.71142807798284]
データに固有の非線形幾何学構造をモデル化する原則的な方法が提供される。
しかし、これらの演算は通常計算的に要求される。
特に、正規法則上の積分を数値計算するためにベイズ二次(bq)に焦点を当てる。
先行知識と活発な探索手法を両立させることで,BQは必要な評価回数を大幅に削減できることを示す。
論文 参考訳(メタデータ) (2021-02-12T17:38:04Z) - On the Approximability of Weighted Model Integration on DNF Structures [13.986963122264632]
DNF構造上の重み付きモデル積分は、実際には重み関数のクラスに対して近似できることを示す。
我々の近似アルゴリズムは3つのサブルーチンに基づいており、それぞれが弱い(すなわち近似)または強い(すなわち正確な)オラクルとなる。
論文 参考訳(メタデータ) (2020-02-17T00:29:41Z) - Monte Carlo Anti-Differentiation for Approximate Weighted Model
Integration [13.14502456511936]
我々は,抗誘導体のMC近似を計算したテクスタイトモンテカルロ反微分 (MCAD) を導入する。
実験の結果,既存のWMIソルバにMCADを組み込むことで,高速かつ信頼性の高い近似推論方式が得られることがわかった。
論文 参考訳(メタデータ) (2020-01-13T23:45:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。