論文の概要: Interval Logic Tensor Networks
- arxiv url: http://arxiv.org/abs/2303.17892v1
- Date: Fri, 31 Mar 2023 08:51:44 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-03 14:52:11.118567
- Title: Interval Logic Tensor Networks
- Title(参考訳): 区間論理テンソルネットワーク
- Authors: Samy Badreddine and Gianluca Apriceno and Andrea Passerini and Luciano
Serafini
- Abstract要約: 実データ列を用いた逐次特性(トラス)やイベント特性などの知識を解釈する2種類の論理であるInterval Real Logic (IRL)を紹介する。
IRLを通して勾配を伝播させることで学習するニューロシンボリックシステムであるInterval Logic Networks (ILTN)を提案する。
ILTNはIRLで表現された知識を、そのファジィ持続時間を予測するためにイベントの推論を必要とする合成タスクでうまく活用できることを示す。
- 参考スコア(独自算出の注目度): 18.657803935515165
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this paper, we introduce Interval Real Logic (IRL), a two-sorted logic
that interprets knowledge such as sequential properties (traces) and event
properties using sequences of real-featured data. We interpret connectives
using fuzzy logic, event durations using trapezoidal fuzzy intervals, and fuzzy
temporal relations using relationships between the intervals' areas. We propose
Interval Logic Tensor Networks (ILTN), a neuro-symbolic system that learns by
propagating gradients through IRL. In order to support effective learning, ILTN
defines smoothened versions of the fuzzy intervals and temporal relations of
IRL using softplus activations. We show that ILTN can successfully leverage
knowledge expressed in IRL in synthetic tasks that require reasoning about
events to predict their fuzzy durations. Our results show that the system is
capable of making events compliant with background temporal knowledge.
- Abstract(参考訳): 本稿では、実データ列を用いて、逐次特性(トレース)やイベント特性などの知識を解釈する2種類の論理であるInterval Real Logic(IRL)を紹介する。
本研究では, ファジィ論理, 台形ファジィ区間を用いた事象継続時間, および区間間の関係を用いたファジィ時間関係を解釈する。
IRLを介して勾配を伝播させることで学習するニューロシンボリックシステムであるInterval Logic Tensor Networks (ILTN)を提案する。
効果的な学習を支援するため、ILTNはソフトプラスアクティベーションを用いてファジィ間隔とIRLの時間的関係を円滑に定義した。
ILTNはIRLで表現された知識を、そのファジィ持続時間を予測するためにイベントの推論を必要とする合成タスクでうまく活用できることを示す。
本システムでは,事象を背景の時間的知識に適合させることができる。
関連論文リスト
- Learning Delays Through Gradients and Structure: Emergence of Spatiotemporal Patterns in Spiking Neural Networks [0.06752396542927405]
学習可能なシナプス遅延を2つのアプローチで組み込んだスパイキングニューラルネットワーク(SNN)モデルを提案する。
後者のアプローチでは、ネットワークは接続を選択してプーンし、スパース接続設定の遅延を最適化する。
本研究では,時間的データ処理のための効率的なSNNモデルを構築するために,遅延学習と動的プルーニングを組み合わせる可能性を示す。
論文 参考訳(メタデータ) (2024-07-07T11:55:48Z) - Temporal Spiking Neural Networks with Synaptic Delay for Graph Reasoning [91.29876772547348]
スパイキングニューラルネットワーク(SNN)は、生物学的にインスパイアされたニューラルネットワークモデルとして研究されている。
本稿では,SNNがシナプス遅延と時間符号化とを併用すると,グラフ推論の実行(知識)に長けていることを明らかにする。
論文 参考訳(メタデータ) (2024-05-27T05:53:30Z) - TLINet: Differentiable Neural Network Temporal Logic Inference [10.36033062385604]
本稿では,STL式を学習するニューラルネットワークシンボリックフレームワークであるTLINetを紹介する。
従来の手法とは対照的に,時間論理に基づく勾配法に特化して設計された最大演算子の近似法を導入する。
我々のフレームワークは、構造だけでなく、STL公式のパラメータも学習し、演算子と様々な論理構造の柔軟な組み合わせを可能にします。
論文 参考訳(メタデータ) (2024-05-03T16:38:14Z) - TC-LIF: A Two-Compartment Spiking Neuron Model for Long-Term Sequential
Modelling [54.97005925277638]
潜在的な可能性や危険に関連する感覚的手がかりの同定は、長期間の遅延によって有用な手がかりを分離する無関係な事象によってしばしば複雑になる。
SNN(State-of-the-art spiking Neural Network)は、遠方のキュー間の長期的な時間的依存関係を確立する上で、依然として困難な課題である。
そこで本研究では,T-LIFとよばれる,生物学的にインスパイアされたTwo-compartment Leaky Integrate- and-Fireのスパイキングニューロンモデルを提案する。
論文 参考訳(メタデータ) (2023-08-25T08:54:41Z) - Intensity Profile Projection: A Framework for Continuous-Time
Representation Learning for Dynamic Networks [50.2033914945157]
本稿では、連続時間動的ネットワークデータのための表現学習フレームワークIntensity Profile Projectionを提案する。
このフレームワークは3つの段階から構成される: 対の強度関数を推定し、強度再構成誤差の概念を最小化する射影を学習する。
さらに、推定軌跡の誤差を厳密に制御する推定理論を開発し、その表現がノイズに敏感な追従解析に利用できることを示す。
論文 参考訳(メタデータ) (2023-06-09T15:38:25Z) - Temporal Aggregation and Propagation Graph Neural Networks for Dynamic
Representation [67.26422477327179]
時間グラフは連続時間を通してノード間の動的相互作用を示す。
本研究では,周辺地域全体と時間的グラフ畳み込みの新たな手法を提案する。
提案するTAP-GNNは,予測性能とオンライン推論遅延の両面で,既存の時間グラフ手法よりも優れた性能を示す。
論文 参考訳(メタデータ) (2023-04-15T08:17:18Z) - ETLP: Event-based Three-factor Local Plasticity for online learning with
neuromorphic hardware [105.54048699217668]
イベントベース3要素局所塑性(ETLP)の計算複雑性に明らかな優位性を有する精度の競争性能を示す。
また, 局所的可塑性を用いた場合, スパイキングニューロンの閾値適応, 繰り返しトポロジーは, 時間的構造が豊富な時間的パターンを学習するために必要であることを示した。
論文 参考訳(メタデータ) (2023-01-19T19:45:42Z) - Learning Signal Temporal Logic through Neural Network for Interpretable
Classification [13.829082181692872]
本稿では時系列行動の分類のための説明可能なニューラルネットワーク・シンボリック・フレームワークを提案する。
提案手法の計算効率, コンパクト性, 解釈可能性について, シナリオの駆動と海軍の監視事例研究を通じて実証する。
論文 参考訳(メタデータ) (2022-10-04T21:11:54Z) - Representing Prior Knowledge Using Randomly, Weighted Feature Networks
for Visual Relationship Detection [2.28438857884398]
RWFN (Randomly Weighted Feature Network) - 香港とパヴリックが導入。
本稿では,RWFNを用いて視覚的関係検出(VRD)タスクを行う。
論文 参考訳(メタデータ) (2021-11-20T21:56:45Z) - STRODE: Stochastic Boundary Ordinary Differential Equation [30.237665903943963]
時系列モデリングのほとんどのアルゴリズムは、視覚や音声の入力から直接ランダムなイベントタイミングのダイナミクスを学習できない。
本稿では、学習中にタイミングアノテーションを必要とせず、時系列データのタイミングとダイナミクスの両方を学習する確率的常微分方程式(ODE)を提案する。
その結果,本手法は時系列データのイベントタイミング推定に有効であることがわかった。
論文 参考訳(メタデータ) (2021-07-17T16:25:46Z) - Reinforcement Learning with External Knowledge by using Logical Neural
Networks [67.46162586940905]
論理ニューラルネットワーク(LNN)と呼ばれる最近のニューラルシンボリックフレームワークは、ニューラルネットワークとシンボリックロジックの両方のキープロパティを同時に提供することができる。
外部知識ソースからのモデルフリー強化学習を可能にする統合手法を提案する。
論文 参考訳(メタデータ) (2021-03-03T12:34:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。