广义量词理论对一阶逻辑的扩展

广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词（全称量词和存在量词）的推广。对一阶逻辑进行扩展的主要原因有二：其一是为了解释亚氏三段论形式以外的大量的有效推理;其二是为了提升一阶逻辑的表达力,使得计算机能够更好地处理自然语言。文章阐述了广义量词理论来自于哪里,是如何得来的。现代谓词逻辑首先通过固定一阶逻辑中的全称量词和存在量词的真值定义,然后把它们的真值定义推广到〈1〉类型的广义量词,之后把〈1〉类型的广义量词的真值定义推广到任意的广义量词。这样就可以把任意的广义量词添加到一阶逻辑中,从而得到表达力更强的逻辑———广义量词理论。     

含有居间量词ｍｏｓｔ的广义三段论的有效性

一般而言,居间量词是语义上的<1,1>类型的广义量词,表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实,阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理。     

自然语言语篇推理的形式化探究

不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。     

基于广义量词almostall的广义三段论的语篇推理探究

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含 al-most all 的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。     

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

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

广义量词的推理模式研究

基于Peters和Westersthl(2006)、Moss(2010, 2011)、Chow Ka Fat(2012)等相关文献的工作,可进一步概括出广义量词的三种主要推理模式：论元结构推理、单调性推理和广义三段论推理。可以用大量实例对这些推理模式加以说明。由于广义量词在自然语言中普遍存在,这些研究对计算机科学中的知识表示和知识推理等方面具有重要意义。     

广义量词的单调性与其他语义性质之间的关系

广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.     

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

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

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

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

广义量词的各种单调性之间的关系

广义量词理论在集合论的基础上得到发展,提升了一阶逻辑处理现实世界的能力,有助于计算机更好地处理自然语言。单调性是广义量词最为重要的语义性质。1类型广义量词的单调性与其亲缘量词的单调性之间具有可转换关系,同一个1,1类型广义量词的不同单调性之间也具有可转换关系,这些转换关系可以用数字三角形简图进行直观验证。     

意象理论在汉语量词辨析中的认知作用

量词数量众多、用法灵活是现代汉语的重要特征之一.量词总是与名词搭配使用的,它们的搭配关系实际上反映了人们对名词所代表的范畴的理解和认识,是认知语言学的重要认知内容.认知语言学的意象分析理论和方法在汉语量词的辨析运用方面有着独到的功能.     

经典一阶逻辑的希尔伯特型系统

系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'的完全性。     

论集合量词在量词系统中的地位

量词可以分为物量词、动量词和时量词三种，物量词又可以分为个体量词、集合量词和度量量词三种。集合量词在意义、作用、形态和功能上既严格区别于个体量词，又严格区别于度量量词。在量词系统中，集合量词是物量词中和个体量词、度量量词平列的一个独立的小类。     

从三个平面角度析汉语量词特点及其特殊用法

从三个平面角度（即句法、语义、语用），将语法结构研究与语用研究结合起来。通过比较方法,分析量词的特点；着重从语用角度分析量词特殊用法——量词隐省，并提出量词理论研究在实际运用中有重要的指导意义。     

古今汉语中关于鱼的量词历时考察

汉语量词从古至今经历了一个复杂的演变过程.通过对主要汉语语料库的调查发现:汉语中用于称量鱼的量词有:“个、枚、头、尾、条、首、番”7个.从历时的角度,考察这一组量词与名词鱼的组合搭配.主要分析了这些量词和名词鱼搭配产生的时间、演变过程以及现今搭配格局形成的原因.通过研究发现,鱼的量词的演化有如下两条趋势:“鱼”的量词由不使用量词到与通用量词“枚”、“头”和“个”搭配,再发展到了有与鱼专门搭配的量词“尾”与“条”；称量鱼的量词从与通用量词搭配发展到与形状量词搭配的趋势.     

分枝量词及其对组合原则的挑战

分枝量词揭示了量词之间的相对独立性,其语义解释历来存在争议,而问题的关键在于组合原则的存留。实际上,组合原则具有可塑性。可以将“信息”、“策略”等要素纳入“意义”范畴,进一步丰富“构成方式”的内涵,允许公式构成部分的“非线性组合”,从而使得分枝量词的博弈论语义解释既可以巧妙地避开蒯因等人的本体论指责,又可以满足（广义的）组合原则的基本要求。     

量词“门”的认知基础与对外汉语教学

认知语言学的研究证明:汉语量词的类别和数目的设立,不是随意的,而是反映着汉民族的范畴化特征,有着深刻的认知基础。量词"门"是从名词"门"演变来的,其原型是容器图式,它可以计量"语言、技艺、本事"等概念,因为其词义范畴扩大的内在机制是隐喻和转喻思维,所以可以从认知的角度对其计量动因进行解释。     

临时名量词与名词匹配的认知机制

临时名量词多借自名词,从认知语言学的角度看,临时名量词与名词的匹配与认知机制有关。这主要表现在两个方面：一是名词和临时名量词间匹配主要是同一关系的建立,这种同一关系主要见于语义特征和功能方面;二是隐喻和转喻的认知模式在发挥作用。     

汉语量词“颗、粒、点”来源探微

量词的发展和演进,一方面是汉字本身发展的规律所约定,另一方面词的双音节化也是量词发展的促成因素.经笔者统计,量词“颗、粒、点”的最早使用和广泛使用都是从佛经文献和医药古籍文献中来的,这两类文献是口语很强的两类文献.所以笔者据此可以推测,汉语中的量词用法,一方面是词义本身演化的结果,另一方面从语言学发展规律的本质上来说,交际和表达的需要是促进汉语量词发展的重要原因.个体量词是汉语量词中最活跃的一类,无论是在表达效果还是在使用频率上,都比其他类型的量词要灵活.因此,对个体量词的来源进行梳理,有助于较为全面地认识其词类性质和语法功能.     

量词“颗”“粒”的系源研究及认知解释

量词"颗""粒"都主要用于计量体积较小的球状物体。它们的用法分布既有交叉也有区别,非常复杂。运用认知语言学的原型理论、范畴化理论和隐喻理论,结合汉字语义演变的轨迹,对它们的用法进行系统的对比分析,指出量词"颗"的语义特征为"类球体、较小、具有个体性",量词"粒"的语义特征为"类球体、极小、缺乏个体性",并对二者的交叉用法从认知的角度进行了充分的解释。