2015 Fiscal Year Annual Research Report
Project/Area Number |
25280078
|
Research Institution | Hokkaido University |
Principal Investigator |
赤間 清 北海道大学, -, 名誉教授 (50126265)
|
Co-Investigator(Kenkyū-buntansha) |
三浦 克宜 北見工業大学, 工学部, 講師 (50636587)
|
Project Period (FY) |
2013-04-01 – 2016-03-31
|
Keywords | 求解問題 / 等価変換ルール / ルール適用制御 / 関数変数 / アンフォールド変換 / 確定節除去変換 / 自然言語インターフェイス / 意味理解 |
Outline of Annual Research Achievements |
本研究におけるセマンティックWebの核となる技術は、求解問題の解法である。広範な求解問題を正しく高速に解くために、本研究では、多数の正当な等価変換ルールを節集合に適用して計算する。本年度は、(1)知識表現のためにどのような節集合を用いるか。(2)どのような変換ルールを用いるか。(3)どのような戦略で、どの等価変換ルールをどこに適用するか、などを研究した。その結果、関数変数を含む節集合によって状態を表現し、アンフォールド変換と確定節除去変換によって主要な計算を推進する方式が有望であることを確認した。証明で用いられるレゾリューションなども等価変換であるが、多用すると節の爆発を招く恐れがあるので、利用は制限して注意深く行う必要がある。行き詰った局面を打開するために、サイドチェンジ変換などを使うことも有用である。 セマンティックWebの中心にある求解問題ソルバーを外界から利用するために、自然言語インターフェースを自動で構築する研究を行った。「自然言語による問い合わせ文」と「求解問題ソルバーへの入力とする論理式」のペアがたくさん与えられたとき、それらの関係を学習し、未知の問い合わせ文に対しても、求解問題ソルバーへの入力である論理式を的確に作り出すことができるアルゴリズムを提案し、実験でその能力を確認した。
|
Research Progress Status |
27年度が最終年度であるため、記入しない。
|
Strategy for Future Research Activity |
27年度が最終年度であるため、記入しない。
|
Causes of Carryover |
27年度が最終年度であるため、記入しない。
|
Expenditure Plan for Carryover Budget |
27年度が最終年度であるため、記入しない。
|
-
-
-
[Presentation] 推論から等価変換へ2016
Author(s)
赤間 清
Organizer
電子情報通信学会(システム数理と応用研究会)
Place of Presentation
海峡メッセ下関(山口県・下関市)
Year and Date
2016-03-03 – 2016-03-04
Invited