国家社会科学基金(09BZX046)

作品数：11被引量：22H指数：2
导出分析报告
相关作者：满海霞张晓君邹崇理李可胜孔繁清更多>>
相关机构：中国社会科学院中国社会科学院哲学研究所合肥师范学院澳门理工学院更多>>
相关期刊：《哲学动态》《湖南科技大学学报（社会科学版）》《重庆理工大学学报（社会科学）》更多>>
相关主题：类型逻辑语法逻辑语法范畴语法逻辑语义学语义组合更多>>
相关领域：哲学宗教语言文字更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于组合范畴语法CCG被引量：9
《重庆理工大学学报（社会科学）》2011年第8期1-5,共5页邹崇理 
国家社科基金项目"面向自然语言信息处理的范畴类型逻辑研究"(09BZX046)研究成果
组合范畴语法CCG(Combinatory Categorial Grammar)和类型逻辑语法TLG(Type Logical Grammar)都是范畴语法的现代版本,前者关注范畴语法的语言学应用和自然语言的信息处理,后者倾向于从逻辑的角度审视范畴语法的理论性质。CCG的特点有:...
关键词：组合范畴语法CCG 类型逻辑语法TLG 函子范畴的组合 
基于类型论的汉语分词系统TTCS
《重庆理工大学学报（社会科学）》2011年第8期61-66,共6页高东平 
国家社科基金"面向自然语言信息处理的范畴类型逻辑研究"(09BZX046)资助
针对汉语分词中的未登录词识别和歧义消除这两个瓶颈问题和目前方法的不足,将类型论的思想引入到汉语分词领域中,提出了类型匹配模型,以类型论函数贴合为主要算法,融合了全切分、统计,前后缀识别信息等多种技术手段,将分词、未登录词识...
关键词：类型匹配 汉语分词 歧义消除 未登录词 类型论 
函项分层思想及其在语言学研究中的应用
《重庆理工大学学报（社会科学）》2011年第8期83-88,共6页满海霞 
国家社会科学基金项目"面向自然语言信息处理的范畴类型逻辑研究"(09BZX046)
基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两...
关键词：函项分层 逻辑类型论 范畴理论 蒙太格语法 类型逻辑语法 
生成语言学的公理演绎思想被引量：6
《中国社会科学院研究生院学报》2011年第4期102-106,共5页李可胜 
国家社科基金一般项目"面向自然语言信息处理的范畴类型逻辑研究"(项目编号:09BZX046)的资助
乔姆斯基的转换生成语法将演绎思想引入语言学研究,对其后的语言学研究产生了革命性的影响,这是生成语言学的伟大贡献之一。演绎思想使得语言研究从经验主义向理性主义转变,并促使语言学开始向一门真正的自然科学转型。但是演绎思想在...
关键词：生成语言学 公理演绎 乔姆斯基 
带有受限缩并规则的兰贝克演算的模型论被引量：2
《哲学动态》2011年第8期97-102,共6页张晓君 
国家社会科学基金项目"面向自然语言信息处理的范畴类型逻辑研究"资助(项目编号:09BZX046)
自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系，这就是自然语言的毗连性（concatenation）。通过毗连，自然语言符号串可以逐步增长扩张，这就是自然语言的生成性（generation）。自然语言的毗连生成体现出由小...
关键词：自然语言符号 模型论 演算 贝克 范畴类型逻辑 小语言 符号体系 构造过程 
带有受限缩并规则的兰贝克演算中的照应算子被引量：5
《重庆理工大学学报（社会科学）》2011年第4期6-11,共6页张晓君 满海霞 
国家社会科学基金项目"面向自然语言信息处理的范畴类型逻辑研究"(09BZX046)
主要以贾戈尔(Jager)在类型逻辑框架下对照应现象的处理方法为依托展开研究。试图厘清几种从范畴角度出发处理照应现象的方法,从中筛选出简明高效的方法,即贾戈尔通过在带有受限缩并规则的兰贝克演算中引入照应算子"|"(anaphora slash)...
关键词：照应关系 范畴 照应算子 代词 
类型逻辑语法与汉语中的照应省略
《湖南科技大学学报（社会科学版）》2011年第2期35-39,共5页孔繁清 满海霞 
2008年澳门理工学院规划项目(RP/ESLT-3/2008);2009年国家社科基金项目(09BZX046)
现代汉语中存在大量语义资源重复使用的现象,最典型的是代词的回指照应、以及李艳惠在《省略与成分缺失》一文中提到的三种谓词省略结构[1]。在类型逻辑语法框架下,基于Jger构造的LLC系统添加针对"省略槽"引入范畴的规则eI,再借助照...
关键词：类型逻辑语法 照应算子 省略槽 
类型逻辑语法竖线算子的推广
《哲学动态》2011年第2期90-93,共4页刘海燕 邹崇理 
国家社科基金项目"面向自然语言信息处理的范畴类型逻辑研究"(编号:09BZX046)的成果之一
逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构...
关键词：逻辑语法 自然语言 推广 算子 语义问题 逻辑抽象 符号系统 语言生动 
类型逻辑语法的词汇主义思想被引量：1
《哲学动态》2011年第2期98-101,共4页孔繁清 满海霞 
澳门理工学院规划项目(RP/ESLT-3/2008)资助;国家社科基金项目(09BZX046)的系列成果之一
类型逻辑语法（Type Logical Grammar）是经典范畴语法（Basic Categorial Grammar）的一个现代版本，是范畴语法与类型逻辑语义学联姻的产物。利用加贝（D．Gabbay）[1]给出的加标演绎表述，类型逻辑语法实现了句法生成和语义组合的并...
关键词：逻辑语法 逻辑语义学 主义 词汇 范畴语法 语义组合 句法 演算 
类型逻辑语法被引量：2
《哲学动态》2010年第10期103-106,共4页满海霞 李可胜 
国家社会科学基金资助(项目号:09BZX046)
类型逻辑语法（type logical grammar）是在经典范畴语法（basic categorial grammar）基础上发展起来的一个现代版本，它区别于传统范畴语法的最突出特征，就是通过使用加标演绎的表述方式，实现了句法推演和语义组合的并行推理，弥补...
关键词：逻辑语法 范畴语法 逻辑语义学 语义组合 语义解释 传统 贝克 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部