关于广义量词many的广义三段论推理

三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。     

广义量词的单调性与其三种否定量词的单调性之间的关系

单调性是广义量词最为重要的语义性质。〈1〉类型和〈1,1〉类型广义量词的单调性与其三种否定量词(即外否定量词、内否定量词和对偶否定量词)的单调性之间具有可转换关系。文章中总结的3个单调性关系定理详细地描述了这种转换关系,并用数字三角形对这些关系加以了详细直观的说明。由于〈1〉类型和〈1,1〉类型的广义量词在自然语言中普遍存在,所以,此研究对广义量词理论的发展具有一定的理论价值,对自然语言的计算机信息处理也具有一定的实践指导意义。     

广义量词的现代对当方阵研究

在现代对当方阵中,逻辑规律具有一致性。对一个现代对当方阵中的任意一个广义量词施加任意多次的三种形式的否定运算,得到的广义量词仍然是原来的现代对当方阵中的广义量词。在〈1,1〉类型的广义量词所对应的现代对当方阵中,不但广义量词与其三个否定量词的单调性之间具有可转换关系;而且它们所对应的广义三段论之间具有可化归关系。由于〈1,1〉类型广义量词在自然语言中普遍存在,所以,此研究对计算机科学中的知识表示和知识推理具有重要的意义。     

个体域对广义量词单调性的影响

单调性是广义量词的语义特征之一。本文着重讨论的是在把自然语句转变为形式语句时,广义量词的单调性应考虑个体域的范围。以广义量词中的存在量词some作为例子,来分析个体域对单调性的影响。     

浅谈计算复杂性及其对运筹学发展的影响

通过对计算机核心问题的分析,对可计算性、计算复杂性理论和算法复杂性进行了初步的探究,最后针对计算复杂性对运筹学发展的影响进行了探讨。     

广义量词主语部分单调性的特点

单调性是广义量词理论的中心问题之一。本文将单调性作为限定词的语义特征,着重研究了其主语(左单调)部分的特点。针对限定词主语部分的单调性,笔者将它与广义量词的分类以及传统的对当方阵结合起来,从而证明限定词主语部分的单调性也是有规律可循的。     

程序时间复杂性的自动计算

本文给出了一种自动计算程序时间复杂性的方法,对程序中循环语句的循环次数进行实际测量,并由此推算程序运行时间的增长率。     

浅谈算法的复杂性和常用算法

本文主要从多方面论述了算法的复杂性得法计算方法，并提出了几种常用的算法，分析了它们的思考。     

英语量词浅析

汉语的数词和量词关系很紧密 ,常常在一起连用。所以通常放在一起称为数量词。数量词表示事物的数与量 ,因此它与名词的关系非常密切。例如 :一碗水 ;三头牛 ;五棵树 ;七尺布等等。英语也有和汉语量词相似的名词 ,是名词的一个分支。有许多英语语法书中不涉及名词化的量词 ,所以在此想就此内容谈一些教学体会     

不定量词与集合量词的差异

量词“点儿、些”是单独作为量词的一个小类,还是合并到集合量词,学界存在不同看法。文章基于不定量词和集合量词的词义,从量词“点儿、些”在“一+量词+NP”和“一+量词+X”结构中的句法组合能力、语义内容等方面进行考察,认为不定量词与集合量词在语义内容、句法功能和结构赋义的主观性等方面存在比较明显的差异,量词“点儿、些”单独作为量词的一个小类为宜。     

基于量词语义与性质的扩展三段论

在广义量词理论中,如果一个表达两个集合外延关系的二元量词具有单调性等性质,那么该量词及其外否定、内否定和对偶否定在单调性方面存在相互制约关系,从而构成单调方阵。基于二元量词的语义和单调性等性质,可以简洁明了地进行包括传统三段论在内的扩展三段论推理,从而极大地提高了三段论的表达能力和对日常思维的规范能力。     

广义量词的相关性质研究

本文是笔者对S.Peters与D.Westerst(a)hl([7])的成果的拓展研究.首先介绍相关的概念.其次,笔者详细证明了类型为(1,1)的广义量词的对称性与单调性的关系定理.然后,笔者给出了该类量词的余对称性、余相交性和余驻留性定义,接着笔者提出并证明了关于这三个性质的四个定理,而且还详细证明了余对称性与单调性的关系定理.最后,笔者探讨了具有(余)驻留性和(余)对称性的(1,1)类型的广义量词的数字三角形的特点.由于(1,1)类型的广义量词在自然语言中普遍存在,所以,本文的研究对广义量词理论的发展具有一定的理论价值,对自然语言的计算机信息处理也具有一定的实践指导意义.     

关于社会复杂性若干问题研究的思考

针对国内研究 ,本文探讨了三个问题 :我们立足什么“复杂性”概念研究社会科学领域问题 ;复杂性研究应该建基于前沿研究基础之上 ;关注各个领域的实验和编码性研究 ,以复杂性观点进行统合 ,是社会科学复杂性研究目前可选的方法之一。     

古典对当方阵和广义量词

古典对当方阵可回溯到亚里士多德逻辑,并且自此后就一直被广泛地讨论,特别是在中世纪和现代.它刻画了所有、没有、并非所有和某些这四个量词之间的特定逻辑关系,即对当关系.亚里士多德和传统逻辑学家,以及人多数当代语言学家,都把"所有"看作具有存在预设,也即"所有A是B"可以推出"存在A",而现代逻辑则放弃了这一假定.用现代逻辑对"所有"的解释来代替亚里士多德的解释(对"并非所有"也可以作类似处理),就产生了现代版本的对当方阵.近年来有许多争论,探讨这两个方阵中哪一个是正确的.本文中我的主要观点是,这个问题不是,或者不应该卡要是关于存在预设的,毋宁说它是关于否定的模式的.我认为现代方阵表述了自然语言中否定的一般模式,而传统方阵则没有做到这一点.明乎此,不仅需要把对当方阵应用于四个亚里士多德量词,还需要把它应用到这一类型的广义量词上.现代方阵上的任一量词所展示的否定的模式,常常不是在传统方阵中发现的对当关系.本文提供了一些技术性结果和工具,阐述了解释各种英语限定词的量词方阵的若干例子.本文最后一个例子引入了否定的第二模式.它伴随特定复杂量词出现,也能够在方阵中被表达.     

复杂性、科学与后现代思潮

复杂性科学与后现代主义思潮有着一定的关联。但是复杂性科学绝非后现代主义得以成立的科学基础。后现代主义思潮批判审视科学发展。把其中合乎自己思潮的东西拿过来为己所用。其中既有把其思想发挥的地方，也有大量误读的地方。复杂性科学可效仿后现代主义思潮，从后现代思潮发展中索取“为我所用”的东西，来推动对于复杂性思想在社会科学领域的应用研究。     

教学系统设计的复杂性探索

在教育技术领域学者对教学系统设计复杂性探索的研究成果基础之上,探讨了教学系统设计思维的发展,并分析了基于复杂适应性系统思维教学设计的基本框架。     

试论语言的多元化和言语的复杂性

语言,是人类进行交往的工具,同时又是其文化和历史的载体。语言,是在言语的基础上,经过加工演变和规范后形成的;人类语言的多元化和言语的复杂性,是我们所必须面对的现实;在言语基础上开展教育工作,保护和抢救濒危语言及所在民族的历史和文化遗产是我们的责任。     

HIT—MU（2）的结构和复杂度

SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 本文主要利用1(,)*-消解和分裂方法研究了差为2的碰撞极小不可满足公式集()2(MUHIT-)的结构和复杂度.此前,只有G.Davydov, I.Davydova 和H.Kleine Büning对)1(MU和)2(MU的结构和复杂度得出了较好的结果.     

面向复杂性:福柯的后现代知识观

自然科学的发展已从对简单性的追求转向了对复杂性的强调。对客观世界复杂性的研究 ,生产了复杂性科学。后现代的知识理论也转向了对知识本身的复杂性的强调。福柯的知识考古学则是对知识的复杂性进行的较为全面的阐述     

The Generalized Mean

This article defines the generalized mean and shows how it relates to such statistics as the arithmetic, geometric and harmonic means.