Parsing and Generation Based on Typed Lambda Calculus and Datalog

基于类型化 Lambda 演算和 Datalog 的解析和生成

• 批准号: 21500025
• 负责人: KANAZAWA Makoto
• 金额: $ 1.58万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21500025/
• 关键词: 構文解析; 文生成; Datalog; 型つきラムダ計算; ほとんど線形なラムダ項; ACG; 文脈自由ラムダ項文法; ラムダ項

As a uniform approach to parsing and generation, the principal investigator had previously developed a method of reducing the recognition problem for grammars generating lambda-terms to query evaluation in Datalog. This applies to "context-free" grammars on lambda-terms restricted to "almost linear" lambda-terms. This method has been extended to the case where the input is not just a single lambda-term, but a set of lambda-terms represented by a "deterministic" database. This allows the reduction of the problem of "generation as intersection" to Datalog.

作为一种统一的解析和生成方法，首席研究员已经开发了一种减少语法识别问题的方法，该方法生成lambda术语以查询Datalog中的评估。这适用于限制为“几乎线性”的lambda术语的“上下文无关”语法。该方法已经扩展到输入不仅仅是单个lambda项，而是由“确定性”数据库表示的一组lambda项的情况。这可以减少Datalog的“作为交集的生成”问题。

项目成果

Datalog as a Uniform Framework for Parsing and Generation, Workshop : Parsing with Categorial Grammars

Datalog 作为解析和生成的统一框架，研讨会：使用类别语法进行解析

• 发表时间: 2009
• 作者: Hasunuma T.;Otani M;Makoto Kanazawa
• 通讯作者: Makoto Kanazawa

Almost Affine Lambda Terms

几乎仿射 Lambda 项

• 发表时间: 2012
• 期刊: NII Technical Reports
• 作者: Makoto Kanazawa

Generation as Intersection and Datalog

作为交集和数据记录生成

• 发表时间: 2011
• 作者: H. Umeo;T. Yamawaki;and K. Nishide;金沢誠
• 通讯作者: 金沢誠