首页 | 本学科首页   官方微博 | 高级检索  
     检索      

自然语言逻辑语义学研究述评
引用本文:姚从军,邹崇理.自然语言逻辑语义学研究述评[J].长沙理工大学学报(社会科学版),2016(2):32-37.
作者姓名:姚从军  邹崇理
作者单位:1. 湖南科技学院 马克思主义学院,湖南 永州,425199;2. 中国社会科学院 哲学所,北京,100732
基金项目:国家社科基金重大项目(10&ZD073),湖南科技学院“十二五”重点建设学科“汉语言文字学”资助,湖南省重点建设学科“思想政治教育”资助;湘教发[2011]76号,湖南省社科基金项目(14YBA174)
摘    要:自然语言的逻辑语义学是逻辑学、语言学和计算机科学的跨学科交叉研究的产物,研究的对象是自然语言,研究的方法涉及逻辑和计算的概念。近十来年,逻辑语义学的跨学科研究方兴未艾,其中有较大影响的要数范畴语法的三个现代版本的发展:范畴类型逻辑 CTL、组合范畴语法 CCG 和非连续兰贝克演算 DLC。CTL 是从逻辑的高度概括分析语言的形式工具的学说,CCG 是基于特定规则而关注语言事实分析需求的形式语法,DLC 是专门分析语言中非连续现象的形式理论。本述评阐述的就是范畴语法三个现代版本的国内外发展概况。

关 键 词:逻辑语义学  信息处理  自然语言

Review on the Logic Semantics of Natural Language
YAO Cong-Jun,ZOU Chong-li.Review on the Logic Semantics of Natural Language[J].Journal of Changsha University of Science & Technology,2016(2):32-37.
Authors:YAO Cong-Jun  ZOU Chong-li
Abstract:Logical Semantics of natural language (NL)is the hybrid product of the interdisciplinary studies among log-ic,linguistics and computation science;the object of the studies is NL while the methods it adopts involve the con-cepts from logic and compute.For the past decade,the logic semantics witnessed its rapid development.The most in-fluential developments are three modern versions of Categorical Logic:CTL,CCG and DLC.CTL is a logical theory which analyzes the formal features of natural language;CCG is a rule-based formal grammar of NL;DLC is a formal theory on those non-continuous phenomena of NL.This paper makes a review on the development of these three ver-sions of CL.
Keywords:logical semantics  information processing  natural language
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号