10.3969/j.issn.1674-3202.2008.03.005
自然语言时态句型的模态Lambek演算
1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语言学、计算机科学等学界的纵深和交叉发展.然而在语法分析方面,Lambek演算与范畴语法的结合仍存在小足,就传统的Lambek演算而苦,由于其过于刚性,因此所能处理的语法问题还有限.本文重点论述了传统Lambek演算不能处理的时态句型问题,并基于此设计了模态Lambek演算系统(Lambek Calculus with Temporal Modality,LTM系统).LTM系统红相应关系框架上是可靠的和完全的,同时在证明论方面也具有良好的性质,其不仅具有切割消除性,还具有判定件.鉴于Lambek演算与Montague内涵语义理论的对应衔接,使得语法和语义的衔接采用了同样的文法(Lambck演算),这为计算机界研发自然语言的编译工具提供了有力支撑.由此,我们希望所设计出相应的LTM演算系统,也终将能推动计算机编译系统对时态问题进行处理.
模态Lambek演算、时态句型、范畴语法
1
B81(逻辑学(论理学))
教育部哲学社会科学研究重大课题攻关项目04JZD006;国家自然科学基金60673135、60373081;国家自然科学基金重点项H60736020;广东省自然科学基金7003721;广东省科技攻关项目078010200052;广州市科技计划0723-D3191
2009-03-13(万方平台首次上网日期,不代表论文的发表时间)
共15页
51-65