广义量词的单调性与数字三角形 被引量：9

1

作者 张晓君 郝一江 《重庆理工大学学报（社会科学）》 CAS 2010年第3期18-24,共7页

回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而... 回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而更加清楚直观且全面深入细致地探讨了类型为〈1〉的广义量词和类型为〈1,1〉的广义量词的单调性与数字三角形之间的关系。 展开更多

关键词 广义量词 单调递增 单调递减 数字三角形 数字三角形简图

下载PDF 职称材料

格值一阶逻辑系统LF(X)中的广义量词 被引量：4

2

作者 周平 姜明 徐扬 《模糊系统与数学》 CSCD 北大核心 2006年第5期96-100,共5页

给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。

关键词 格值-阶逻辑系统LF(X) 广义量词 不确定性推理

下载PDF 职称材料

格值一阶逻辑系统LF(X)中带广义量词的α-归结原理 被引量：6

3

作者 周平 姜明 孙西芃 《模糊系统与数学》 CSCD 北大核心 2008年第5期10-15,共6页

讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。

关键词 α-归结原理 广义量词 格值一阶逻辑系统LF(X) 格蕴涵代数

下载PDF 职称材料

格值一阶逻辑系统LF(X)中带广义量词的不确定性推理 被引量：3

4

作者 周平 姜明 徐扬 《模糊系统与数学》 CSCD 北大核心 2007年第2期40-45,共6页

讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。

关键词 格值一阶逻辑系统LF(X) 广义量词 FMP FMT不确定性推理规则

下载PDF 职称材料

关于居间广义量词“few”的广义三段论的有效性 被引量：2

5

作者 吴宝祥 李晟 《重庆理工大学学报（社会科学）》 CAS 2016年第7期12-16,共5页

在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词。利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语... 在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词。利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语言信息处理,提出并证明了居间广义量词few的12个有效的广义三段论。 展开更多

关键词 广义量词 居间量词 广义三段论 有效性

下载PDF 职称材料

刻画量化结构及其推理的汉语部分语句系统

6

作者 邹崇理 《西南师范大学学报（人文社会科学版）》 CSSCI 北大核心 2003年第3期20-25,共6页

刻画量化结构及其推理的汉语部分语句系统 ,其价值如下 :(1)运用广义量词理论的方法分析汉语量化结构的各种特征 ;(2 )扩大自然语言部分语句系统的功能 ,不仅从句法上可以生成由汉语量化句表述的包括对当关系和三段论在内的推理 ,还能... 刻画量化结构及其推理的汉语部分语句系统 ,其价值如下 :(1)运用广义量词理论的方法分析汉语量化结构的各种特征 ;(2 )扩大自然语言部分语句系统的功能 ,不仅从句法上可以生成由汉语量化句表述的包括对当关系和三段论在内的推理 ,还能够从语义上解释这些推理句的逻辑有效性 ;(3 )在自然语言部分语句系统内生成并解释推理 。 展开更多

关键词 广义量词 量化结构 逻辑推理 汉语部分语句系统 刻画

下载PDF 职称材料

对“一+单位词+N+否定词”类周遍性主语的广义量词个案研究

7

作者 满海霞 《重庆理工大学学报（社会科学）》 CAS 2010年第7期12-16,共5页

陆俭明先生指出,汉语＂一＋单位词＋N＋否定词＂类名词性短语作主语能够表示周遍性涵义。在逻辑中,这一结构往往被处理成全称量词,但是从语义角度看,它必须和否定共同出现才能表示周遍性涵义。所以,将该结构与否定视为整体处理成一个量... 陆俭明先生指出,汉语＂一＋单位词＋N＋否定词＂类名词性短语作主语能够表示周遍性涵义。在逻辑中,这一结构往往被处理成全称量词,但是从语义角度看,它必须和否定共同出现才能表示周遍性涵义。所以,将该结构与否定视为整体处理成一个量词更加符合人们对该词的语义理解。于是,此处将此结构刻画成〈1〉类和〈1,1〉类型的广义量词分别加以考察,表明〈1,1〉类型的处理方法在语义上最符合其语义理解;并在此讨论基础上,对现代版对当方阵做出了描述。 展开更多

关键词 周遍性主语 广义量词 〈1〉类型量词 〈1 1〉类型量词 对当方阵

下载PDF 职称材料

基于焦点信息量化讨论的存现句类型分析 被引量：2

8

作者 侯敏 李丽丽 《华北水利水电大学学报（社会科学版）》 2017年第5期127-130,共4页

作为自然语言逻辑重要组成部分的广义量词理论在国内还未引起广泛关注。将该理论与语言研究结合起来,根据强弱性质的不同,量词可分为比例量词限定词和基数量词限定词。通过焦点信息的量化分析将英语存现句分成四类:表示基本存在、表示... 作为自然语言逻辑重要组成部分的广义量词理论在国内还未引起广泛关注。将该理论与语言研究结合起来,根据强弱性质的不同,量词可分为比例量词限定词和基数量词限定词。通过焦点信息的量化分析将英语存现句分成四类:表示基本存在、表示描述、表示任务、表示清单。其中,在表示基本存在和表示描述的存现句中只能出现基数量词限定词,在表示清单存现句中只能出现比例量词限定词,而在表示任务存现句中量词类型则不受限制。 展开更多

关键词 广义量词 存现句 比例量词限定词 基数量词限定词

下载PDF 职称材料

亨迪卡的条件概称句述评

9

作者 董高伟 《重庆理工大学学报（社会科学）》 2023年第5期150-156,共7页

亨迪卡在运用博弈论语义学解释条件句时发现,存在一类条件概称句,这类句子后件中包含一个代词,并且这个代词指称前件中量词所管辖的名词,句中的量词即概称量词。在条件概称句的解释方案上,亨迪卡从现实中博弈参与人的博弈回合出发,将博... 亨迪卡在运用博弈论语义学解释条件句时发现,存在一类条件概称句,这类句子后件中包含一个代词,并且这个代词指称前件中量词所管辖的名词,句中的量词即概称量词。在条件概称句的解释方案上,亨迪卡从现实中博弈参与人的博弈回合出发,将博弈规则(G.if)拓展为(G.cond1),通过策略选择的语境确定概称量词的所指,这种解释方案实质上是概称句的心理语义解释方案。 展开更多

关键词 博弈论语义学 条件句 概称句 概称量词 实质蕴涵

下载PDF 职称材料

(Q)格值模型的省略型定理 被引量：1

10

作者 王捍贫 谢惠扬 《北京大学学报（自然科学版）》 CAS CSCD 北大核心 1999年第3期409-413,共5页

将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。

关键词 广义量词 格值模型论 省略型定理 格值逻辑

下载PDF 职称材料

英语限定词研究的两个维度 被引量：1

11

作者 逄玉媚 《外语学刊》 CSSCI 北大核心 2014年第6期41-43,共3页

本文初步梳理英语限定词研究,在现有语法研究维度基础上提出英语限定词研究的语义维度。研究表明,英语限定词在形式语义学中经历了从一阶逻辑量词到广义量词的发展,后者进一步构成形式语义研究与自然语义研究的契合点,从而促进不同语言... 本文初步梳理英语限定词研究,在现有语法研究维度基础上提出英语限定词研究的语义维度。研究表明,英语限定词在形式语义学中经历了从一阶逻辑量词到广义量词的发展,后者进一步构成形式语义研究与自然语义研究的契合点,从而促进不同语言研究领域之间的对话与融合。 展开更多

关键词 限定词 语法维度 语义维度 形式语义学 广义量词

原文传递

LF(X)中带广义量词的可靠性定理

12

作者 周平 姜明 徐扬 《模糊系统与数学》 CSCD 北大核心 2008年第2期31-35,共5页

讨论一阶格值逻辑系统LF(X)中带广义量词的语法推理,同时证明了LF(X)中带广义量词的可靠性定理,作为应用我们对带广义量词的一些推理规则作了语法的证明。

关键词 一阶格值逻辑系统LF(X) 广义量词 可靠性定理

下载PDF 职称材料

汉语量化并列结构的多模态组合范畴语法处理

13

作者 罗丹 《贵州工程应用技术学院学报》 2020年第6期28-37,共10页

量化结构历来是语言学家、逻辑学家以及人工智能学家共同关注的焦点问题,而量化并列结构更是长期争论不休、亟待解决的疑难之一。在多模态组合范畴语法的理论框架中融入广义斯科伦项技术,拟对汉语量化并列结构进行处理,以冀为量化并列... 量化结构历来是语言学家、逻辑学家以及人工智能学家共同关注的焦点问题,而量化并列结构更是长期争论不休、亟待解决的疑难之一。在多模态组合范畴语法的理论框架中融入广义斯科伦项技术,拟对汉语量化并列结构进行处理,以冀为量化并列结构提供一般的解析框架。多模态的组合范畴语法,将敏感的模态算子特征及广义斯科伦项技术融入到原生态CCG的框架系统,能够对自然语言现象进行更为精确的刻画。这种逻辑工具在处理更多的汉语语言现象中也有更值得期待的前景。 展开更多

关键词 量化并列结构 多模态组合范畴语法 广义斯科仑项 广义量词

下载PDF 职称材料

LF(X)中带广义量词的弱完备性定理

14

作者 周平 姜明 孙西芃 《四川师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第1期6-9,共4页

给出了一阶格值逻辑系统LF(X)中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF(X)中带广义量词的弱完备性定理.

关键词 一阶格值逻辑系统LF(X) 广义量词 弱完备性定理

下载PDF 职称材料

L(Q)格值模型的初等子模型(英文)

15

作者 谢惠扬 王捍贫 《北京大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第5期623-629,共7页

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。对有限的线性序弱可补格 ,讨论了关于L(Q)模型的初等子模型的一些性质 ,如强升和强降L S T定理 。

关键词 广义量词 格值模型论 初等扩充 初等子模型 完备弱可补格 线性序弱可补格

下载PDF 职称材料

表达量化的方式及其形式刻画问题探讨

16

作者 姚从军 《晋中学院学报》 2009年第5期46-50,共5页

许多自然语言句子具有QAB的形式,这里Q是量化短语;A是普通名词短语;B是动词短语。自然语言语句表达量化的方式是多种多样的,这样在形式逻辑中对量化式的刻画也是方法各异。许多英语限定词在经典一阶逻辑里能够得到刻画,尽管要使用有点... 许多自然语言句子具有QAB的形式,这里Q是量化短语;A是普通名词短语;B是动词短语。自然语言语句表达量化的方式是多种多样的,这样在形式逻辑中对量化式的刻画也是方法各异。许多英语限定词在经典一阶逻辑里能够得到刻画,尽管要使用有点复杂的累赘的说法。但是也有许多限定词不能在经典一阶逻辑中表达出来。我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。 展开更多

关键词 广义量词 量化 经典逻辑 表达力

下载PDF 职称材料

基于广义量词理论的亚氏三段论 被引量：11

17

作者 张晓君 黄朝阳 《重庆理工大学学报（社会科学）》 CAS 2012年第10期7-11,共5页

揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏... 揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏量词与其三种否定量词的语义性质(比如单调性)之间的可转换性。 展开更多

关键词 亚氏三段论 广义量词理论 广义量词 单调性 对称性

下载PDF 职称材料

布赓语泛化个体量词重叠的功能及其价值

18

作者 赵姣 《语言研究》 CSSCI 北大核心 2024年第4期119-126,共8页

布赓语中泛化个体量词分“表人”“表动物”“表事物”3类,它们重叠后不表“遍指”,而表整体的“一小部分”。泛化个体量词重叠表“小部分量”的现象在整个世界语言中较为罕见,它与泛化个体量词重叠后的指称性以及布赓语表量体系的特点... 布赓语中泛化个体量词分“表人”“表动物”“表事物”3类,它们重叠后不表“遍指”,而表整体的“一小部分”。泛化个体量词重叠表“小部分量”的现象在整个世界语言中较为罕见,它与泛化个体量词重叠后的指称性以及布赓语表量体系的特点有关。 展开更多

关键词 布赓语 泛化个体量词 重叠 部分解读

原文传递

基于广义量词理论的直言三段论推理规则的形式化辨析 被引量：4

19

作者 张晓君 林胜强 《中国社会科学院研究生院学报》 CSSCI 北大核心 2015年第1期35-39,共5页

在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语... 在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理,都具有重要的理论意义和实践价值。 展开更多

关键词 广义量词理论 亚里斯多德量词 三段论 推理规则

原文传递

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

20

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

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

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

下载PDF 职称材料