语义类型的细化和转换

2018/5/4 9:09:49 人评论 次浏览 分类：逻辑学

 

作者： 崔佳悦 ,邹崇理

英文标题：

中文副标题：——MG中类型论的新进展

英文副标题：

中文关键词：类型论；语义类型；蒙太格语法；类型细化；类型转换

英文关键词：

基金名称：“应用逻辑与逻辑应用研究”（14ZSB014）
基金类别：国家级（含部局）

中文摘要：
    自然语言计算机处理（NLP）的重要性已经越来越为学者们所意识到，本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性，传统MG的解释力明显不够。为突破这样的局限，本文关注语义类型的细化和语义类型的转换，对自然语言的语义类型进行细致的划分，在MG的类型论中添加语用算子，针对不同语境进行语义类型的转换。

英文摘要：