自然语言基本时态句型的Lambek演算.PDFVIP

逻辑与认知 Vol. 4, No.3, 2006 1 自然语言基本时态句型的Lambek演算 刘冬宁 聂文龙2 （中山大学逻辑与认知研究所，广州510275） 摘要：本文提出了一种基于时态语法分析的Lambek演算，其在原以Lambek演算为核心的范畴语法基础上， 引入了时态类型。由于时态类型区别于语言学中诸如动词、名词、副词等语言结构类型，我们提出了并发 类型演算（语言结构类型与时态类型并发处理），在文中给出了该演算系统的代数模型，并证明了相应的可 靠性与完全性。我们将此演算系统称为 LC 演算系统，在文末给出基于 LC 系统的范畴语法LCCG，并对其语 义转换做了相应处理，该处理使之更易于计算机编程实现。由于在此演算系统中，只讨论了时态演算中最 本质的三种时态对象，即现在时，过去时和将来时，因此我们称之为“基本时态句型演算”。 关键词：时态句型 Lambek演