研究課題
本研究におけるセマンティックWebの核となる技術は、求解問題の解法である。広範な求解問題を正しく高速に解くために、本研究では、多数の正当な等価変換ルールを節集合に適用して計算する。本年度は、（１）知識表現のためにどのような節集合を用いるか。（２）どのような変換ルールを用いるか。（３）どのような戦略で、どの等価変換ルールをどこに適用するか、などを研究した。その結果、関数変数を含む節集合によって状態を表現し、アンフォールド変換と確定節除去変換によって主要な計算を推進する方式が有望であることを確認した。証明で用いられるレゾリューションなども等価変換であるが、多用すると節の爆発を招く恐れがあるので、利用は制限して注意深く行う必要がある。行き詰った局面を打開するために、サイドチェンジ変換などを使うことも有用である。セマンティックWebの中心にある求解問題ソルバーを外界から利用するために、自然言語インターフェースを自動で構築する研究を行った。「自然言語による問い合わせ文」と「求解問題ソルバーへの入力とする論理式」のペアがたくさん与えられたとき、それらの関係を学習し、未知の問い合わせ文に対しても、求解問題ソルバーへの入力である論理式を的確に作り出すことができるアルゴリズムを提案し、実験でその能力を確認した。
27年度が最終年度であるため、記入しない。
すべて 2016 2015
すべて 雑誌論文 (2件) (うち国際共著 2件、 査読あり 2件、 謝辞記載あり 2件) 学会発表 (1件) (うち招待講演 1件)
Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
巻: 2 ページ: 38-49
巻: 2 ページ: 212-222
