Formal analysis of the structures of coordination by CCG and Higher-order dynamic logic

CCG和高阶动态逻辑协调结构的形式化分析

• 批准号: 20700125
• 负责人: BEKKI Daisuke
• 金额: $ 2.83万
• 依托单位: Ochanomizu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2009
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700125/
• 关键词: 形式文法理論; 自然言語処理

Combinatory Categorial Grammar (CCG) is a formal theory of natural language syntax and semantics that many researchers have recently regarded as one of the most promising framework.The aim of this project is to construct a (kind of ultimate) Japanese grammar based on CCG which simultaneously satisfies the following three virtues: 1) a high-coverage for linguistic phenomena including various syntactic/semantic constructions in Japanese, 2) mathematical/logical rigidity of its formal descriptions, and 3) a uniform treatment of the different components in regard to the conjugation system, syntactic structures, and semantic compositions.

组合范畴语法(CCG)是一种自然语言句法和语义的形式化理论，近年来被许多研究者认为是最有前途的框架之一。本项目的目的是在CCG的基础上构建一种(终极)日语语法，同时满足以下三个优点：1)对包括日语中各种句法/语义结构的语言现象的高覆盖率；2)其形式描述的数学/逻辑刚性；3)在共轭系统、句法结构和语义组成方面对不同成分的统一处理。

项目成果

[招待講演]「型付きラムダ計算による自然言語の動的意味論」

【特邀演讲】《使用类型化 lambda 演算的自然语言动态语义》

• 发表时间: 2009
• 作者: 武井俊祐;牧野貴樹;高木利久;戸次大介
• 通讯作者: 戸次大介

型付きラムダ計算による自然言語の動的意味論

使用类型化 lambda 演算的自然语言的动态语义

• 发表时间: 2009
• 作者: 石井聡一;福原知宏;増田英孝;中川裕志;牧野貴樹;戸次大介
• 通讯作者: 戸次大介

Monads and Meta-Lambda Calculus

Monad 和 Meta-Lambda 演算

• 发表时间: 2009
• 期刊: New Frontiers in Artificial Intelligence 5447
• 作者: 小川;ら;中静真;戸次大介
• 通讯作者: 戸次大介

CCGによる日本語文法記述の進捗と展望～活用体系・統語構造・意味合成～

CCG日语语法描述的进展与展望 - 词形变化系统、句法结构、语义合成 -

• 发表时间: 2010
• 作者: 山崎正晃;熊野雅仁;木村昌弘;斉藤和巳;元田浩;戸次大介
• 通讯作者: 戸次大介

証明木作成プログラムを用いたCCG統語導出の実装

使用证明树创建程序实现CCG语法推导

• 发表时间: 2010
• 作者: 尾崎有梨;櫻井加奈子;浅井健一;戸次大介
• 通讯作者: 戸次大介