| 自然语言时态句型的模态Lambek演算 |
| |
| 引用本文： | 刘冬宁,汤庸.自然语言时态句型的模态Lambek演算[J].中山大学学报论丛,2008,1(3). |
| |
| 作者姓名： | 刘冬宁 汤庸 |
| |
| 基金项目： | 教育部哲学社会科学研究重大课题攻关项目
，
国家自然科学基金
，
国家自然科学基金重点项H
，
广东省自然科学基金
，
广东省科技攻关项目
，
广州市科技计划
|
| |
| 摘 要： | 1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语言学、计算机科学等学界的纵深和交叉发展.然而在语法分析方面,Lambek演算与范畴语法的结合仍存在小足,就传统的Lambek演算而苦,由于其过于刚性,因此所能处理的语法问题还有限.本文重点论述了传统Lambek演算不能处理的时态句型问题,并基于此设计了模态Lambek演算系统(Lambek Calculus with Temporal Modality,LTM系统).LTM系统红相应关系框架上是可靠的和完全的,同时在证明论方面也具有良好的性质,其不仅具有切割消除性,还具有判定件.鉴于Lambek演算与Montague内涵语义理论的对应衔接,使得语法和语义的衔接采用了同样的文法(Lambck演算),这为计算机界研发自然语言的编译工具提供了有力支撑.由此,我们希望所设计出相应的LTM演算系统,也终将能推动计算机编译系统对时态问题进行处理.
|
| 关 键 词： | 模态Lambek演算 时态句型 范畴语法 |
Modal Lambek Calculus of Tense Syntax in Nature Language |
| |
| Dongning Liu,Yong Tang.Modal Lambek Calculus of Tense Syntax in Nature Language[J].Supplement to the Journal of Sun Yatsen University,2008,1(3). |
| |
| Authors: | Dongning Liu Yong Tang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
