基于格语法思想的范畴类型逻辑研究 被引量：4

1

作者 邹崇理 崔佳悦 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2014年第4期15-22,共8页

格语法的基本思想是:自然语言语句的底层结构以动词为中心,动词的论元由动词周围具有不同格角色的名词所担任,构成复合表达式的部分表达式分为中心成分和非中心成分。格语法的分析是多分法的语法模式。在格语法看来,有时候句中围绕同样... 格语法的基本思想是:自然语言语句的底层结构以动词为中心,动词的论元由动词周围具有不同格角色的名词所担任,构成复合表达式的部分表达式分为中心成分和非中心成分。格语法的分析是多分法的语法模式。在格语法看来,有时候句中围绕同样动词的名词性成分可多可少,动词的语法功能因此改变。汉语体现了格语法的动词中心思想,产生了各式各样的格语句。动词双宾语现象和动词前和动词后的多重介词短语句皆是多分法分析的例证。汉语格语句中有不少的可选格名词,这样使得其中动词的语法功能发生变化。对格语法进行范畴语法的抽象,获得一种新型的范畴类型逻辑系统:中心成分和非中心成分的区分要求积范畴分为左积和右积;多分法的分析模式使得积范畴和函子范畴的论元是多元的,动词语法功能的改变对应函子范畴的论元增添。这种范畴类型逻辑系统的框架语义中的可及关系是非单一的,构建基于这种框架的语义模型,可以证明系统的可靠性和完全性。 展开更多

关键词 格语法 动词中心 多分法 范畴类型逻辑

在线阅读 下载PDF 职称材料

基于范畴类型逻辑的汉语反身代词指代歧义的消解 被引量：6

2

作者 张晓君 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第3期86-92,F0003,共8页

范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及对同一词条指派不同的范畴,可以从逻辑推演和计算的双重视角... 范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及对同一词条指派不同的范畴,可以从逻辑推演和计算的双重视角对汉语反身代词的指代歧义进行消解。 展开更多

关键词 范畴类型逻辑 反身代词 指代歧义 指代消解

在线阅读 下载PDF 职称材料

组合范畴语法与范畴类型逻辑的分析与比较 被引量：5

3

作者 姚从军 《云南师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2015年第1期75-81,共7页

范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显... 范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显,前者主要关心不同逻辑算子对语言的适用性和逻辑系统的证明论性质,认为生成能力不具有主要的理论意义,在计算应用中没有价值;后者更多集中在获得低的自动机理论能力和良好计算性质的语言表达系统。 展开更多

关键词 范畴语法 范畴类型逻辑 组合范畴语法 计算 生成能力

在线阅读 下载PDF 职称材料

混合范畴类型逻辑对汉语形名结构及其虚化成分的研究 被引量：1

4

作者 张璐 邹崇理 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2013年第5期44-49,共6页

尽管对形名修饰结构的句法生成与语义解释存在异议,但是学者们都将普通名词和形名结构本身赋予<e,t>的语义类型。因此,形名修饰结构的研究重心就落在了形容词的语义类型如何确定上。形名结构是自然语言中的普遍现象,而汉语形名结... 尽管对形名修饰结构的句法生成与语义解释存在异议,但是学者们都将普通名词和形名结构本身赋予<e,t>的语义类型。因此,形名修饰结构的研究重心就落在了形容词的语义类型如何确定上。形名结构是自然语言中的普遍现象,而汉语形名结构则体现出自身的特点,比如形名结构中出现虚化成分"的"字等。混合范畴类型逻辑将多模态组合范畴语法的前提敏感特征带入了范畴类型逻辑,使得范畴类型逻辑可以对自然语言现象进行更为准确的刻画,这种逻辑工具对处理汉语这一意合型语言无疑具有值得期待的前景。 展开更多

关键词 混合范畴类型逻辑 合取型形容词 类属型形容词 虚化成分

在线阅读 下载PDF 职称材料

从语言到逻辑——范畴类型逻辑序列 被引量：6

5

作者 邹崇理 《重庆工学院学报》 2006年第4期1-7,共7页

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面... 范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究。 展开更多

关键词 范畴类型逻辑 自然语言 范畴运算

在线阅读 下载PDF 职称材料

从范畴类型逻辑看蒙太格语法的被动转换规则

6

作者 崔佳悦 邹崇理 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2014年第6期57-61,共5页

蒙太格语法是对范畴语法的继承,其句法规则采纳的是"毗连运算"这种遵循范畴语法函项应用原则的操作。但是在蒙太格语法中体现被动转换操作的扩展规则那里似乎看不到范畴语法的作用,被动转换规则是否遵循范畴语法的规律?以蒙... 蒙太格语法是对范畴语法的继承,其句法规则采纳的是"毗连运算"这种遵循范畴语法函项应用原则的操作。但是在蒙太格语法中体现被动转换操作的扩展规则那里似乎看不到范畴语法的作用,被动转换规则是否遵循范畴语法的规律?以蒙太格语法对英语被动句——"结构被动句"的分析为例,从范畴语法的现代版本——范畴类型逻辑的视角来审视蒙太格语法的转换过程,获得的结论是:范畴类型逻辑提供的工具可以证明被动句转换的合理性,蒙太格语法扩展的被动转换规则同样遵循了范畴语法的规律。 展开更多

关键词 蒙太格语法 转换规则 范畴语法 范畴类型逻辑 结构被动句

在线阅读 下载PDF 职称材料

处理汉语反身代词回指照应问题的范畴类型逻辑(Bi)LLC

7

作者 贾青 石运宝 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2014年第4期36-40,共5页

贾戈尔给出了处理英语反身代词回指照应问题的范畴类型逻辑系统LLC,但汉语反身代词的复杂性使得LLC并不能对其加以处理,为了弥补LLC在处理汉语反身代词回指照应中的缺陷我们才要对其进行修正,进而得到系统(Bi)LLC。汉语反身代词在回指... 贾戈尔给出了处理英语反身代词回指照应问题的范畴类型逻辑系统LLC,但汉语反身代词的复杂性使得LLC并不能对其加以处理,为了弥补LLC在处理汉语反身代词回指照应中的缺陷我们才要对其进行修正,进而得到系统(Bi)LLC。汉语反身代词在回指照应问题上具有"长距离约束"、主语倾向性、"次统领约束"和先行语后置等特殊性,范畴类型逻辑系统(Bi)LLC可以处理这些问题。 展开更多

关键词 反身代词 回指照应 范畴类型逻辑

在线阅读 下载PDF 职称材料

多模态范畴语法和汉语部分“的”字研究 被引量：2

8

作者 张璐 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2016年第5期48-53,共6页

范畴语法是对自然语言信息进行可计算处理的逻辑语义体系。从20世纪70年代的蒙太古语法开始基于句法范畴和语义类型的对应来尝试处理英语部分语段,到目前多模态范畴语法对组合范畴语法和范畴类型逻辑的结合,都是为了能够取范畴语法体系... 范畴语法是对自然语言信息进行可计算处理的逻辑语义体系。从20世纪70年代的蒙太古语法开始基于句法范畴和语义类型的对应来尝试处理英语部分语段,到目前多模态范畴语法对组合范畴语法和范畴类型逻辑的结合,都是为了能够取范畴语法体系中具有不同结构性质的类型逻辑系统的长处,以便更好地处理自然语言的句法和语义。汉语中独有的虚化成分"的"的可计算研究正体现了范畴语法的发展思路。 展开更多

关键词 多模态范畴语法 混合范畴类型逻辑 汉语虚化成分“的”

在线阅读 下载PDF 职称材料

古汉语使动双宾语语句的逻辑语义分析

9

作者 林胜强 付豪 《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2018年第3期84-87,共4页

利用范畴类型逻辑对古汉语使动双宾语语句进行逻辑分析时,句法和语义的组合可以同时在树结构中展示出来,句法组合伴随了语义方面的函数应用。文章列举了古汉语"晋侯饮赵盾酒"和"殴民而归之农"两例进行逻辑语义分析... 利用范畴类型逻辑对古汉语使动双宾语语句进行逻辑分析时,句法和语义的组合可以同时在树结构中展示出来,句法组合伴随了语义方面的函数应用。文章列举了古汉语"晋侯饮赵盾酒"和"殴民而归之农"两例进行逻辑语义分析,以说明这一研究方法具有普适性,能够对中文信息处理起到一定的推动作用。 展开更多

关键词 使动句双宾语语句 范畴类型逻辑 逻辑语义

在线阅读 下载PDF 职称材料

从CTL到CCG——逻辑语义学的新模式

10

作者 邹崇理 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2017年第2期42-50,共9页

范畴类型逻辑CTL和组合范畴语法CCG,是范畴语法CG的两个现代版本。CTL采用传统的逻辑语义学方式,其特点是强调计算的思想、基于规则的思路和研究逻辑工具本身的性质。就面向自然语言计算机处理的任务而言,CTL的短板是显然的,即对自然语... 范畴类型逻辑CTL和组合范畴语法CCG,是范畴语法CG的两个现代版本。CTL采用传统的逻辑语义学方式,其特点是强调计算的思想、基于规则的思路和研究逻辑工具本身的性质。就面向自然语言计算机处理的任务而言,CTL的短板是显然的,即对自然语言的丰富多样的具体现象,尤其是对语词的研究非常不充分。CCG则挑战传统,大胆创新,提出新的研究模式,构筑大规模的词库,关注大量的规则例的应用,以此满足了计算机的自然语言系统处理大规模真实文本的需求。而如果全面系统地考虑语义因素,CCG的词库和规则例也可能需要大的调整。CCG的下一步研究任重而道远。 展开更多

关键词 逻辑语义学 范畴类型逻辑 组合范畴语法

在线阅读 下载PDF 职称材料

《湖北大学学报》2013年总目录

11

《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2013年第6期149-152,共4页

关键词 范畴类型逻辑 中国法律近代化 实证研究 湖北 路径分析 大学学报 公示语英译 中国现当代文学史 概念 思维形式 马克思主义中国化 中国化的马列主义 朱祖延 目录 检索工具

在线阅读 下载PDF 职称材料