文献

J-GLOBAL ID：202002235735416402   整理番号：20A1196052

Lyrics:論理推論と深層学習を統合するための一般的インタフェイス層【JST・京大機械翻訳】

LYRICS: A General Interface Layer to Integrate Logic Inference and Deep Learning

著者 (5件)： Marra Giuseppe (Department of Information Engineering, University of Florence, Florence, Italy) ,  Marra Giuseppe (Department of Information Engineering and Mathematical Sciences, University of Siena, Siena, Italy) ,  Giannini Francesco (Department of Information Engineering and Mathematical Sciences, University of Siena, Siena, Italy) ,  Diligenti Michelangelo (Department of Information Engineering and Mathematical Sciences, University of Siena, Siena, Italy) ,  Gori Marco (Department of Information Engineering and Mathematical Sciences, University of Siena, Siena, Italy)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11907  ページ： 283-298  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 多くの応用における深い学習によって得られた驚くべき結果にもかかわらず,複雑な環境において作用するエージェントの実際の知的行動は,ある種のより高いレベルの記号推論を必要とする可能性がある。したがって,低水準タスク間の一般的でタイトな統合の定義,深い学習技術を用いて効果的に作成できる処理感覚データ,および複雑な環境における決定を可能にする論理推論に対する明確な必要性がある。本論文では,TersorFlow(TF)に実装されているAIのための一般的なインタフェース層であるライクルについて述べた。リricは,任意の一次論理(FOL)背景知識を定義することを可能にする入力言語を提供する。FOL知識の述語と関数を任意のTF計算グラフに結合することができて,この式を全体的最適化問題に関与する実数値制約の集合に変換した。これにより,事前知識により課された制約下で,学習者の重みを学習することができる。このフレームワークは,モデルや知識が統合できるという点で制約を課さないので,極めて一般的である。本論文では,モデル検査,教師つき学習および集団分類を含む,提示言語のいくつかの使用事例を示すアプローチの一般性を示した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *学習 ,  言語 ,  最適化問題 ,  教師つき学習 ,  実数 ,  インタフェイス ,  普遍性 ,  エージェント ,  モデル検査
準シソーラス用語： 述語 ,  事前知識 ,  学習者 ,  背景知識 ,  *深層学習 , 【Automatic Indexing@JST】

著者キーワード (3件)： 深層学習 ,  事前知識注入 ,  一次論理

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 論理 ,  推論 ,  深層学習 ,  統合 ,  インタフェイス