刘冬宁，邓春国，滕少华，张巍，梁路

(广东工业大学 计算机学院，广东 广州 510006)

基于轻语义λ-演算的汉语陈述句灵活语序研究

刘冬宁，邓春国，滕少华，张巍，梁路

(广东工业大学 计算机学院，广东 广州 510006)

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

Lambek演算；λ-演算；中文陈述句；灵活语序；语义

1 引言

自然语言处理在日常生活当中扮演着重要角色[1-3]。随着大数据时代的到来，半结构化的自然语言在计算机处理中有着更高的要求[4]，如机器翻译、语义搜索等需要更加快速、准确地处理大量自然语言数据，并且需要涉及自然语言中语义或轻量级语义的处理。传统的方法已难以满足大数据时代的要求，例如，基于概率模型的统计方法难以准确地进行语义分析，而一些过于强调语义逻辑的方法又会使计算机进行处理的时间复杂度更高。与此同时，基于Lambek演算的自然语言处理有着……