中文摘要：

目前,自然语言处理已经从句法、语法层面走向轻语义层面。对于汉语陈述句的处理,传统的方法是采用Lambek演算来进行处理。但是传统的Lambek演算无法处理汉语中的灵活语序问题,而现有的方法,如加入模态词、新连接词等,又因为其进一步使得本已是NP-hard的Lambek演算时间复杂度变大,并不适合当前的计算机处理。基于此,该文提出了λ-Lambek演算,即采用Lambek演算来对汉语陈述句进行句法演算,并通过Curry-Howard对应理论与λ-演算来对汉语陈述句进行轻语义模型的构建。λ-Lambek演算不仅能够对汉语陈述句进行轻语义演算,而且还能对汉语陈述句灵活语序进行处理。

英文摘要：

Now natural language processing has shifted from syntactic/lexical level to lightweight semantic level. As for the natural language processing of Chinese narrative sentences, the traditional method is using Lambek calculus, Which to process the Chinese statements with a flexible word order. And the present methods,such as adding modal words or new conjunctions ,are not suitable for computer processing because they will increase the complexity of the NP-hard Lambek calculus. In response,this paper puts forward the k-Lambek calculus,which uses Lambek calculus for the syntactic calculus of Chinese statements, and builds the lightweight semantic model of Chinese statements by Curry-Howard theory and k-calculus. The λ-Lambek calculus can not only process the lightweight semantic calculus for Chinese statements, but also process the statements of flexible word order in Chinese.