语义类型的细化和转换——MG中类型论的新进展  

Refinement and Transformation of Semantic Types:the New Development of Type Theory in MG

作　　者：崔佳悦 邹崇理[2] CUI Jia-yue;ZOU Chong-li(School of Foreign Studies, Capital University of Economics and Business, Beijing 100070;Institute of Logic and Information, Sichuan Normal University, Chengdu, Sichuan 610066, China)

机构地区：[1]首都经贸大学外国语学院,北京100070 [2]四川师范大学逻辑与信息研究所,成都610066

出　　处：《四川师范大学学报（社会科学版）》2018年第3期88-93,共6页Journal of Sichuan Normal University(Social Sciences Edition)

基　　金：国家社科基金重大招标项目"应用逻辑与逻辑应用研究"(14ZSB014)

摘　　要：自然语言计算机处理(NLP)的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性,传统MG的解释力明显不够。为突破这样的局限,本文关注语义类型的细化和语义类型的转换,对自然语言的语义类型进行细致的划分,在MG的类型论中添加语用算子,针对不同语境进行语义类型的转换。The importance of natural language processing（NLP）has been widely accepted among scholars.This paper discusses type logic and Montague grammar（MG）used in analyzing the syntax of natural language by NLP.Due to the complexity of natural language,the interpretation of the traditional Montague grammar is obviously not enough.To break through that limitation,this paper discusses the refinement and transformation of semantic types.Detailed refinement of semantic types of natural languages and pragmatic operator adding to MG type theory help the transformation of semantic types in various contexts.

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

分 类 号：B81-05[哲学宗教—逻辑学]