组合范畴语法树库及其研究

组合范畴语法是语言逻辑服务于当今人工智能自然语言处理的前沿阵地。组合范畴语法把自然语言的句法和语义的构造看作是受逻辑规则支配的计算过程,是逻辑、语言和计算交叉研究的结果。组合范畴语法树库是组合范畴语法对自然语言的大规模真实文本进行分析的产物,是计算机人工智能关于自然语言分析的机器自主学习训练的语料资源库。从以下4个方面对组合范畴语法树库进行探究:(1)组合范畴语法的源头——范畴语法;(2)范畴语法的逻辑依据——范畴类型逻辑;(3)句法和语义的并行推演计算——组合范畴语法;(4)针对自然语言大规模真实文本——组合范畴语法树库及其研究。