时态查询语言的并发Lambek演算及范畴语法 被引量：3

1

作者 刘冬宁 汤庸 +1 位作者 黄昌勤 汤娜 《智能系统学报》 2009年第3期245-250,共6页

时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以... 时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善. 展开更多

关键词 时态查询语言 句法分析 并发的Lambek演算 范畴语法

下载PDF 职称材料

函项分层思想及其在语言学研究中的应用

2

作者 满海霞 《重庆理工大学学报（社会科学）》 CAS 2011年第8期83-88,共6页

基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴... 基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两个综合应用模式:蒙太格语法和类型逻辑语法可知,形式语义学总体来讲具有两种发展趋势,即偏向自然语言与偏向逻辑两种风格。 展开更多

关键词 函项分层 逻辑类型论 范畴理论 蒙太格语法 类型逻辑语法

下载PDF 职称材料

旅游自动应答语义模型分析与实践 被引量：2

3

作者 王彦 左春 曾炼 《计算机系统应用》 2017年第2期18-24,共7页

针对常见问答系统采用的以词法分析为基础的浅层语义模型难以有效挖掘用户问句深层语义的问题,本文立足于旅游问答应用领域,采用组合范畴语法对旅游问句进行句法分析,使用Lambda演算式表示问句语义,以此构建旅游领域问句的语义模型,以... 针对常见问答系统采用的以词法分析为基础的浅层语义模型难以有效挖掘用户问句深层语义的问题,本文立足于旅游问答应用领域,采用组合范畴语法对旅游问句进行句法分析,使用Lambda演算式表示问句语义,以此构建旅游领域问句的语义模型,以便于通过精确的问句语义快速查找应答结果.研究首先进行旅游领域数据采集与语料标注的准备性工作,并针对语料对旅游问句的句式句法进行分析;然后采用基于概率的组合范畴语法的监督学习过程,通过训练获得较为可靠的旅游问句语义词典;最后根据语义词典及其他相关知识,学习用户问句语义,构建旅游自动应答语义分析系统,着重于问句解析和相应的语义模型的构建.通过在评测集上的验证,这种语义解析方法在解析效果上有比较明确的提升. 展开更多

关键词 旅游问答系统 组合范畴语法 lambda演算 语义模型 监督学习

下载PDF 职称材料

范畴语法 被引量：12

4

作者 冯志伟 《语言文字应用》 CSSCI 北大核心 2001年第3期100-110,共11页

当代计算语言学中出现了词汇主义的倾向 ,范畴语法是词汇主义的典型代表。本文介绍范畴语法的基本概念和方法 ,着重介绍句法类型演算 ,并通过具体的实例 ,说明了英语动词短语的句法类型演算研究的一些重要成果。

关键词 范畴语法 句法类型 句法类型演算

下载PDF 职称材料

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

5

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

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

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

下载PDF 职称材料

汉语组合类型语法 被引量：2

6

作者 翟成祥 王岩冰 +1 位作者 张家重 徐家福 《中文信息学报》 CSCD 1991年第3期1-6,共6页

组合类型语法是从计算机处理汉语的角度,在范畴语法的基础上提出的一种汉语的形式语法理论。本文介绍了其基本思想及所建立的汉语语法体系,并给出了一些描述实例。

关键词 汉语 组合类型 语法 计算机 处理

下载PDF 职称材料

组合范畴语法树库及其研究 被引量：2

7

作者 邹崇理 《重庆理工大学学报（社会科学）》 2022年第8期34-43,共10页

组合范畴语法是语言逻辑服务于当今人工智能自然语言处理的前沿阵地。组合范畴语法把自然语言的句法和语义的构造看作是受逻辑规则支配的计算过程,是逻辑、语言和计算交叉研究的结果。组合范畴语法树库是组合范畴语法对自然语言的大规... 组合范畴语法是语言逻辑服务于当今人工智能自然语言处理的前沿阵地。组合范畴语法把自然语言的句法和语义的构造看作是受逻辑规则支配的计算过程,是逻辑、语言和计算交叉研究的结果。组合范畴语法树库是组合范畴语法对自然语言的大规模真实文本进行分析的产物,是计算机人工智能关于自然语言分析的机器自主学习训练的语料资源库。从以下4个方面对组合范畴语法树库进行探究:(1)组合范畴语法的源头——范畴语法;(2)范畴语法的逻辑依据——范畴类型逻辑;(3)句法和语义的并行推演计算——组合范畴语法;(4)针对自然语言大规模真实文本——组合范畴语法树库及其研究。 展开更多

关键词 范畴语法 范畴类型逻辑 组合范畴语法 组合范畴语法树库

下载PDF 职称材料

一种基于规则转换的机器翻译方法初探

8

作者 王荣波 周昌乐 池哲儒 《计算机工程与应用》 CSCD 北大核心 2004年第30期97-101,135,共6页

机器翻译(MachineTranslation,简称MT)是21世纪科技领域的一个难题之一,而要实现机器翻译,对自然语言进行形式化是核心。机器翻译的突破依赖于语言学研究的突破。该文介绍一种汉语句子形式化的方法。涉及的内容包括Montague语法,范畴语... 机器翻译(MachineTranslation,简称MT)是21世纪科技领域的一个难题之一,而要实现机器翻译,对自然语言进行形式化是核心。机器翻译的突破依赖于语言学研究的突破。该文介绍一种汉语句子形式化的方法。涉及的内容包括Montague语法,范畴语法,内涵逻辑,汉语语法等。该文主要在理论上进行了探讨,并用例子进行详细说明该汉语句子形式化方法在英汉机器翻译中的应用。结果表明,该方法具有一定的有效性。 展开更多

关键词 机器翻译 计算语言学 范畴语法 Montague语法 内涵逻辑

下载PDF 职称材料

证明网络与语言处理 被引量：1

9

作者 贾青 贾阳 《重庆理工大学学报（社会科学）》 CAS 2016年第9期14-18,61,共6页

证明网络是证明的一种图像处理方式。在范畴语法中,由于证明网络具有便于给出语言句法分析这一特点,因此可以说证明网络是范畴语法中"句法分析即推导"这一口号的最佳体现方式之一。为了对证明网络有一个全面的了解,对其大体... 证明网络是证明的一种图像处理方式。在范畴语法中,由于证明网络具有便于给出语言句法分析这一特点,因此可以说证明网络是范畴语法中"句法分析即推导"这一口号的最佳体现方式之一。为了对证明网络有一个全面的了解,对其大体内容以及在语言处理上的优势做了概述。 展开更多

关键词 范畴语法 证明网络 语言处理 句法分析

下载PDF 职称材料

类型—逻辑语法的句法特色

10

作者 张秋成 《湖南科技大学学报（社会科学版）》 2006年第3期35-39,共5页

论述类型—逻辑语法的句法特色———兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴—希勒尔所创立的经典范畴语法的改进和发展,其表述有多种形式,重点论述在实践中应用广泛的根岑风格的兰贝克演算。

关键词 范畴语法 兰贝克演算 后承语法

下载PDF 职称材料

Lambek逻辑的名词化扩充

11

作者 聂文龙 《南京大学学报（数学半年刊）》 CAS 2007年第2期258-263,共6页

出于语言学的动机,给出著名的Lambek逻辑L的一个扩充L^(nom),在L^(nom)中,引入名词化的公理与规则.系统L^(nom)关于修正幂集剩余半群语义是可靠和完全的。

关键词 范畴语法 Lambek逻辑 名词化

下载PDF 职称材料

结合语义表达的语法研究 被引量：19

12

作者 马庆株 《汉语学习》 2000年第2期1-7,共7页

在语法研究的新阶段已经开始并且应当继续从结构、语义、表达等三个方面研究汉语语法的聚合和组合。本文分别讨论语义和语法聚合、组合的关系，表达和语法聚合、组合的关系，通过具体事例论述了语义功能研究问题，如构词成分和构形成分... 在语法研究的新阶段已经开始并且应当继续从结构、语义、表达等三个方面研究汉语语法的聚合和组合。本文分别讨论语义和语法聚合、组合的关系，表达和语法聚合、组合的关系，通过具体事例论述了语义功能研究问题，如构词成分和构形成分，语义负载者，歧义的种类，语义语法范畴研究的普通语言学意义，分类在语法研究中的重要性等等；提出了根据表达功能的词组分类系统，提出了语义功能语法的一些研究课题。 展开更多

关键词 语义功能语法 语义范畴语法 语法聚合 语法组合 分类

下载PDF 职称材料

探索语言逻辑与信息处理结合的新路径——《自然语言信息处理的逻辑语义学研究》评介 被引量：4

13

作者 黄华新 洪峥怡 《重庆理工大学学报（社会科学）》 CAS 2019年第4期13-16,共4页

介绍2018年9月出版的《自然语言信息处理的逻辑语义学研究》的写作背景及其主要内容。指出该书有3个鲜明特色:理论性与应用性结合、对汉语特殊性的关注、多学科交叉融通;其理论价值和应用价值都很突出,为计算机自然语言处理提供了新的... 介绍2018年9月出版的《自然语言信息处理的逻辑语义学研究》的写作背景及其主要内容。指出该书有3个鲜明特色:理论性与应用性结合、对汉语特殊性的关注、多学科交叉融通;其理论价值和应用价值都很突出,为计算机自然语言处理提供了新的思路。 展开更多

关键词 逻辑语义学 自然语言信息处理 范畴类型逻辑 组合范畴语法

下载PDF 职称材料

广义斯科伦项理论对汉语量词辖域的处理

14

作者 朱乐亚 《安康学院学报》 2024年第6期94-100,共7页

在组合范畴语法中,任何具体语言的词库都只会使用有穷的范畴集,语言的词项范畴与组合范畴语法所允准的组合规则之间存在很强的交互作用。组合范畴语法要求为每个句法范畴匹配相应的语义解释,同时,语义类型也必须与句法范畴相匹配。虽然... 在组合范畴语法中,任何具体语言的词库都只会使用有穷的范畴集,语言的词项范畴与组合范畴语法所允准的组合规则之间存在很强的交互作用。组合范畴语法要求为每个句法范畴匹配相应的语义解释,同时,语义类型也必须与句法范畴相匹配。虽然组合范畴语法的句法推演取得很大进步,但与句法范畴相配套的语义表征工作滞后。这造成了句法-语义脱节现象,尤其是量词辖域的处理,而广义斯科伦项理论在语义上弥补了组合范畴语法的生成力不足,即使得语句的表层结构和语义解释相一致。 展开更多

关键词 广义斯科伦项理论 组合范畴语法 量词辖域

下载PDF 职称材料

“CCG+广义斯科伦项理论”视域下汉语被动句的量词辖域分析

15

作者 朱乐亚 《郑州航空工业管理学院学报（社会科学版）》 2024年第5期97-102,共6页

在融入广义斯科伦项理论的CCG框架内分析汉语被动句中量化名词词组间的辖域互动关系,并尝试论证汉语量化被动句的辖域歧义本质上是词汇歧义。首先,将汉语量化被动句划分成两个子类:汉语量化长被动句和汉语量化短被动句。然后在“CCG+广... 在融入广义斯科伦项理论的CCG框架内分析汉语被动句中量化名词词组间的辖域互动关系,并尝试论证汉语量化被动句的辖域歧义本质上是词汇歧义。首先,将汉语量化被动句划分成两个子类:汉语量化长被动句和汉语量化短被动句。然后在“CCG+广义斯科伦项理论”框架内对各类量化被动句的量词辖域现象做出解释。在量化长被动句中,主要分析有界量化长被动句和无界量化长被动句中量词间的辖域互动现象。在量化短被动句中,主要探讨有界量化短被动句和无界量化短被动句中量化名词词组间的辖域互动现象。研究结果发现,汉语量化被动句存在量词辖域歧义性。 展开更多

关键词 组合范畴语法 广义斯科伦项理论 汉语被动句 量词辖域

下载PDF 职称材料

“CCG+广义斯科伦项理论”视角下汉语并列句的量词辖域分析

16

作者 朱乐亚 《广西科技师范学院学报》 2024年第1期28-36,共9页

融入广义斯科伦项理论的组合范畴语法可对汉语并列句中NP和NP间的量词辖域关系作出解释。首先,本研究将汉语量化并列句分成典型量化并列句和非典型量化并列句,然后侧重分析典型量化并列句中NP和NP间的量词辖域关系,并给出合乎语句原义... 融入广义斯科伦项理论的组合范畴语法可对汉语并列句中NP和NP间的量词辖域关系作出解释。首先,本研究将汉语量化并列句分成典型量化并列句和非典型量化并列句,然后侧重分析典型量化并列句中NP和NP间的量词辖域关系,并给出合乎语句原义的完整推演图。在典型量化并列句中,本研究主要考察体词性量化并列句和动词性量化并列句中NP和NP间的量词辖域关系。研究结果发现,融入广义斯科伦项理论的组合范畴语法聚焦于量词属性的描述,这能对并列句和量词辖域间的关系进行合理地刻画。 展开更多

关键词 组合范畴语法 广义斯科伦项理论 量词辖域

下载PDF 职称材料

多模态范畴类型逻辑 被引量：1

17

作者 邹崇理 《安徽师范大学学报（社会科学版）》 CSSCI 北大核心 2012年第6期661-667,共7页

多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而... 多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。 展开更多

关键词 组合范畴语法 范畴类型逻辑 多模态范畴类型逻辑

下载PDF 职称材料

汉语间接被动句的多模态组合范畴语法处理

18

作者 姚从军 贺春雅 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2024年第5期42-49,共8页

汉语被动句有长短之别,也有直接和间接之分,如何处理汉语被动句历来是计算语言学家需要攻克的难题。根据主语与“被”后某成分的不同关系,间接被动句分为“包括式间接被动句”和“排除式间接被动句”。传统分析方法借助移位、控制和述... 汉语被动句有长短之别,也有直接和间接之分,如何处理汉语被动句历来是计算语言学家需要攻克的难题。根据主语与“被”后某成分的不同关系,间接被动句分为“包括式间接被动句”和“排除式间接被动句”。传统分析方法借助移位、控制和述谓等操作分析汉语间接被动句,不仅否定了汉语间接被动句的原生成性,而且违反了语法规则,并出现了诸多难以解释的现象。多模态组合范畴语法MMCCG是单层结构语法,它从汉语间接被动句的表层结构出发,以毗连组合的方式生成其MMCCG树,从而证明了汉语间接被动句的原生成性,并避免了传统分析方法处理汉语间接被动句时出现的问题。 展开更多

关键词 间接被动句 多模态组合范畴语法 广义斯科伦项

原文传递

支持中文句法结构套叠的组合范畴语法 被引量：2

19

作者 王庆江 张琳 《中文信息学报》 CSCD 北大核心 2020年第1期17-22,共6页

词组入句时发生语法性质转变,词组的句法范畴就应该转换,这种转换依赖词组作为整体进入更大词组的结构需要。要解释这种现象,组合范畴语法应该增加相应的转换规则。从集合论角度看,汉语有名词-动词-形容词依次包含关系,由此可归纳基本... 词组入句时发生语法性质转变,词组的句法范畴就应该转换,这种转换依赖词组作为整体进入更大词组的结构需要。要解释这种现象,组合范畴语法应该增加相应的转换规则。从集合论角度看,汉语有名词-动词-形容词依次包含关系,由此可归纳基本句法结构之间的转类套叠。在类有定职的前提下,得出转类套叠对应的范畴转换规则,形成有范畴转换机制的组合范畴语法C^2-CCG。研究表明这种基于词组本位的形式语法有希望解释中文句法中各种转类套叠。 展开更多

关键词 组合范畴语法 结构套叠 范畴转换

下载PDF 职称材料

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

20

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

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

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

下载PDF 职称材料