期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
时态查询语言的并发Lambek演算及范畴语法
被引量：
3
1
作者
刘冬宁
汤庸
+1 位作者
黄昌勤
汤娜
《智能系统学报》
2009年第3期245-250,共6页
时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以...
时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善.
展开更多
关键词
时态查询语言
句法分析
并发
的
lambek
演算
范畴语法
下载PDF
职称材料
并发Lambek演算在时态查询中的语义转换
2
作者
刘冬宁
汤庸
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2009年第1期137-140,共4页
为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lam-bek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式...
为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lam-bek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。
展开更多
关键词
时态查询
并发
的
lambek
演算
语义转换
标号自然演绎系统
下载PDF
职称材料
题名
时态查询语言的并发Lambek演算及范畴语法
被引量：
3
1
作者
刘冬宁
汤庸
黄昌勤
汤娜
机构
中山大学计算机科学系
中山大学数学系
华南师范大学教育信息技术学院
出处
《智能系统学报》
2009年第3期245-250,共6页
基金
国家自然科学基金资助项目(60673135
60373081)
+3 种基金
国家自然科学基金重点资助项目(60736020)
广东省自然科学基金资助项目(7003721)
广东省科技攻关资助项目(07B010200052)
广州市科技计划资助项目(07Z3-D3191)
文摘
时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善.
关键词
时态查询语言
句法分析
并发
的
lambek
演算
范畴语法
Keywords
temporal querying language
syntactic analysis
concurrence
lambek
calculus
categorial grammars
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
并发Lambek演算在时态查询中的语义转换
2
作者
刘冬宁
汤庸
机构
中山大学计算机科学系
中山大学数学系
出处
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2009年第1期137-140,共4页
基金
国家自然基金资助项目(60673135
60373081)
+3 种基金
国家自然科学资金重点资助项目(60736020)
广东省自然科学基金资助项目(7003721)
广东省科技攻关资助项目(07B010200052)
广州市科技计划资助(07Z3-D3191)
文摘
为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lam-bek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。
关键词
时态查询
并发
的
lambek
演算
语义转换
标号自然演绎系统
Keywords
temporal querying
concurrence
lambek
calculus
semantic transform
labeled natural deduction system
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
时态查询语言的并发Lambek演算及范畴语法
刘冬宁
汤庸
黄昌勤
汤娜
《智能系统学报》
2009
3
下载PDF
职称材料
2
并发Lambek演算在时态查询中的语义转换
刘冬宁
汤庸
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2009
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
