| 研究課題/領域番号 |
25280078
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 一部基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
知能情報学
|
|---|
| 研究機関 | 北海道大学 |
|---|
研究代表者 |
赤間 清 北海道大学, -, 名誉教授 (50126265)
|
|---|
| 研究分担者 |
荒木 健治 北海道大学, 情報科学研究科, 教授 (50202742)
三浦 克宣 北見工業大学, 工学部, 講師 (50636587)
|
|---|
| 研究協力者 |
Sirindhorn Ekawit Nantajeewarawat International Institute of Technology, Computer Science Program, Associate Professor
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| キーワード | 等価変換 / 求解問題 / 意味理解 / モデルインターセクション問題 / 関数変数 / ルール適用制御 / 自然言語インターフェイス / アンフォールド変換 |
|---|
| 研究成果の概要 |
セマンティックＷｅｂにおける知識表現と計算を行うために、すべての求解問題に適用できる理論を構築した。一階述語論理式で書かれた求解問題は、意味保存スコーレム化によって拡張された節集合に変換され、等価変換ルールによって変換されて解決される。これは論理的問題の計算理論を大きく変革し、前進させるものであり、学問的に大きな意義がある。また、セマンティックＷｅｂ構築の論理的な基盤を与える。
セマンティックWebの中心にある求解問題ソルバーを外界から利用するために、自然言語インターフェイスを自動で構築する研究を行い、実験でその能力を確認した。
|
| 自由記述の分野 |
人工知能
|
