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

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

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

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

广义量词的推理模式研究

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

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

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

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

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

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

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

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

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

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

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

亚里士多德模态三段论逻辑的 形式化公理系统探讨

利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。     

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

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

广义效用假说

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

2个四维混沌系统的异结构广义同步

针对2个不同的具有复杂动力学行为的新型四维混沌系统的异结构广义同步问题,基于Lyapunov稳定理论,采用自适应控制同步法,通过选择连续可微的非线性广义同步函数,设计自适应控制策略和参数自适应律,实现了2个参数未知的新型四维混沌系统的异结构广义同步以及辨识了未知参数.该方法没有强加在系统的假设条件上,几乎适用于所用的混沌系统.理论推导和数值仿真验证了该方法的有效性.     

马克思广义生产力理论探索(下)

马克思的广义生产力,应当包括人自身生产力、物质生产力、精神生产力和自然生产力或生态生产力。它们的有机统一就是经济社会生产力和生态自然生产力的有机统一。马克思的广义生产力理论中内蕴着生态经济生产力思想的精华。它在当代中国重大发展都构成马克思主义生态经济学最重要的基本理论。     

广义特征向量与约旦(Jordan)形矩阵

本文在文[1]的基础上,进一步给出了关于广义特征向量的几个重要结果,从而对于任意的n阶复数矩阵A,都可以得到n个线性无关的特征向量或广义特征向量,使之为列,构成满秩矩阵P,使P~(-1)AP=J,即A与约旦形矩阵J相似。     

广义经济学

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

环上矩阵的加权Moore-Penrose逆

研究相对于M和N的加权Moore-Penrose逆,得到带有对合反自同构的有单位元的结合环R上的一类可分解矩阵的加权Moore-Penrose逆存在的充分必要条件.当M和N为单位矩阵时,相对于M和N的加权Moore-Penrose逆就是大家熟悉的Moore-Penrose逆.从某种意义上说,相对于M和N的加权Moore-Penrose逆也是相对于M和N的广义Moore- Penrose逆的推广.结论一方面可特殊化到Moore-Penrose逆的情形,另一方面可得到有关A相对于M和N的广义Moore- Penrose逆的结论.