国家社会科学基金(09BZX046)
- 作品数：11 被引量：21H指数：3
- 相关作者：满海霞张晓君邹崇理李可胜孔繁清更多>>
- 相关机构：中国社会科学院中国社会科学院哲学研究所合肥师范学院更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教语言文字更多>>
- 关于组合范畴语法CCG被引量：9
- 2011年
- 组合范畴语法CCG(Combinatory Categorial Grammar)和类型逻辑语法TLG(Type Logical Grammar)都是范畴语法的现代版本,前者关注范畴语法的语言学应用和自然语言的信息处理,后者倾向于从逻辑的角度审视范畴语法的理论性质。CCG的特点有:原子范畴的加标多样化和彻底的词汇主义思路;斜线算子的下标模态化和函子范畴的多样组合;基于范畴等级和范畴构造的视角建立CCG的证明论。
- 邹崇理
- 带有受限缩并规则的兰贝克演算中的照应算子被引量：5
- 2011年
- 主要以贾戈尔(Jager)在类型逻辑框架下对照应现象的处理方法为依托展开研究。试图厘清几种从范畴角度出发处理照应现象的方法,从中筛选出简明高效的方法,即贾戈尔通过在带有受限缩并规则的兰贝克演算中引入照应算子"|"(anaphora slash)的处理方法。目的是为读者清晰地描绘出逻辑学家与语言学家们研究问题的思路历程,以提醒读者在研究的过程中不要纠缠于他们所提供的艰深知识,而要把研究重心转向对其思想方法的追寻,以期有更多斩获。
- 张晓君满海霞
- 关键词：照应关系代词
- 基于类型论的汉语分词系统TTCS
- 2011年
- 针对汉语分词中的未登录词识别和歧义消除这两个瓶颈问题和目前方法的不足,将类型论的思想引入到汉语分词领域中,提出了类型匹配模型,以类型论函数贴合为主要算法,融合了全切分、统计,前后缀识别信息等多种技术手段,将分词、未登录词识别、歧义消除,词典的动态扩充有机的融合到一个统一的理论模型当中。在此理论框架的基础上,最后实现了基于类型论的汉语分词系统TTCS。
- 高东平
- 关键词：汉语分词歧义消除未登录词类型论
- 函项分层思想及其在语言学研究中的应用
- 2011年
- 基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两个综合应用模式:蒙太格语法和类型逻辑语法可知,形式语义学总体来讲具有两种发展趋势,即偏向自然语言与偏向逻辑两种风格。
- 满海霞
- 关键词：逻辑类型论蒙太格语法类型逻辑语法
- 类型逻辑语法与汉语中的照应省略
- 2011年
- 现代汉语中存在大量语义资源重复使用的现象,最典型的是代词的回指照应、以及李艳惠在《省略与成分缺失》一文中提到的三种谓词省略结构[1]。在类型逻辑语法框架下,基于Jger构造的LLC系统添加针对"省略槽"引入范畴的规则eI,再借助照应算子的回指搜索功能,不但能够处理一般的代词回指、VP回指现象,还能够推广刻画汉语的多动词单句和兼语句等现象,获得正确的语义解读。可以证明,添加对应eI规则的公理的新系统在特定框架模型下是可靠并且完全的。
- 孔繁清满海霞
- 关键词：类型逻辑语法
- 类型逻辑语法竖线算子的推广
- 2011年
- 逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句"所有人是会死的",第二种模式对此抽象成逻辑公式"(H→D)",而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达"所有(人,会死的)"。本栏目三篇文章前两篇属于第一种模式,第三篇是第二种模式。
- 刘海燕邹崇理
- 关键词：逻辑语法自然语言算子语义问题语言生动
- 类型逻辑语法的词汇主义思想被引量：1
- 2011年
- 类型逻辑语法（Type Logical Grammar）是经典范畴语法（Basic Categorial Grammar）的一个现代版本，是范畴语法与类型逻辑语义学联姻的产物。利用加贝（D．Gabbay）[1]给出的加标演绎表述，类型逻辑语法实现了句法生成和语义组合的并行推演，句法生成基于Lambek演算提供的范畴运算，而语义组合则依据代表语义的入一演算进行。
- 孔繁清满海霞
- 关键词：逻辑语法逻辑语义学范畴语法语义组合句法
- 为什么语言学研究离不开逻辑学——2009语言学和逻辑学交叉研究研讨会侧记
- 2010年
- 研究不同的语言学问题需要使用不同的逻辑学工具;任何逻辑系统都只能处理部分语言学现象,不存在"万能逻辑";我们完全可以根据语言学的需要对逻辑系统加以改进;逻辑的形式化特征是自然语言信息处理的必要条件。
- 张晓君
- 关键词：语言学逻辑学形式化
- 生成语言学的公理演绎思想被引量：6
- 2011年
- 乔姆斯基的转换生成语法将演绎思想引入语言学研究,对其后的语言学研究产生了革命性的影响,这是生成语言学的伟大贡献之一。演绎思想使得语言研究从经验主义向理性主义转变,并促使语言学开始向一门真正的自然科学转型。但是演绎思想在转换生成语法的不同理论阶段中的地位和影响并不相同,因而也影响着生成语言学的自然科学属性。
- 李可胜
- 关键词：生成语言学
- 类型逻辑语法被引量：2
- 2010年
- 类型逻辑语法（type logical grammar）是在经典范畴语法（basic categorial grammar）基础上发展起来的一个现代版本，它区别于传统范畴语法的最突出特征，就是通过使用加标演绎的表述方式，实现了句法推演和语义组合的并行推理，弥补了传统范畴语法在语义解释方面的缺陷。或者说，它是范畴语法、尤其是兰贝克演算（Lambek calculus）与类型逻辑语义学的综合，
- 满海霞李可胜
- 关键词：逻辑语法范畴语法逻辑语义学语义组合语义解释
