Reduction of Parsing and Generation to Datalog Through Typed Lambda
| Project/Area Number |
19500019
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
KANAZAWA Makoto National Institute of Informatics, 情報学プリンシプル研究系, 准教授 (20261886)
|
|---|
| Project Period (FY) |
2007 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2008: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2007: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 形式言語理論 / 型つきラムダ計算 / 計算言語学 / 構文解析 / 文生成 / Datalog / 多重文脈自由文法 / Earleyのアルゴリズム / マジックセット書き換え / LOGCFL |
|---|
| Research Abstract |
与えられた文からその文法的構造である導出木を求め、さらに導出木にのっとって文の意味表現を求める問題を構文解析と言い、逆に意味表現から導出木を通して文を求める問題を文生成と言う。文、意味表現、導出木、文法規則などを型つきラムダ計算を使って表現することを通して、構文解析と文生成の両方の問題を、一種の関係データベースに対する問い合わせと見なすことができることがわかった。問い合わせは、Datalogという問い合わせ言語で表現できる。このことから、構文解析と文生成の両方の問題に対して、計算量理論上の位置づけと、統一的な手法による効率的アルゴリズムを得ることができた。
|
Report
(3 results)
Research Products
(6 results)
