型つきラムダ計算に基づく構文解析・生成のDatalogへの帰着

Reduction of Parsing and Generation to Datalog Through Typed Lambda

研究課題番号：19500019

2008年度 研究成果報告書 PDF

代表者

    • 金沢 誠
    • KANAZAWA, Makoto
    • 研究者番号：20261886
    • 国立情報学研究所・情報学プリンシプル研究系・准教授

研究課題基本情報

  • 研究期間

    2007年度〜2008年度

  • 研究分野

    情報学基礎

  • 審査区分

    一般

  • 研究種目

    基盤研究(C)

  • 研究機関

    国立情報学研究所

  • 配分額

    • 2007年度：1430千円 (直接経費：1100千円, 間接経費：330千円)
    • 2008年度：910千円 (直接経費：700千円, 間接経費：210千円)

研究概要

与えられた文からその文法的構造である導出木を求め、さらに導出木にのっとって文の意味表現を求める問題を構文解析と言い、逆に意味表現から導出木を通して文を求める問題を文生成と言う。文、意味表現、導出木、文法規則などを型つきラムダ計算を使って表現することを通して、構文解析と文生成の両方の問題を、一種の関係データベースに対する問い合わせと見なすことができることがわかった。問い合わせは、Datalogという問い合わせ言語で表現できる。このことから、構文解析と文生成の両方の問題に対して、計算量理論上の位置づけと、統一的な手法による効率的アルゴリズムを得ることができた。

発表文献

雑誌論文

  • Makoto Kanazawa: "A prefix-correct Earley recognizer for multiple context-free grammars" In Proceedings of the Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms (University of Tubingenf). 49-56 (2008), 1

  • Makoto Kanazawa: "Parsing and generation as Datalog queries" In Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics (Association for Computational Linguistics). 176-183 (2007), 1

学会発表

  • Makoto Kanazawa: "A prefix-correct Earley recognizer for multiple context-free grammars" TAG+9, the Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms. (20080607). Tubingen, Germany

  • Makoto Kanazawa: "Parsing and generation as Datalog queries" The 45th Annual Meeting of the Association for Computational Linguistics. (20070625). Prague, Czech Republic

このページのURI

http://kaken.nii.ac.jp/ja/p/19500019/2008/8/ja