| 研究課題/領域番号 |
18H03288
|
|---|
| 研究機関 | 和歌山大学 |
|---|
研究代表者 |
坂間 千秋 和歌山大学, システム工学部, 教授 (20273873)
|
|---|
| 研究分担者 |
井上 克巳 国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
林 克彦 東京大学, 大学院情報理工学系研究科, 助教 (50725794)
|
|---|
| 研究期間 (年度) |
2018-04-01 – 2022-03-31
|
| キーワード | テンソル空間 / 論理推論 / アブダクション / 量子化 / 知識グラフ |
|---|
| 研究実績の概要 |
本研究の目的は、人工知能における高次推論を知識グラフのような巨大知識ベースにおいて実現するための新しい計算手法を導入することである。研究2年目である2019年度は、(1)解集合プログラミングのテンソル空間における近似的・効率的計算の研究、(2)テンソル空間に於けるコスト最小化による論理推論の研究、(3)バイナリベクトル空間における知識グラフ高速検索手法の研究、の３つのサブテーマを設定し研究活動を行った。具体的な成果は下記の通りである。
(1) スパース行列の効率的な計算手法を利用して、論理プログラムの最小モデルを高速に計算する方法を開発した。スパース手法では時間・メモリを消費していた問題に対し高速化の効果を確認し、論理プログラムのモデル計算として用いられるASPソルバーであるclingoを凌ぐ性能を発揮した。本研究の成果をまとめた論文は現在、国際会議に投稿中である。
(2) 論理プログラムに関わるスケーラブル且つ厳密なアブダクションをテンソル空間に於けるコスト最小化問題として定式化し、SAT問題と知識グラフに適用して実験的に効果を確認した。また解集合確率モデリングも同様に定式化し、研究結果を国際会議(ICAART 2020)および国際ワークショップ(DeLBP'19、NeSy'19)で発表した。
(3) 知識グラフのテンソル分解モデルをバイナリ化する研究を行い、学習時にHinton法を利用する事で実数ベクトルを強制的にバイナリ化する手法を提案し国際会議(ECIR'19)で発表した。また、テンソル分解モデルをバイナリ化しても知識グラフをモデル化するのに十分な表現力がある事を理論的に証明し、ArXiv論文を公開すると共に国際ジャーナルに投稿中である。また、言語処理学会第26回年次大会において学習時にもバイナリベクトルのまま最適化を行う新しい手法を提案した。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
2019年度の交付申請書に記載した研究実施計画の３つのテーマについて研究が遂行され、投稿中の論文を含めて複数の研究成果が得られていることから、概ね計画通りに順調に研究が進捗していると考えられる。
|
| 今後の研究の推進方策 |
2020年度の交付申請書に記載した研究実施計画に沿って、和歌山大学、国立情報学研究所(NII)、東京大学の各拠点で連携して研究を実施し、その成果を国際会議や論文誌などに投稿する予定である。
|
