文献

J-GLOBAL ID：201902216228677024   整理番号：19A2418652

名前は音と煙ではない:公理選択のための単語埋め込み【JST・京大機械翻訳】

Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection

著者 (3件)： Furbach Ulrich (Institute for Computer Science, University of Koblenz-Landau, Koblenz, Germany) ,  Kraemer Teresa (Institute for Computer Science, University of Koblenz-Landau, Koblenz, Germany) ,  Schon Claudia (Institute for Web Science and Technologies, University of Koblenz-Landau, Koblenz, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11716  ページ： 250-268  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 大きな知識ベースによる一次定理証明は,手における定理を証明するために必要な知識ベースのそれらの部分を選択することを必要とする。記号名の意味論を利用するために,正弦のような構文的公理選択手順を拡張した。このために,記号名の発生だけでなく,意味論的に類似した名前も考慮した。単語埋め込みに基づく類似性測度を用いた。この類似性に基づく正弦の評価を,TPTPのCSR問題クラスと次元-SUMOからの問題を用いて与えた。この評価は,2つの非常に異なるシステム,すなわちHyper Tableu proverと飽和ベースのシステムEで行われる。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 意味論 ,  知識ベース ,  *単語 ,  定理証明 ,  測度 ,  *公理 ,  *煙 ,  *音響 ,  類似性
準シソーラス用語： 構文 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (6件)： 名前 ,  音 ,  煙 ,  公理 ,  単語 ,  埋め込み