| 研究課題/領域番号 |
21500025
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
金沢 誠 国立情報学研究所, 情報学プリンシプル研究系, 准教授 (20261886)
|
|---|
| 研究期間 (年度) |
2009 – 2011
|
| 研究課題ステータス |
完了 (2011年度)
|
| 配分額 *注記 |
2,470千円 (直接経費: 1,900千円、間接経費: 570千円)
2011年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2010年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2009年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | 構文解析 / 文生成 / Datalog / 型つきラムダ計算 / ほとんど線形なラムダ項 / ACG / 文脈自由ラムダ項文法 / ラムダ項 |
|---|
| 研究概要 |
本研究代表者は、構文解析と文生成の問題を統一的に扱うため、「ほとんど線形な」ラムダ項の集合を生成する「文脈自由な」文法フォーマリズムに対して、与えられたラムダ項が与えられた文法によって生成されるかどうかを判定する問題をデータベース問い合わせ言語Datalogの問い合わせに帰着する手法をすでに開発していたが、本研究では、これを、与えられたラムダ項の集合と与えられた文法の生成するラムダ項の集合が空でない交わりを持つかどうかという問題に拡張することを試みた。ラムダ項の集合がある意味で「決定的な」データベースで表される場合に、Datalogへの帰着が成り立つことを示すことができた。これにより、入力として意味表現の集合を用いるgeneration as intersectionの問題をDatalogに帰着させることができた。
|
