論文の概要: On the Independencies Hidden in the Structure of a Probabilistic Logic Program

• arxiv url: http://arxiv.org/abs/2308.15865v1
• Date: Wed, 30 Aug 2023 08:55:55 GMT
• ステータス: 処理完了
• システム内更新日: 2023-08-31 14:13:20.305060
• Title: On the Independencies Hidden in the Structure of a Probabilistic Logic Program
• Title（参考訳）: 確率論理プログラムの構造に隠された独立性について
• Authors: Kilian R\"uckschlo{\ss} (Ludwig-Maximilians-Universit\"at M\"unchen), Felix Weitk\"amper (Ludwig-Maximilians-Universit\"at M\"unchen)
• Abstract要約: 非巡回基底論理プログラムにおけるd-セパレーションの条件依存性を計算する。 本稿では,ある条件付き独立文がプログラム構造によって暗示されるか否かを判断する,正しいメタ解釈手法を提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Pearl and Verma developed d-separation as a widely used graphical criterion to reason about the conditional independencies that are implied by the causal structure of a Bayesian network. As acyclic ground probabilistic logic programs correspond to Bayesian networks on their dependency graph, we can compute conditional independencies from d-separation in the latter. In the present paper, we generalize the reasoning above to the non-ground case. First, we abstract the notion of a probabilistic logic program away from external databases and probabilities to obtain so-called program structures. We then present a correct meta-interpreter that decides whether a certain conditional independence statement is implied by a program structure on a given external database. Finally, we give a fragment of program structures for which we obtain a completeness statement of our conditional independence oracle. We close with an experimental evaluation of our approach revealing that our meta-interpreter performs significantly faster than checking the definition of independence using exact inference in ProbLog 2.
• Abstract（参考訳）: パールとヴェルマは、ベイズネットワークの因果構造によって暗示される条件付き無依存性を説明するために広く使われるグラフィカルな基準としてd分離を開発した。 非巡回基底確率論理プログラムは依存グラフ上のベイズネットワークに対応するため、後者のd-分離から条件不依存を計算することができる。 本稿では,上述の推論を非地上ケースに一般化する。 まず、確率論的論理プログラムを外部データベースから切り離して、いわゆるプログラム構造を得る確率を抽象化する。 次に、ある条件付き独立文が与えられた外部データベース上のプログラム構造によって暗示されるかどうかを決定する正しいメタ解釈器を示す。 最後に、条件付き独立オラクルの完全性声明を得るためのプログラム構造の断片を与える。 ProbLog 2.0の正確な推論を用いて独立性の定義をチェックするよりも,我々のメタインタプリタがはるかに高速に動作できることを明らかにする。

関連論文リスト

• On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version) [1.024113475677323]
  本研究は,暗号シナリオにおける計算独立性について考察する。 分離論理のセマンティクスは,複雑性に縛られた敵を考慮に入れれば適用可能であることを示す。 注目すべきは、これは独立性と疑似ランダム性の間の実りある相互作用を可能にすることだ。
  論文  参考訳（メタデータ） (2024-05-20T12:39:28Z)
• LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers [60.009969929857704]
  論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。 本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。 我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
  論文  参考訳（メタデータ） (2023-10-23T17:58:40Z)
• "Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming [0.0]
  本稿では,因果的クエリを許容する因果的フレームワークを用いて確率論的論理プログラムについて検討する。 観測データからプログラム構造を学習することは、統計検査に依存する探索によって行われるのが普通である。 本稿では,プログラムの帰納分布からプログラムを再構築する言語フラグメントを提案する。
  論文  参考訳（メタデータ） (2023-08-30T09:03:45Z)
• "What if?" in Probabilistic Logic Programming [2.9005223064604078]
  ProbLogプログラムは、特定の確率でのみ保持される事実を持つ論理プログラムである。 クエリに答えることによって、このProbLog言語を拡張します。
  論文  参考訳（メタデータ） (2023-05-24T16:35:24Z)
• Compositional Probabilistic and Causal Inference using Tractable Circuit Models [20.07977560803858]
  我々は、構造化分解可能なPCにおける(マルジナル)決定性の新規な定式化であるmd-vtreesを紹介する。 我々は,PC上でのバックドア調整などの因果推論クエリに対して,最初のpolytimeアルゴリズムを導出する。
  論文  参考訳（メタデータ） (2023-04-17T13:48:16Z)
• $\omega$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs [64.25762042361839]
  $omega$PAP 空間は表現的微分可能および確率的プログラミング言語についての推論のための空間である。 我々の意味論は、最も実践的な確率的で微分可能なプログラムに意味を割り当てるのに十分である。 確率プログラムのトレース密度関数のほぼすべての微分可能性を確立する。
  論文  参考訳（メタデータ） (2023-02-21T12:50:05Z)
• Causal de Finetti: On the Identification of Invariant Causal Structure in Exchangeable Data [45.389985793060674]
  制約に基づく因果探索法は、条件付き独立試験を利用して、様々な応用において因果関係を推定する。 交換可能なデータには、i.d.$$データよりもリッチな条件付き独立構造が含まれており、よりリッチな構造が因果発見にどのように活用できるかを示す。
  論文  参考訳（メタデータ） (2022-03-29T17:10:39Z)
• Logical Credal Networks [87.25387518070411]
  本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。 本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
  論文  参考訳（メタデータ） (2021-09-25T00:00:47Z)
• Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints [2.624902795082451]
  本稿では,変数の確率的推論に対処する,よりリッチな論理言語について考察する。 まず, 分配セマンティックスに基づいて, 全体としての帰納的言語とその意味を提示する。 次に,前述したものを拡張して得られた証明手順を導入し,その健全性と完全性を証明する。
  論文  参考訳（メタデータ） (2021-08-06T10:22:12Z)
• Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption [127.439030701253]
  確率感性決定図は構造化分解可能な回路のクラスである。 本稿では,回路の論理的基盤を暗黙的に提供する部分閉世界仮定に基づく新しいスキームを提案する。 予備実験では、提案手法がトレーニングデータに適切に適合し、基礎となる論理的基盤と整合性を維持した上で、テストデータによく適合することを示した。
  論文  参考訳（メタデータ） (2021-07-26T12:01:56Z)
• Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
  確率感性決定図は、解離ゲートの入力が確率値によってアノテートされる論理回路である。 我々は、局所確率を質量関数のクレーダル集合に置き換えることができる確率の一般化である、クレーダル感性決定図を開発する。 まず,ノイズの多い7セグメント表示画像に基づく簡単なアプリケーションについて検討する。
  論文  参考訳（メタデータ） (2020-08-19T16:04:34Z)

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

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