关于组合范畴语法CCG

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

构建汉语行为语法的金字塔分层结构

20世纪60年代初,乔姆斯基提出"语言行为"和"语言能力"的区分,前者是语言使用者在具体语境下的语言使用,后者是语言使用者关于语言规则的潜在知识,各种语法形式化理论就是对语言能力的描写,而自然语言处理所面对的真实语料,则是语言行为的现实表现。如何基于语言能力模型构建刻画语言行为的模型,是自然语言处理亟待解决的重要问题。在自然语言处理领域,已知能力语法的形式化理论中计算性能最好的是组合范畴语法CCG。CCG以组合逻辑思想为基础。在组合逻辑那里,任何逻辑系统都可以划归为某一函项贴合系统,仅包含函项贴合规则F与若干组合子,比如,CCG可以划归为F加3个组合子B、T、S。理想的行为语法因此可以看作一个金字塔结构,表现为F结合句法组合子B、T、S构成能力语法CCG、再结合语用组合子构成行为语法CCGP的过程。这样一个思路受到了汉语三个平面理论思想的支持。通过汉语CCGBank树库的规则例统计数据,可以进一步获得汉语从能力语法到行为语法的语用组合子K和C,从而获得汉语行为语法完整的金字塔分层结构。

语言构造机制的逻辑语义学研究

自然语言的计算机信息处理要求电脑对人脑构造或理解语言的机制进行模拟,这种模拟首先需要逻辑语义学对语言构造机制的先期研究。简言之,语言构造机制显示出两个特征:1.有穷多的词条作为出发点;2.依据有穷多规则去构造和理解无穷多的语句。多年来,逻辑语义学各分支不同程度地描述了语言构造机制的两个特征,但对其中特征1的刻画却不充分,而语言学对此却有不俗的表现。于是逻辑语义学和语言学形成互补局面,"互补"产生了组合范畴语法CCG。本文揭示了CCG对语言构造机制两个特征的兼容并举,从而展示逻辑语义学在理论上对电脑模拟人脑构造语言机制工作的指导作用。