Reduction of Parsing and Generation to Datalog Through Typed Lambda

通过类型化 Lambda 减少数据记录的解析和生成

• 批准号: 19500019
• 负责人: KANAZAWA Makoto
• 金额: $ 1.5万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500019/
• 关键词: 形式言語理論; 型つきラムダ計算; 計算言語学; 構文解析; 文生成; Datalog; 多重文脈自由文法; Earleyのアルゴリズム; マジックセット書き換え; LOGCFL

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

The structure of the grammar is derived from the expression of the meaning of the text. The problem of text formation is analyzed and the problem of reverse meaning is solved. Text, meaning expression, derivation, grammar rules, type, calculation, expression, communication, structure analysis, text generation, problem, relationship, problem, problem, Questions and answers, datalogs and answers, speech and expression. The problem of text analysis and text generation is related to the theoretical position of calculation quantity and the unified method of efficiency.

项目成果

A prefix-correct Earley recognizer for multiple context-free grammars

用于多个上下文无关语法的前缀正确 Earley 识别器

• 发表时间: 2008
• 期刊: In Proceedings of the Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms (University of Tubingenf)
• 作者: Hajime Ishihara;Makoto Kanazawa
• 通讯作者: Makoto Kanazawa

Parsing and generation as Datalog queries

作为数据记录查询进行解析和生成

• 发表时间: 2007
• 期刊: In Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics (Association for Computational Linguistics)
• 作者: Hajime Ishihara;Makoto Kanazawa;Makoto Kanazawa
• 通讯作者: Makoto Kanazawa