• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Parsing and Generation Based on Typed Lambda Calculus and Datalog

Research Project

Project/Area Number 21500025
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Fundamental theory of informatics
Research InstitutionNational Institute of Informatics

Principal Investigator

KANAZAWA Makoto  国立情報学研究所, 情報学プリンシプル研究系, 准教授 (20261886)

Project Period (FY) 2009 – 2011
Project Status Completed (Fiscal Year 2011)
Budget Amount *help
¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2011: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2010: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Keywords構文解析 / 文生成 / Datalog / 型つきラムダ計算 / ほとんど線形なラムダ項 / ACG / 文脈自由ラムダ項文法 / ラムダ項
Research Abstract

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.

Report

(4 results)
  • 2011 Annual Research Report   Final Research Report ( PDF )
  • 2010 Annual Research Report
  • 2009 Annual Research Report

Research Products

(7 results)

All 2012 2011 2009 Other

All Journal Article (2 results) Presentation (4 results) Remarks (1 results)

  • [Journal Article] Almost Affine Lambda Terms2012

    • Author(s)
      Makoto Kanazawa
    • Journal Title

      NII Technical Reports

      Volume: NII-2012-03E

    • URL

      http://www.nii.ac.jp/TechReports/12-003E.html

    • Related Report
      2011 Final Research Report
  • [Journal Article] Almost Affine Lambda Terms2012

    • Author(s)
      金沢誠
    • Journal Title

      NII Technical Reports

      Volume: NII-2012-003E Pages: 1-20

    • Related Report
      2011 Annual Research Report
  • [Presentation] Generation as Intersection and Datalog2011

    • Author(s)
      金沢誠
    • Organizer
      ACG@10 : Ten Years of Abstract Categorial Grammars
    • Place of Presentation
      LaBRI, Bordeaux, France
    • Year and Date
      2011-12-07
    • Related Report
      2011 Annual Research Report
  • [Presentation] Generation as Intersection and Datalog2011

    • Author(s)
      Makoto Kanazawa
    • Organizer
      ACG@ 10 : Ten Years of Abstract Categorial Grammars
    • Place of Presentation
      Bordeaux, France
    • Year and Date
      2011-09-07
    • Related Report
      2011 Final Research Report
  • [Presentation] Datalog as a Uniform Framework for Parsing and Generation, Workshop : Parsing with Categorial Grammars2009

    • Author(s)
      Makoto Kanazawa
    • Organizer
      21st European Summer School in Logic, Language and Information
    • Place of Presentation
      Bordeaux, France
    • Year and Date
      2009-07-24
    • Related Report
      2011 Final Research Report
  • [Presentation] Datalog as a Uniform Framework for Parsing and Generation2009

    • Author(s)
      金沢誠
    • Organizer
      Workshop : Parsing with Categorial Grammars, ESSLLI 2009
    • Place of Presentation
      Bordeaux, France
    • Year and Date
      2009-07-24
    • Related Report
      2009 Annual Research Report
  • [Remarks] ホームページ等これまでの研究成果について詳細に記述した論文が次のURLよりダウンロード可能。

    • Related Report
      2011 Final Research Report

URL: 

Published: 2009-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi