期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑
被引量：
2
1
作者
张奠成
李修华
《计算机科学》
CSCD
北大核心
1996年第4期70-73,共4页
近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对...
近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。
展开更多
关键词
OODB语言
约束演绎
多
类型
逻辑
下载PDF
职称材料
从转换生成语法看范畴类型逻辑的基本思想
被引量：
2
2
作者
温雪
《重庆理工大学学报（社会科学）》
CAS
2015年第8期16-21,共6页
范畴类型逻辑基本思想中的"完整的"和"非完整的"表达式的概念,以及乔姆斯基(Chomsky)所提出的"完整的功能复合体"(complete functional complex,简称CFC)的概念,分别是范畴类型逻辑和转换生成语法在句法...
范畴类型逻辑基本思想中的"完整的"和"非完整的"表达式的概念,以及乔姆斯基(Chomsky)所提出的"完整的功能复合体"(complete functional complex,简称CFC)的概念,分别是范畴类型逻辑和转换生成语法在句法结构层面的重要理论基础。两者虽有一定相似性但又有不同之处,加上自然语言的句法语义不对称现象,造成自然语言逻辑分析中的一些由于方法论和概念冲突而引起的问题。为此,在语料的基础上分析上述问题,论证范畴类型逻辑作为一种形式化分析自然语言语义的手段的优势和有待改进之处,并举例说明语言学研究和逻辑学研究之间是取长补短、互相促进的关系。
展开更多
关键词
范畴
类型
逻辑
转换生成语法
句法-语义接口
词汇语义学
多
体
类型
逻辑
下载PDF
职称材料
多模态范畴类型逻辑
被引量：
1
3
作者
邹崇理
《安徽师范大学学报（社会科学版）》
CSSCI
北大核心
2012年第6期661-667,共7页
多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而...
多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。
展开更多
关键词
组合范畴语法
范畴
类型
逻辑
多
模态范畴
类型
逻辑
下载PDF
职称材料
题名
CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑
被引量：
2
1
作者
张奠成
李修华
机构
合肥工业大学人工智能应用研究室
出处
《计算机科学》
CSCD
北大核心
1996年第4期70-73,共4页
基金
国家教委博士点专项科研基金
文摘
近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。
关键词
OODB语言
约束演绎
多
类型
逻辑
Keywords
Deductive database
Object-oriented database
Constraint logic programming
Knowledge base system.
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
从转换生成语法看范畴类型逻辑的基本思想
被引量：
2
2
作者
温雪
机构
中国社会科学院研究生院
出处
《重庆理工大学学报（社会科学）》
CAS
2015年第8期16-21,共6页
基金
国家社会科学基金重大项目"自然语言信息处理的逻辑语义学研究"(10&ZD073)
文摘
范畴类型逻辑基本思想中的"完整的"和"非完整的"表达式的概念,以及乔姆斯基(Chomsky)所提出的"完整的功能复合体"(complete functional complex,简称CFC)的概念,分别是范畴类型逻辑和转换生成语法在句法结构层面的重要理论基础。两者虽有一定相似性但又有不同之处,加上自然语言的句法语义不对称现象,造成自然语言逻辑分析中的一些由于方法论和概念冲突而引起的问题。为此,在语料的基础上分析上述问题,论证范畴类型逻辑作为一种形式化分析自然语言语义的手段的优势和有待改进之处,并举例说明语言学研究和逻辑学研究之间是取长补短、互相促进的关系。
关键词
范畴
类型
逻辑
转换生成语法
句法-语义接口
词汇语义学
多
体
类型
逻辑
Keywords
categorical type logic
transformational-generative grammar
syntax-semantics interface
lexical semantics
many-sorted type logic
分类号
B81 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
多模态范畴类型逻辑
被引量：
1
3
作者
邹崇理
机构
中国社会科学院哲学所
出处
《安徽师范大学学报（社会科学版）》
CSSCI
北大核心
2012年第6期661-667,共7页
基金
国家社会科学基金重大招标项目(10&ND073)
文摘
多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。
关键词
组合范畴语法
范畴
类型
逻辑
多
模态范畴
类型
逻辑
Keywords
combinatory categorial grammar
categorial type logic
multi-modal categorial type logic
分类号
B81 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑
张奠成
李修华
《计算机科学》
CSCD
北大核心
1996
2
下载PDF
职称材料
2
从转换生成语法看范畴类型逻辑的基本思想
温雪
《重庆理工大学学报（社会科学）》
CAS
2015
2
下载PDF
职称材料
3
多模态范畴类型逻辑
邹崇理
《安徽师范大学学报（社会科学版）》
CSSCI
北大核心
2012
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
