类型逻辑语法

作品数：11被引量：8H指数：2
导出分析报告
相关领域：哲学宗教语言文字更多>>
相关作者：满海霞邹崇理王欣孔繁清李可胜更多>>
相关机构：中国社会科学院哲学研究所北京语言大学澳门理工学院四川师范大学更多>>
相关期刊：《哲学研究》《山东大学学报（哲学社会科学版）》《烟台大学学报（哲学社会科学版）》《逻辑学研究》更多>>
相关基金：国家社会科学基金北京市哲学社会科学“十一五”规划项目四川省哲学社会科学规划项目教育部人文社会科学研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有穷多模态类型逻辑语法及其在汉语中的应用
《逻辑学研究》2018年第3期58-70,共13页康孝军 
国家社会科学基金青年项目(15CZX045)
多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系...
关键词：类型逻辑语法 Lambek演算 有穷假设集 语序 
把字句和被字句的类型逻辑语法处理方案被引量：2
《烟台大学学报（哲学社会科学版）》2013年第3期113-117,共5页王欣 
类型逻辑语法是近年来新兴的语言信息处理理论,该理论可以运用分析汉语常用句式把字句和被字句。把"把"处理为受动标记,把"被"处理为施动标记,可以演示此两种句式的句法构形和语义解释过程,通过意义公设建立两类句式与普通及物动词句之...
关键词：把 被 类型逻辑语法 受动标记 施动标记 
汉语连动句题元结构的形式语义分析
《语言历史论丛》2013年第1期126-140,共15页刘海燕 
教育部人文社科研究项目《汉语语句系统的形式语义学研究》(12XJA740007);四川省哲学社会科学研究项目《汉语句法和语义互动关系研究》(SC12B0034)。
一个句子基本的逻辑语义信息是由逻辑谓词决定的,逻辑谓词是句子的焦点,一个单句通常只有一个焦点。而汉语连动句是由两个或两个以上谓词按照一定顺序组合而成的单句,句子中含有两个或两个以上的逻辑谓词,多个逻辑谓词和句子的句首名词...
关键词：汉语连动句 题元结构 谓词逻辑 形式语义关系 类型逻辑语法竖线算子 
论类型逻辑语法对蒙太古语法的继承与发展被引量：2
《山东大学学报（哲学社会科学版）》2011年第5期146-150,共5页王欣 
蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸...
关键词：蒙太古语法 类型逻辑语法 组合性原则 兰贝克演算 多形态并列组合器 
函项分层思想及其在语言学研究中的应用
《重庆理工大学学报（社会科学）》2011年第8期83-88,共6页满海霞 
国家社会科学基金项目"面向自然语言信息处理的范畴类型逻辑研究"(09BZX046)
基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两...
关键词：函项分层 逻辑类型论 范畴理论 蒙太格语法 类型逻辑语法 
类型逻辑语法与汉语中的照应省略
《湖南科技大学学报（社会科学版）》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
《哲学研究》2009年第11期119-125,共7页夏年喜 邹崇理 
北京市哲学社会科学"十一五"规划项目(编号06BaZX022)的资助
There are three basic methods presenting type-logical grammar:axiomatic presentation,Gentzen presentation and ND presentation(i.e. natural deduction presentation) . The presentations have the equal ability of deductio...
关键词：逻辑语法 语言学家 逻辑学家 计算过程 语言认知 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部