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的（最终的）基于CCG的（一种最终的）基于CCG的语法，这些语法基于CCG，同时满足了以下三种优点：1）两种语言构造：1）包括日语数学的典型构造，包括日语数学典范，包括/构造，包括日语数学的典范，包括日语的构造。其形式描述的刚度和3）关于共轭系统，句法结构和语义组成的不同组成部分的均匀处理。

项目成果

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

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

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

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

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

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

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

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

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

Monads and Meta-Lambda Calculus

Monad 和 Meta-Lambda 演算

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

日本語における前提概念の同定

日语中先决条件概念的识别

• 发表时间: 2008
• 期刊: 日本言語学会第136回大会予稿集
• 作者: 青田久人;矢口勇一;井関健太;岡嶐一;戸次大介
• 通讯作者: 戸次大介