A Unified Framework for Natural Language Semantics and Pragmatics by Meta-Lambda Calculus and Linguistic Monads

基于 Meta-Lambda 演算和语言 Monad 的自然语言语义和语用统一框架

• 批准号: 22680013
• 负责人: BEKKI Daisuke
• 金额: $ 4.16万
• 依托单位: Ochanomizu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (A)
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010-04-01 至 2014-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22680013/
• 关键词: 自然言語処理; 数理言語学; 型理論; 圏論

The aim of this project is to provide a uniform framework for the representations of natural language semantics and pragmatics, by means of Meta-Lambda Calculus (MLC) and (linguistic) monads. We have established a formal foundation of MLC and the notion of linguistic monads, especially its categorical semantics, the soundness theorems in the base- and the meta-level substitutions, and the soundness theorems for alpha/beta/eta-conversions in both the base- and the meta-levels.We have also provided some linguistic applications of MLC and their empirical evaluation. We proposed a unified system for describing phenomena that lie in the interface of semantic and pragmatic by means of linguistic monads such as "non-deterministic monad", "global variable monad (=state monad)", "continuation monad", and "conventional implicature monad".

该项目的目的是提供一个统一的框架表示自然语言的语义和语用，通过元λ演算（MLC）和（语言）单子。 我们建立了MLC的形式基础和语言单子的概念，特别是它的范畴语义、基层和元层替换的可靠性定理以及基层和元层的α/β/η转换的可靠性定理，并给出了MLC的一些语言应用及其经验评价。 我们提出了一个统一的系统来描述的现象，在界面上的语义和语用通过语言单子，如“非确定性单子”，“全局变量单子（=状态单子）"，“延续单子”，“约定含义单子”。

项目成果

ホームページ

主页

Combinatory Categorial Grammar as a Substructural Logic-Preliminary Remarks-

作为子结构逻辑的组合范畴语法-初步评论-

• 发表时间: 2010
• 期刊: Proceedings of the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7), JSAI International Symposia on AI 2010, Campus Innovation Center, Tokyo, Japan
• 作者: Bekki;Daisuke
• 通讯作者: Daisuke

限定継続を用いた inverse scope の分析と実装

有限延拓逆范围的分析与实现

• 发表时间: 2014
• 作者: 叢悠悠;浅井健一;戸次大介
• 通讯作者: 戸次大介

依存型意味論を用いた日本語含意関係コーパスの分析に向けて

使用依赖语义分析日语蕴涵语料库

• 发表时间: 2014
• 作者: 中村絢子;金子貴美;戸次大介
• 通讯作者: 戸次大介

MCNコーパス：「ノダ」にみるガイドライン作成の手法

MCN语料库：《野田》中看到的指南创建方法

• 发表时间: 2014
• 作者: 田中リベカ;川添愛;戸次大介
• 通讯作者: 戸次大介