邹崇理

(1.燕山大学文法学院，河北秦皇岛 066004;2.中国社会科学院哲学研究所，北京 100732)

关于组合范畴语法CCG

邹崇理1，2

(1.燕山大学文法学院，河北秦皇岛 066004;2.中国社会科学院哲学研究所，北京 100732)

组合范畴语法CCG(Combinatory Categorial Grammar)和类型逻辑语法TLG(Type Logical Grammar)都是范畴语法的现代版本，前者关注范畴语法的语言学应用和自然语言的信息处理，后者倾向于从逻辑的角度审视范畴语法的理论性质。CCG的特点有:原子范畴的加标多样化和彻底的词汇主义思路;斜线算子的下标模态化和函子范畴的多样组合;基于范畴等级和范畴构造的视角建立CCG的证明论。

组合范畴语法CCG;类型逻辑语法TLG;函子范畴的组合

范畴语法是一种面向自然语言信息处理的逻辑理论。按照这种理论，自然语言是由词构成词组、词组构成语句的符号系统，自然语言的这种构造生成被看作是计算推演的过程。范畴语法产生于20世纪30～40年代，50年代以后逐步走向成熟。

组合范畴语法 CCG(Combinatory Categorial Grammar，简称CCG)则在20世纪80～90年代开始出现，是对范畴语法进行扩展的现代版本。扩展的实质在于“组合”(combinatory)，即基于范畴语法增添了函子范畴的组合运算，这类似数学中函数的复合。与此同时，类型逻辑语法TLG(Type Logical Grammar，简称TLG)也是范畴语法发展的现代产物，这个发展方向的源头是著名的兰贝克演算(Lambek，1958)。自诞生起CCG和TLG就显示出各自侧重的偏好。CCG关注自然语言“语境敏感层面”的表达力问题，从语言学和计算语言学的角度探讨基于统计模型的自然语言的自动机处理问题。而TLG的兰贝克传统则热心于范畴语法的逻辑理论问题，把范畴语法看成是一个逻辑系统，配备框架语义学，讨论系统的可靠性和完全性，以及系统的可判定性。……