基于中文陈述句灵活语序的lambek演算

目前,自然语言处理已从句法、词法层面走向轻量级语义层面。针对中文陈述句的自然语言处理,传统lambek演算无法解决中文陈述句灵活语序的问题,而现有的方法加入模态词、新连接词等后,又进一步增加了已经是np-hard的lambek演算的复杂性,因此并不适合计算机的相关处理。基于此,采用加标动词匹配的lambek演算对中文陈述句灵活语序进行处理。加标动词匹配算法的时间复杂度低,使得计算机及其程序能有效地对中文陈述句灵活语序进行处理,并能通过curry-howard对应理论与λ-演算引入轻量级语义处理。