論文の概要: Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks
- arxiv url: http://arxiv.org/abs/2112.03324v1
- Date: Mon, 6 Dec 2021 19:38:30 GMT
- ステータス: 処理完了
- システム内更新日: 2021-12-08 14:32:06.836566
- Title: Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks
- Title(参考訳): 論理ニューラルネットワークを用いたニューロシンボリックインダクティブ論理プログラミング
- Authors: Prithviraj Sen, Breno W. S. R. de Carvalho, Ryan Riegel, Alexander
Gray
- Abstract要約: 我々は最近提案された論理ニューラルネットワーク(LNN)を用いた学習規則を提案する。
他のものと比較して、LNNは古典的なブール論理と強く結びついている。
標準ベンチマークタスクの実験では、LNNルールが極めて解釈可能であることを確認した。
- 参考スコア(独自算出の注目度): 65.23508422635862
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Recent work on neuro-symbolic inductive logic programming has led to
promising approaches that can learn explanatory rules from noisy, real-world
data. While some proposals approximate logical operators with differentiable
operators from fuzzy or real-valued logic that are parameter-free thus
diminishing their capacity to fit the data, other approaches are only loosely
based on logic making it difficult to interpret the learned "rules". In this
paper, we propose learning rules with the recently proposed logical neural
networks (LNN). Compared to others, LNNs offer strong connection to classical
Boolean logic thus allowing for precise interpretation of learned rules while
harboring parameters that can be trained with gradient-based optimization to
effectively fit the data. We extend LNNs to induce rules in first-order logic.
Our experiments on standard benchmarking tasks confirm that LNN rules are
highly interpretable and can achieve comparable or higher accuracy due to their
flexible parameterization.
- Abstract(参考訳): 最近のニューロシンボリック帰納的論理プログラミングの研究は、ノイズの多い現実世界のデータから説明規則を学ぶ有望なアプローチにつながった。
いくつかの提案では、パラメータフリーなファジィあるいは実数値論理から微分可能な演算子を持つ論理演算子を近似するが、他のアプローチは、学習された「ルール」を解釈するのが困難になるロジックのみに基づいている。
本稿では,最近提案された論理ニューラルネットワーク(LNN)を用いた学習規則を提案する。
他のものと比較すると、LNNは古典的なブール論理と強く結びついているので、学習規則の正確な解釈を可能とし、データを効果的に適合させるために勾配ベースの最適化で訓練できるパラメータを保持できる。
我々はLNNを拡張して一階述語論理の規則を導出する。
標準ベンチマークタスクの実験により,LNN規則は高い解釈が可能であり,フレキシブルパラメータ化により同等あるいは高い精度が得られることを確認した。
関連論文リスト
- Learning Interpretable Differentiable Logic Networks [3.8064485653035987]
解釈可能な微分可能論理ネットワーク(DLN)を学習するための新しい手法を提案する。
我々はこれらのネットワークを、入力の双対化、二項論理演算、ニューロン間の接続を通じて、個々の成分の軟化と差別化によって訓練する。
20の分類タスクの実験結果は、従来のNNと同等かそれ以上の精度で、微分可能な論理ネットワークが達成可能であることを示している。
論文 参考訳(メタデータ) (2024-07-04T21:58:26Z) - Reinforcement Learning with External Knowledge by using Logical Neural
Networks [67.46162586940905]
論理ニューラルネットワーク(LNN)と呼ばれる最近のニューラルシンボリックフレームワークは、ニューラルネットワークとシンボリックロジックの両方のキープロパティを同時に提供することができる。
外部知識ソースからのモデルフリー強化学習を可能にする統合手法を提案する。
論文 参考訳(メタデータ) (2021-03-03T12:34:59Z) - RNNLogic: Learning Logic Rules for Reasoning on Knowledge Graphs [91.71504177786792]
本稿では知識グラフに基づく推論のための論理規則の学習について研究する。
論理規則は、予測に使用されるときに解釈可能な説明を提供するとともに、他のタスクに一般化することができる。
既存の手法は、検索スペースの検索の問題や、スパース報酬による非効率な最適化に悩まされている。
論文 参考訳(メタデータ) (2020-10-08T14:47:02Z) - Neural Logic Reasoning [47.622957656745356]
本稿では,ディープラーニングと論理推論の能力を統合するために,論理統合ニューラルネットワーク(LINN)を提案する。
LINNは、神経モジュールとしてAND、OR、NOTなどの基本的な論理操作を学び、推論のためにネットワークを通して命題論理推論を行う。
実験の結果、LINNはTop-Kレコメンデーションにおいて最先端のレコメンデーションモデルを大幅に上回っていることがわかった。
論文 参考訳(メタデータ) (2020-08-20T14:53:23Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z) - Evaluating Logical Generalization in Graph Neural Networks [59.70452462833374]
グラフニューラルネットワーク(GNN)を用いた論理一般化の課題について検討する。
ベンチマークスイートであるGraphLogでは、学習アルゴリズムが異なる合成論理でルール誘導を実行する必要がある。
モデルが一般化し適応する能力は、トレーニング中に遭遇する論理規則の多様性によって強く決定される。
論文 参考訳(メタデータ) (2020-03-14T05:45:55Z) - Analyzing Differentiable Fuzzy Logic Operators [3.4806267677524896]
ファジィ論理文からの論理演算子の大規模な集合が、微分可能な学習環境でどのように振る舞うかを考察する。
半教師付き学習において微分可能なファジィ論理を用いることが可能であることを示し、実際に異なる演算子がどのように振る舞うかを比較する。
論文 参考訳(メタデータ) (2020-02-14T16:11:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。