論文の概要: dPASP: A Comprehensive Differentiable Probabilistic Answer Set
Programming Environment For Neurosymbolic Learning and Reasoning
- arxiv url: http://arxiv.org/abs/2308.02944v1
- Date: Sat, 5 Aug 2023 19:36:58 GMT
- ステータス: 処理完了
- システム内更新日: 2023-08-08 17:51:32.052227
- Title: dPASP: A Comprehensive Differentiable Probabilistic Answer Set
Programming Environment For Neurosymbolic Learning and Reasoning
- Title(参考訳): dPASP:ニューロシンボリックラーニングと推論のための総合的微分確率的アンサーセットプログラミング環境
- Authors: Renato Lui Geh, Jonas Gon\c{c}alves, Igor Cataneo Silveira, Denis
Deratani Mau\'a, Fabio Gagliardi Cozman
- Abstract要約: 本稿では,ニューロシンボリック推論のための新しい宣言型論理プログラミングフレームワークdPASPを提案する。
非決定論的・矛盾的・不完全・統計的知識を表現できる確率論的論理プログラムのセマンティクスについて論じる。
次に、いくつかのサンプルプログラムとともに、言語での推論と学習をサポートする実装されたパッケージについて説明する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present dPASP, a novel declarative probabilistic logic programming
framework for differentiable neuro-symbolic reasoning. The framework allows for
the specification of discrete probabilistic models with neural predicates,
logic constraints and interval-valued probabilistic choices, thus supporting
models that combine low-level perception (images, texts, etc), common-sense
reasoning, and (vague) statistical knowledge. To support all such features, we
discuss the several semantics for probabilistic logic programs that can express
nondeterministic, contradictory, incomplete and/or statistical knowledge. We
also discuss how gradient-based learning can be performed with neural
predicates and probabilistic choices under selected semantics. We then describe
an implemented package that supports inference and learning in the language,
along with several example programs. The package requires minimal user
knowledge of deep learning system's inner workings, while allowing end-to-end
training of rather sophisticated models and loss functions.
- Abstract(参考訳): 本稿では,ニューロシンボリック推論のための新しい宣言的確率論的論理プログラミングフレームワークdPASPを提案する。
このフレームワークは、神経述語、論理的制約、間隔値の確率的選択を含む離散確率的モデルの仕様化を可能にし、低レベルの知覚(イメージ、テキストなど)、常識的推論、および(ヴォーグ)統計的知識を組み合わせたモデルをサポートする。
これら全ての機能をサポートするために,非決定論的,矛盾的,不完全,統計的知識を表現できる確率的論理プログラムのためのいくつかの意味論について論じる。
また,神経述語を用いた勾配ベースの学習と,選択された意味論に基づく確率的選択について論じる。
次に、言語での推論と学習をサポートする実装パッケージと、いくつかのサンプルプログラムについて説明する。
このパッケージでは、深層学習システムの内部動作に関する最小限のユーザー知識を必要とすると同時に、かなり洗練されたモデルと損失関数のエンドツーエンドのトレーニングを可能にする。
関連論文リスト
- Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation [0.0]
本稿では,欠陥や確率的背景知識を扱うPropperを提案する。
ノイズの多いイメージのリレーショナルパターンでは、Propperは8つの例からプログラムを学ぶことができる。
グラフニューラルネットワークのようなバイナリILPや統計モデルよりも優れています。
論文 参考訳(メタデータ) (2024-08-21T06:38:49Z) - Scalable Neural-Probabilistic Answer Set Programming [18.136093815001423]
本稿では、NPP(Neural-Probabilistic Predicates)と解集合プログラミング(ASP)を介して統合された論理プログラムからなる新しいDPPLであるSLASHを紹介する。
予測性能を犠牲にすることなく、推論を高速化し、(地上)プログラムの無意味な部分を抜粋する方法を示す。
我々は、MNIST追加のベンチマークタスクやVQA(Visual Question Answering)など、様々なタスクでSLASHを評価する。
論文 参考訳(メタデータ) (2023-06-14T09:45:29Z) - Neural Probabilistic Logic Programming in Discrete-Continuous Domains [9.94537457589893]
ニューラルシンボリックAI(NeSy)は、ニューラルネットワークが論理の形でシンボリックバックグラウンド知識を利用することを可能にする。
確率論的NeSyは、論理理論と確率理論の両方でニューラルネットワークを統合することに焦点を当てている。
DeepSeaProbLogは、DPPテクニックをNeSyに組み込んだ、ニューラルネットワーク確率論理プログラミング言語である。
論文 参考訳(メタデータ) (2023-03-08T15:27:29Z) - $\omega$PAP Spaces: Reasoning Denotationally About Higher-Order,
Recursive Probabilistic and Differentiable Programs [64.25762042361839]
$omega$PAP 空間は表現的微分可能および確率的プログラミング言語についての推論のための空間である。
我々の意味論は、最も実践的な確率的で微分可能なプログラムに意味を割り当てるのに十分である。
確率プログラムのトレース密度関数のほぼすべての微分可能性を確立する。
論文 参考訳(メタデータ) (2023-02-21T12:50:05Z) - Semantic Probabilistic Layers for Neuro-Symbolic Learning [83.25785999205932]
我々は構造化出力予測(SOP)のための予測層を設計する。
予測が事前に定義されたシンボリック制約のセットと一致していることを保証するため、任意のニューラルネットワークにプラグインすることができる。
我々のセマンティック確率層(SPL)は、構造化された出力空間上で複雑な相関や制約をモデル化することができる。
論文 参考訳(メタデータ) (2022-06-01T12:02:38Z) - VAEL: Bridging Variational Autoencoders and Probabilistic Logic
Programming [3.759936323189418]
本稿では、可変オートエンコーダ(VAE)と確率論的論理(L)プログラミングの推論能力を統合するニューラルシンボリック生成モデルVAELを提案する。
論文 参考訳(メタデータ) (2022-02-07T10:16:53Z) - Structural Learning of Probabilistic Sentential Decision Diagrams under
Partial Closed-World Assumption [127.439030701253]
確率感性決定図は構造化分解可能な回路のクラスである。
本稿では,回路の論理的基盤を暗黙的に提供する部分閉世界仮定に基づく新しいスキームを提案する。
予備実験では、提案手法がトレーニングデータに適切に適合し、基礎となる論理的基盤と整合性を維持した上で、テストデータによく適合することを示した。
論文 参考訳(メタデータ) (2021-07-26T12:01:56Z) - DeepStochLog: Neural Stochastic Logic Programming [15.938755941588159]
ニューラルネットワークプログラミングにおける推論と学習は、ニューラルネットワークの確率論的論理プログラムよりもはるかに優れていることを示す。
DeepStochLogは、ニューラルネットワークのシンボリック学習タスクにおける最先端の結果を達成する。
論文 参考訳(メタデータ) (2021-06-23T17:59:04Z) - Online Learning Probabilistic Event Calculus Theories in Answer Set
Programming [70.06301658267125]
イベント認識(CER)システムは、事前に定義されたイベントパターンを使用して、ストリーミングタイムスタンプデータセットで発生を検出する。
本稿では,複雑なイベントパターンによる確率論的推論を,イベント計算で重み付けされたルールの形で行うことができるAnswer Set Programming(ASP)に基づくシステムを提案する。
その結果, 効率と予測の両面で, 新たなアプローチの優位性が示された。
論文 参考訳(メタデータ) (2021-03-31T23:16:29Z) - Estimating Structural Target Functions using Machine Learning and
Influence Functions [103.47897241856603]
統計モデルから特定可能な関数として生じる対象関数の統計的機械学習のための新しい枠組みを提案する。
このフレームワークは問題とモデルに依存しないものであり、応用統計学における幅広い対象パラメータを推定するのに使用できる。
我々は、部分的に観測されていない情報を持つランダム/二重ロバストな問題において、いわゆる粗大化に特に焦点をあてた。
論文 参考訳(メタデータ) (2020-08-14T16:48:29Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。