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

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

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

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

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

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

基于广义量词单调性的自然语言推理模式研究

广义量词理论是现代逻辑学、理论语言学、计算语言学等交叉领域的重点研究内容之一。利用广义量词的单调性可以解释或判断自然语言推理的有效性。对此有十二个事实和十二个推论可以印证。此项研究对计算机科学中的知识推理和广义量词理论的发展都具有较为重要的理论价值和实践意义。     

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

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

广义量词的推理模式研究

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

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

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

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

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

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

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

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

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

学校“减负”缘何遭遇“行路难”——基于教育功能被夸大与泛化的视角

新课程改革实施以来从未将"减负"作为首要目标,结果导致学生课业负担越来越重。本文从教育功能的视角分析学校"减负"遭遇的问题,认为教育功能被夸大与泛化是造成学生课业负担过重的主要原因。学校"减负"只有以国家为主体,重新审视教育的价值及功能,把"减负"作为新课程改革的出发点,才能走出目前的困境。     

从“形式-文化论”诗学到广义符号学——赵毅衡教授访谈

赵毅衡教授是国际知名的叙事学与符号学家，曾长期旅居英国，为中外文学关系与文化交流做出了重要贡献。在访谈中，他以《远游的诗神》和《对岸的诱惑》为例，分享了诗意化学术写作的缘起与经验。此外，访谈围绕以新批评为代表的形式论在中国兴起和发展的基本脉络，阐明了“形式-文化论”诗学的内涵和指向。并且通过图绘符号泛化的文化语境，介绍“广义符号学”的学科构想及其应用前景，为当下中国文化研究的“符号转向”提供了可资参考的路径。     

从“形式-文化论”诗学到广义符号学——赵毅衡教授访谈

赵毅衡教授是国际知名的叙事学与符号学家，曾长期旅居英国，为中外文学关系与文化交流做出了重要贡献。在访谈中，他以《远游的诗神》和《对岸的诱惑》为例，分享了诗意化学术写作的缘起与经验。此外，访谈围绕以新批评为代表的形式论在中国兴起和发展的基本脉络，阐明了“形式-文化论”诗学的内涵和指向。并且通过图绘符号泛化的文化语境，介绍“广义符号学”的学科构想及其应用前景，为当下中国文化研究的“符号转向”提供了可资参考的路径。     

论区域经济发展中的“多型态”——广义视野中的西部民族经济现象库

在经济全球化和区域化发展过程中,世界区域经济发展日益凸显"多型态"与"多层次"的特点,亟须以综合了多学科理论方法的"多视角"进行研究。我国西部区域在生态环境、民族文化和社会经济发展各方面都复杂多型,为"多型态"研究提供了最理想与最丰富的田野。在上述"多视角"或"广义视角"的透视下,不仅可以梳理出西部区域典型的"多型态"特点,而且有助于探索一种全方位思考的、富于区域和民族特色的"多型态"区域经济发展模式。     

BCI-代数的广义a-理想与广义模糊a-理想

引入了BCI—代数的广义a—理想与广义模糊a—理想的概念，讨论了它们的关系和一些性质，并得到了X的任意一个模糊集μ是一个广义模糊a—理想的充要条件．     

前文字、类文字、广义文字学——三议“广义文字学”研究

所谓“广义文字学”是以文字学研究为基础的跨学科综合性研究,它不是对“狭义文字学”研究的简单颠覆,而是一种研究视角的转换,标志着文字学研究的新领域和新方向。在“广义文字学”之下,从纵向的符号发展史的角度探讨原始图画和成熟文字之间的关系即是“前文字”;从功能的角度讨论符号、文字、图画以及语言等不同表达手段在人类表情达意中的共同作用,讨论广义的“文字”在现代生活中的应用和视觉转换问题,讨论现代的符号创意活动,为基于网络的新媒体提供符号的基础支撑,即是“类文字”。“前文字”和“类文字”具备不同的价值,两者都是“广义文字学”的有机组成部分。     

广义效用假说

广义效用假说在批判传统效用理论的基础上,构建了一个既不同于传统经济学,又能与主流经济理论相匹配的效用范式体系,从而把经济学的最大化方法推演至人类整体行为模式,包括利他主义和道德行为的分析.     

广义经济学

回顾了火用经济学的历史及发展 ,通过对热力学系统与经济学系统的相似性比较 ,将广义火用的概念引入到经济学系统中来 ,并由此建立资本品质的概念 ,进而建立起以核算资本火用参量为基准的新型经济学理论。对广义火用经济学的若干状态参量的建立及定义作了初步探讨。     

广义数学期望

本文应用 H.L.P.均值于样本,构造了广义样本均值;为了将它用于参数估计,根据替换法则(Substitution rule),推广了数学期望的定义,同时引入新的无偏性.最后应用广义数学期望的基本性质推出若干结论(定理1～4),说明在参数估计方面应用广义均值是有意义的.     

广义特征子空间

本文对广义特征向量和广义特征子空间进行刻划，得到ｎ维线性空间的一组基构成过渡矩阵，使任一ｎ级复数矩阵相似于它的约旦（Ｊｏｒｄａｎ）形矩阵．