首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
单调性是广义量词最为重要的语义性质。〈1〉类型和〈1,1〉类型广义量词的单调性与其三种否定量词(即外否定量词、内否定量词和对偶否定量词)的单调性之间具有可转换关系。文章中总结的3个单调性关系定理详细地描述了这种转换关系,并用数字三角形对这些关系加以了详细直观的说明。由于〈1〉类型和〈1,1〉类型的广义量词在自然语言中普遍存在,所以,此研究对广义量词理论的发展具有一定的理论价值,对自然语言的计算机信息处理也具有一定的实践指导意义。  相似文献   

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

3.
首先介绍相关的概念;其次,笔者证明了类型为〈1,1〉的广义量词的对称性与单调性的关系定理;然后,笔者给出了该类量词的余对称性、余相交性和余驻留性的定义;接着,笔者提出并证明了关于这三个性质的四个定理;最后,证明了余对称性与单调性的关系定理。  相似文献   

4.
传统逻辑中的直言命题其实是表达论域上两个集合外延关系、具有二元量化结构的命题的特例。直言命题的语义与对称性和周延的方向性等性质是三段论的根据,据此可以建立传统三段论简明体系。  相似文献   

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

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

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

8.
刘俊 《考试周刊》2010,(37):84-85
单调性是广义量词的语义特征之一。本文着重讨论的是在把自然语句转变为形式语句时,广义量词的单调性应考虑个体域的范围。以广义量词中的存在量词some作为例子,来分析个体域对单调性的影响。  相似文献   

9.
单调性作为词类特征在之前的名词和动词的研究中被广泛讨论.文章将以比较结构"一+N+比/不如+一+AP"为例,讨论比较句的单调性,从而论证形容词通过使用语法手段,如量词的使用,也具有单调性特征,给句子结构以语义解释,验证了句法语义相关的语法现象的存在.  相似文献   

10.
对于全称量词和存在量词,首先要理解其基本语句,其次是掌握存在性命题,再次是掌握理解含有一个量词的命题的否定.  相似文献   

11.
阐述了一种改进自Trie树的新型数据结构,支持对整数集的各种动态统计操作,该结构容易实现,并且有着简明的定义和令人惊叹的运行速度,以及简单的正确性和时间效率证明。  相似文献   

12.
引入格的对偶半同态与对偶半白同态.并利用格的对偶半同态与对偶半自同态研究粗糙集的代数性质.统一了多种类型的粗糙集.  相似文献   

13.
本文给出了二元函数条件极值的一个简便判断别方法,利用此方法可方便地判断二元函数的条件极值,特别对一些实际问题极值的判断更快捷、正确。  相似文献   

14.
约瑟夫·海勒《出事了》中揭示了现代人的精神危机,水文以此为起点,分析了“罗格斯”中心主义对人类精神世界的束缚与规训,并跟随海勒的叙事线索探寻隐藏在规训面孔下的人性。  相似文献   

15.
本文提出的改进的归并排序算法把折半插入技术融入到常规归并算法中, 减少了归并过程中的比较次数.  相似文献   

16.
本介绍了双液系气液平衡相图实验中环己烷、异丙醇的回收利用的新方法。  相似文献   

17.
本文根据微机显示和工程图纸的特点,提出一种实用的二值图象压缩编码方法,文中所述算法均采用TurboC语言予以实现  相似文献   

18.
树排序是一种原理较复杂的排序方法.在计算机应用中,要实现树排序编程较难.通常的BASIC语言教科书中都不予介绍.本文用浅近的语句介绍了它的原理及其在苹果机上用BASIC语言的实现.最后附录中还提供了BASIC源程序的全部清单.  相似文献   

19.
针对由灰度图转换成二值图时存在图像层次感差、信息量损失大的特点,提出以灰度图的灰度直方图为基础,将不同的灰度范围划分为若干个层次,每个层次在生成二值图时用不同密度的像素来表示的算法,并给出了该算法的数学模型及实现过程;实验结果表明,该算法保持二值图存储数据量小的优点的同时,提高了二值图的层次感和表示的信息量.  相似文献   

20.
多丽丝·莱辛是一个具有女性意识和生态意识的伟大英国女作家.文章以二元对立为切入点,从生态女性主义视角解读她的小说《幸存者回忆录》,分析小说中父权制思想下的女性与男性形象和人类中心主义思想下的环境问题,以及由此造成的人类精神生态问题,以期给读者新的解读视角,从而丰富莱辛作品的研究.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号