|
|||||
|
|
| 时态查询语言的并发Lambek演算及范畴语法 | |
| 引用本文： | 刘冬宁,汤庸,黄昌勤,汤娜.时态查询语言的并发Lambek演算及范畴语法[J].智能系统学报,2009,4(3):245-250. |
| 作者姓名： | 刘冬宁 汤庸 黄昌勤 汤娜 |
| 作者单位： | 1. 中山大学,计算机科学系,广东,广州,510275;中山大学,数学系,广东,广州,510275 2. 中山大学,计算机科学系,广东,广州,510275 3. 中山大学,计算机科学系,广东,广州,510275;华南师范大学,教育信息技术学院,广东,广州,510631 |
| 基金项目： | 国家自然科学基金，国家自然科学基金重点项目，广东省自然科学基金，广东省科技攻关项目，广州市科技计划 |
| 摘 要： | 时态逻辑不可递归公理化的性质，造成它的公理化系统和证明论方法不适于时态查询语言的建模．这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画．因此寻找时态逻辑的替代者，以公理化的方式对时态查询语言做句法和语义的分析是必要的．考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统，和作为语义分析工具的类型演算λ－演算．这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ－演算的公理化与证明论方法，及它们作为句法和语义分析工具之间的密切联系与对应性决定的．据此从Lambek演算出发，结合时态的处理，构建了并发的Lambek演算（LCTQ）及相应的范畴语法，对以公理化系统为基础的时态查询语言的句法分析做相关研究，并从证明论性质上保障了计算性资源，使得系统更为严谨和完善． |
| 关 键 词： | 时态查询语言 句法分析 并发的Lambek演算 范畴语法 |
Concurrence Lambek calculus and its categorical grammar in temporal querying languages |
|
| LIU Dong-ning,TANG Yong,HUANG Chang-qin,TANG Na.Concurrence Lambek calculus and its categorical grammar in temporal querying languages[J].CAAL Transactions on Intelligent Systems,2009,4(3):245-250. | |
| Authors: | LIU Dong-ning TANG Yong HUANG Chang-qin TANG Na |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |