自然语言时态句型的模态Lambek演算

1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语言学、计算机科学等学界的纵深和交叉发展。然而在语法分析方面,Lambek演算与范畴语法的结合仍存在不足,就传统的Lambek演算而言,由于其过于刚性,因此所能处理的语法问题还有限。本文重点论述了传统Lambek演算不能处理的时态句型问题,并基于此设计了模态Lambek演算系统(Lambek Calculus with Temporal Modality,L_(TM)系统)。L_(TM)系统在相应关系框架上是可靠的和完全的,同时在证明论方面也具有良好的性质,其不仅具有切割消除性,还具有判定性。鉴于Lambek演算与Montague内涵语义理论的对应衔接,使得语法和语义的衔接采用了同样的文法(Lambek演算),这为计算机界研发自然语言的编译工具提供了有力支撑。由此,我们希望所设计出相应的L_(TM)演算系统,也终将能推动计算机编译系统对时态问题进行处理。