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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

合情推理的逻辑——从欧拉猜想说起

合情推理是介于二值逻辑和模糊逻辑之间的一种非经典逻辑,它广泛地存在于我们的日常生活当中,在科学理论创新和知识创新方面具有重要的作用,但却未得到应有的重视.对合情推理的模式、创新功能以及它与论证推理的关系等方面的探讨,可以引起人们对合情推理的足够重视.     

隐含与推理——广告语篇研究

隐含是广告语篇中普遍使用的一种用于操纵广告受众以达到促销目的的语言策略。广告的隐含性是由其功能、情景和交际特点决定的,同时这种隐含性也决定了广告推理的语用向度。在评述Harris(1983,1999)广告推理研究的基础上,采用含意理论和关联理论作为分析框架,构建广告语篇推理的类型模式,并且用该模式进行实例分析。     

双关语的语用解释与翻译

双关语是中外文学作品中常用的一种修辞手段,对双关语的解释和翻译是解析文学作品的难点。从语用认知及关联理论分析了双关语的理解过程,并从语用翻译的角度探讨了双关语的三元翻译理论,提出双关语的翻译是一个复杂的双重推理活动,是译者对双关语原话语的理解和把握以及对译语文化和译语读者期待的一个估计过程。     

自寻烦恼的逻辑原因

人生活在世界上,免不了会遇到很多的烦恼,导致我们的生理、心理的负担,更可能导致行为的失误或失败。但是并非所有的烦恼都是必然的,事实上有些烦恼是客观存在的,而有些烦恼是主观的、是自寻的。自寻烦恼有很多的原因,大部分是认识发生偏差的结果,尤其是进行了错误的推理更容易导致自寻烦恼。本文对错误推理导致自寻烦恼进行了一定的分析。     

形式规则还是心理模型--演绎推理过程中两种判断标准的比较研究

演绎推理是人类独有的高级认知活动.然而心理学家对于人们是如何进行推理的一直存在两种不同意见有人认为推理是依赖于形式规则进行的;而另一些人则认为推理是依赖于心理模型的语义过程.对这两种判断标准理论进行分析和研究,心理模型理论在如下三个方面优于形式规则理论一是心理模型理论比形式规则理论适用的范围更广;二是心理模型理论对无效判断更为关注;三是心理模型理论关注系统错误.     

再论Fuzzy矩阵的广义逆

文[1]、[2]与[3]间已就Fuzzy矩阵的广义逆问题进行了一系列的研讨.在此基础上，本文继续给出广义Fuzzy可逆阵的一些性质，并讨论了广义Fuzzy可逆阵的G-逆阵的广义Fuzzy可逆性问题，给出了几个判别定理．     

预期推理构建中文本制约效应的实验研究

本实验探索当文本中有两个情境模型时,读者是否会注意到两个情境模型的不同权重。实验结果表明,如果精细阐述强支持性语境以提高强支持性语境的激活水平,读者会即时产生因果性预期推理。如果插入的情境模型的信息与主角目标无关,不是在因果链上的结点,也不会影响预期推理即时产生的可能性,读者仍然会即时产生预期推理。     

"每(隔)+数量词+VP"表义离合的多维阐释

探讨现代汉语中常见句式"每 数量词 VP"和"每隔 数量词 VP"及其表义离合性的影响和制约因素,主要从语用、语法及语义等领域进行具体的阐释和论证,如语用逻辑重音、副词性修饰性成分的参与、"隔"的语义虚化或弱化等等,简要概括可以进入该格式的量词的等值度和等值梯度的分布情况及规律。     

利用储存器计算非连续结构

非连续结构指的是某些意义上完整但句法表现上却断裂的语言成分。非连续结构虽然结构特殊,但在自然语言中具有普遍性。普通的移进、归约方法在计算非连续成分时是无效的。尽管范畴逻辑语法提出了一些办法,但是未能对非连续现象进行统一的处理。实际上,语义上的计算步骤不一定要严格对应句法操作,Cooper储存是这样一种典型的方法。它不但可以用来处理广义量词的计算问题,也可以在稍加改造后用来处理一般非连续结构。这里提出了一种吸收Cooper储存的基于LR方法的计算方法:它使用了一个监视句法分析流程的装置,并要求对非连续成分进行分类和标注。这种方法的好处是完全不用更动传统的句法分析。