Propositional Vector Logic System and Its Adequacy Thcorem

来源 :东华大学学报:英文版 | 被引量 : 0次 | 上传用户:xiaodaoluan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for reasoning in collective intelligent systems(CIS).Based on the hypothesis of multiple resolutions ofreasoning in CIS,the logical state
其他文献
高中是学生系统地进行语文学习的重要阶段。由于具备小学和初中语文学习的基础,学生对常用汉字的拼写较为熟练,因此高中语文的教学重点更偏向于对学生阅读和写作能力的培养。
患者,男性,54岁,于5年前无诱因自觉腿走路不适,且进行性加重,2000年初不能独立行走,需借助拐杖,MR报告:1.第5胸椎血管瘤累及附件及椎管形成硬膜外占位,胸髓受压.
目的探讨邓老冠心方对单纯性肥胖病人冠心病介入术后的减肥作用.方法将行PCI的45例单纯性肥胖的冠心病病人,随机分成中西医结合组(24例)和西医常规治疗组(21例),分析两组病人
摘要:初中作为学生学习成长的过渡时期,对学生而言十分重要。数学学科作为初中教育系统中的重要组成部分,其教学有效性更直接关乎着学生的数学素养养成、数学水平提升。现阶段初中数学教学课堂积极追随新课改步伐进行教学变革,取得了一定的成效,但仍然有一些问题需要我们重视。要想让初中数学教学课堂稳步跟随教育新形势发展,在与时俱进下提高教学有效性,就必须深入数学学科教改活动,探问题、寻对策,才能够在初中数学教学新
目的分析肝性脑病的临床特点,探讨肝性脑病的治疗方法。方法回顾性分析23例病人的发病经过、肝病史特点、临床表现、辅助检查(实验室检查及其他检查)、治疗方法。结果23例病人
目的:对比观察刺五加注射液与低分子右旋糖酐注射液对急性脑梗死病人可溶性细胞间黏附分子-1(sICAM-1)的影响.方法:43例急性脑梗死病人随机分为治疗组(n=22,每日静脉输注刺五
目的观察洛汀新、螺内酯、黄芪注射液联合治疗慢性充血性心力衰竭的疗效.方法通过分析30例心力衰竭病人的临床特点,观察在强心、利尿、扩张血管的基础上加用以上3种药物治疗
目的探讨大豆异黄酮对卵巢切除(OVX)兔血脂、内皮素-1(ET-1)、肿瘤坏死因子-α(TNF-α)、白细胞介素-6(IL-6)水平及动脉粥样硬化斑块面积的影响.方法28只4月龄雌兔随机分为4
摘 要:由于聚居地的气候变化较大,傣族建筑设计常常要考虑到当地的地理环境与气候环境,并且在发展过程中,逐渐成了傣族文化的重要象征,致使傣族建筑设计与其人文环境的关系变得更加密切。本文以西双版纳竹楼为主要参考,从建筑与环境的关系出发,简要分析了傣族建筑与傣族人文环境间的联系。  关键词:傣族建筑;设计特点;人文环境  傣族建筑中最常见的就是竹楼,由竹子捆绑形成梁、柱、墙以及下部的支撑与附属部分。由此
摘要:在当前新课程改革不断深入的情况之下,初中语文教学工作开展过程中必须对传统课堂教学之中“灌输式”教学方法进行转变,通过对学生课堂活跃度进行提升来使学生们的不同需求得到满足,对于初中语文教学工作的有效性进行切实的提高。笔者结合自身多年以来于甘肃省某农村中学教学过程中所积累的教学经验,在本文之中简要分析如何对初中语文教学训练有效性进行提高,旨在更好地提升初中语文教学水平。  关键词:初中语文;语文