关于组合范畴语法CCG-重庆理工大学学报.PDFVIP

重庆理工大学学报（社会科学）　　２０１１年第２５卷第８期 逻辑学与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．２５Ｎｏ．８２０１１ 关于组合范畴语法ＣＣＧ 邹崇理１，２ （１．燕山大学 文法学院，河北 秦皇岛　０６６００４；２．中国社会科学院哲学研究所，北京　１００７３２） 摘要：组合范畴语法ＣＣＧ（ＣｏｍｂｉｎａｔｏｒｙＣａｔｅｇｏｒｉａｌＧｒａｍｍａｒ）和类型逻辑语法ＴＬＧ（ＴｙｐｅＬｏｇｉｃａｌ Ｇｒａｍｍａｒ）都是范畴语法的现代版本，前者关注范畴语法的语言学应用和自然语言的信息处理， 后者倾向于从逻辑的角度审视范畴语法的理论性质。ＣＣＧ的特点有：原子范畴的加标多样化和 彻底的词汇主义思路；斜线算子的下标模态化和函子范畴的多样组合；基于范畴等级和范畴构 造的视角建立ＣＣＧ的证明论。 关键词：组合范畴语法ＣＣＧ；类型逻辑语法ＴＬＧ；函子范畴的组合 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１１）０８－０００１－０５ 　　范畴语法是一种面向自然语言信息处理的逻 性，以及系统的可判定性。本文从范畴语法的基 辑理论。按照这种理论，自然语言是由词构成词 础出发，进而介绍ＣＣＧ，看看这个理论到底具有哪 组、词组构成语句的符号系统，自然语言的这种构 些不同于ＴＬＧ的内容。 造生成被看作是计算推演的过程。范畴语法产生 跟范畴语法一脉相承，ＣＣＧ也是一种基于词 于２０世纪 ３０～４０年代，５０年代以后逐步走向 汇的语法形式理论。就是说，ＣＣＧ把自然语言的 ［１］ 成熟。 生成过程凝缩在词条的范畴构造上 。例如： 组合范畴语法 ＣＣＧ（ＣｏｍｂｉｎａｔｏｒｙＣａｔｅｇｏｒｉａｌ （１）　Ｓ ＮＰＶＰ → Ｇｒａｍｍａｒ，简称ＣＣＧ）则在２０世纪８０～９０年代开 ＶＰ ＴＶＮＰ → 始出现，是对范畴语法进行扩展的现代版本。扩 ＴＶ ｐｒｏｖｅｄ，ｆｉｎｄｓ → 展的实质在于“组合”（ｃｏｍｂｉｎａｔｏｒｙ），即基于范畴 （２）　ｐｒｏｖｅｄ＝（Ｓ＼ＮＰ）／ＮＰ 语法增添了函子范畴的组合运算，这类似数学中 我们可以通过词条“ｐｒｏｖｅｄ”的范畴构造（２） 函数的复合。与此同时，类型逻辑语法ＴＬＧ（Ｔｙｐｅ 来体现生成规则（１）的内容。从某种意义上说， ＬｏｇｉｃａｌＧｒａｍｍａｒ，简称ＴＬＧ）也是范畴语法发展的 （１）确定了（２）。根据（１），我们有生成树： 现代产物，这个发展方向的源头是著名的兰贝克 演算（Ｌａｍｂｅｋ，１９５８）。自诞生起ＣＣＧ和ＴＬＧ就显 示出各自侧重的偏好。ＣＣＧ关注自然语言“语境 敏感层面”的表达力问题，从语言学和计算语言学 的角度探讨基于统计模型的自然语言的自动机处 理问题。而ＴＬＧ的兰贝克传统则热心于范畴语法 的逻辑理论问题，把范畴语法看成是一个逻辑系 统，配备框架语义学，讨论系统的可靠性和完全 　　按照（３）从上到下看，节点ＶＰ对应的函子范 　　收稿日期：２０１１－０６－０６ 基金项目：国家社科基金项目“面向自然语言信息处理的范畴类型逻辑研究”（０９ＢＺＸ０４６）研究成果。 作者简介：邹崇理（１９５３—），男，四川成都人，研