搜索到39篇“ 类型逻辑语法“的相关文章
- 类型逻辑语法被引量：2
- 2010年
- 类型逻辑语法（type logical grammar）是在经典范畴语法（basic categorial grammar）基础上发展起来的一个现代版本，它区别于传统范畴语法的最突出特征，就是通过使用加标演绎的表述方式，实现了句法推演和语义组合的并行推理，弥补了传统范畴语法在语义解释方面的缺陷。或者说，它是范畴语法、尤其是兰贝克演算（Lambek calculus）与类型逻辑语义学的综合，
- 满海霞李可胜
- 关键词：逻辑语法范畴语法逻辑语义学语义组合语义解释
- 埃杜凯维奇和现代类型逻辑语法研究
- 埃杜凯维奇(Ajdukiewicz)是波兰著名的哲学家和逻辑学家,他是当今公认的范畴语法的创始人。粗略地说,范畴语法是指用逻辑句子和演绎规则来研究自然语言的一些方法。这种逻辑手段运用了数理逻辑的方法,将范畴语法置于逻辑学...
- 张丹妮
- 关键词：类型逻辑语法
- 有穷多模态类型逻辑语法及其在汉语中的应用
- 2018年
- 多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系统。介绍其句法和代数语义,证明了其可靠性与完全性。探讨了在多模态非结合Lambek演算系统下,有穷假设集在汉语语序与异常句等处理上的应用,并简述了此方法的优势。
- 康孝军
- 关键词：类型逻辑语法语序
- 从类型逻辑语法角度审视DRT的组合性问题被引量：1
- 2017年
- 刻画自然语言的语义可以先将自然语言翻译为逻辑语言,然后再给出模型,如蒙塔古的PTQ(1973)以及本文关注的DRT;也可以直接为自然语言给出模型。鉴于前者的翻译介于自然语言和模型之间,于是被称为"中间层",此层面为句法—语义接口的语义部分。所谓组合性,是指从自然语言到该中间层,从中间层再到模型都存在"句法—语义"对应。关于组合性问题,学界已有的解决方案是从自然语言的句法结构和中间层的句法结构连同中间层的语义解释入手,规范地梳理句法—语义对应问题。本文介绍一种经典方案,即将范畴语法与DRT相结合,之后给出改进思路。
- 石运宝
- 把字句和被字句的类型逻辑语法处理方案被引量：2
- 2013年
- 类型逻辑语法是近年来新兴的语言信息处理理论,该理论可以运用分析汉语常用句式把字句和被字句。把"把"处理为受动标记,把"被"处理为施动标记,可以演示此两种句式的句法构形和语义解释过程,通过意义公设建立两类句式与普通及物动词句之间的语义联系,最终将其泛化为两条词汇规则。
- 王欣
- 关键词：类型逻辑语法
- 类型逻辑语法的多种表述
- 类型逻辑语法有三种基本的表述:公理表述;Gentzen表述和ND表述。这三种具有等价推演能力的表述却有各自的功能作用:公理表述便于元逻辑讨论;Gentzen表述能够解决判定问题;ND表述自.然直观地表现出与自然语言的关联...
- 邹崇理
- 关键词：类型逻辑语法
- 类型逻辑语法的词汇主义思想被引量：1
- 2011年
- 类型逻辑语法（Type Logical Grammar）是经典范畴语法（Basic Categorial Grammar）的一个现代版本，是范畴语法与类型逻辑语义学联姻的产物。利用加贝（D．Gabbay）[1]给出的加标演绎表述，类型逻辑语法实现了句法生成和语义组合的并行推演，句法生成基于Lambek演算提供的范畴运算，而语义组合则依据代表语义的入一演算进行。
- 孔繁清满海霞
- 关键词：逻辑语法逻辑语义学范畴语法语义组合句法
- 类型逻辑语法竖线算子的推广
- 2011年
- 逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句"所有人是会死的",第二种模式对此抽象成逻辑公式"(H→D)",而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达"所有(人,会死的)"。本栏目三篇文章前两篇属于第一种模式,第三篇是第二种模式。
- 刘海燕邹崇理
- 关键词：逻辑语法自然语言算子语义问题语言生动
- 类型逻辑语法与汉语中的照应省略
- 2011年
- 现代汉语中存在大量语义资源重复使用的现象,最典型的是代词的回指照应、以及李艳惠在《省略与成分缺失》一文中提到的三种谓词省略结构[1]。在类型逻辑语法框架下,基于Jger构造的LLC系统添加针对"省略槽"引入范畴的规则eI,再借助照应算子的回指搜索功能,不但能够处理一般的代词回指、VP回指现象,还能够推广刻画汉语的多动词单句和兼语句等现象,获得正确的语义解读。可以证明,添加对应eI规则的公理的新系统在特定框架模型下是可靠并且完全的。
- 孔繁清满海霞
- 关键词：类型逻辑语法
- 论类型逻辑语法对蒙太古语法的继承与发展被引量：2
- 2011年
- 蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸显了二者的异同。
- 王欣
- 关键词：类型逻辑语法
相关作者
- 邹崇理
- 作品数：88被引量：178H指数：8
- 供职机构：中国社会科学院哲学研究所
- 研究主题：自然语言 蒙太格语法 形式语义学 范畴语法 逻辑语义学
- 满海霞
- 作品数：23被引量：45H指数：4
- 供职机构：北京科技大学外国语学院
- 研究主题：蒙太格语法 逻辑语义学 类型逻辑语法 汉语 多模态
- 王欣
- 作品数：278被引量：330H指数：8
- 供职机构：上海外国语大学
- 研究主题：高温高压合成 高温高压 石墨烯 SUB 氧化石墨烯
- 孔繁清
- 作品数：3被引量：2H指数：1
- 供职机构：澳门理工学院
- 研究主题：类型逻辑语法 把字句 范畴语法 果类 句法
- 刘海燕
- 作品数：1被引量：0H指数：0
- 供职机构：西南财经大学人文学院
- 研究主题：类型逻辑语法 逻辑语法 自然语言 算子 语义问题
