组合范畴语法与范畴类型逻辑的分析与比较

发布时间：2017-06-25 14:02

  本文关键词：组合范畴语法与范畴类型逻辑的分析与比较，，由笔耕文化传播整理发布。

【摘要】：范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显,前者主要关心不同逻辑算子对语言的适用性和逻辑系统的证明论性质,认为生成能力不具有主要的理论意义,在计算应用中没有价值;后者更多集中在获得低的自动机理论能力和良好计算性质的语言表达系统。
【作者单位】： 湖南科技学院思政部;中国社会科学院哲学所;
【关键词】： 范畴语法 范畴类型逻辑 组合范畴语法 计算 生成能力
【基金】：国家社科基金重大招标项目(10&ZD073) 湖南省重点建设学科“思想政治教育”项目(湘教发[2011]76号) 湖南科技学院重点建设学科“汉语言文字学”(湘科院校字[2011]89号)
【分类号】：B81
【正文快照】： 一、引言范畴语法把自然语言词类用基本范畴s、np,以及由s和np生成的复合范畴(函项范畴)表示出来。如果把s和np之外的语言单位都看成是函项,把与函项结合生成新结构的语言单位看成该函项的论元,那么函项的值便是结合而得的那个新结构。任何一个语言单位的语法特征都可以通过这

【参考文献】

中国期刊全文数据库 前1条

1 姚从军;;组合范畴语法CCG

本文编号：482330