【摘 要】
：
逻辑系统的健全性是由何华灿教授引入的逻辑学新概念.本文分析了t-模基模糊逻辑形式系统健全性缺失的关健原因,通过改造t-模的定义,引入星型t-模(简称为t*-模)作为“逻辑与”
【机 构】
：
宁波大学理学院 浙江宁波 315211
论文部分内容阅读
逻辑系统的健全性是由何华灿教授引入的逻辑学新概念.本文分析了t-模基模糊逻辑形式系统健全性缺失的关健原因,通过改造t-模的定义,引入星型t-模(简称为t*-模)作为“逻辑与”的新语义； 引入逻辑系统的弱健全性概念,并初步探讨了具有弱健全性的模糊逻辑形式系统的构造问题.特别地,本文讨论了几种著名t-模的t*-模推广,证明了W型t*-模满足结合律,初步建立了基于W型t*-模的形式系统WL*.
其他文献
在无线传感器网络的应用中,节点的位置信息是比较重要的.通常情况下,基于距离测量的定位算法得到的节点位置精度要比基于非距离测量的定位算法的精度要高,因此,传感器节点之
区片划分是征地综合地价测算的前提和基础,区片划分合理与否直接关系到征地补偿能否顺利进行,但现有研究方法难以全面反映区片的差异性及其性质的可变性,导致区片交界征地补
中国大学的急剧发展，实际上是以降低大学的学术文化和教育含量、牺牲大学的尊严为代价，来满足社会的大跃进需求的 42岁那年，任剑涛当上了中山大学政务管理学院院长，从此他开始把一些西方的大学理念用于具体的办学之中。 他开始要求学院的老师们安排一个Office Hour（办公时间），以便学生前来讨论交流，而不管多忙，他自己都会固定在一周中的某一天待在办公室里； 他开始用一种全球性眼光办学，他的学
总政歌舞团青年歌唱家,被誉为新民歌天后和年轻新一代民歌手中的擎大旗者。
General Political Department Song and Dance Troupe young singer, known as the new folk so
技术的革命首先需要基础理论的革命,欲有效模拟人脑智能,机器智能不能取代智能机器.因此,寻求更优化的计算理论与计算模型,是人二智能研究人员面临的根本任务.
本文通过重庆市主城九区开展的土地利用更新调查工作,对主城区近年来土地利用存在的主要问题进行了较深入分析,提出了下一步土地利用的政策建议,为宏观决策提供参考.
本文将高级正向推理技术之一的失败性文字检查技术(FLD,Failed Literal Detection)和DFLL(Davis Putnam Loge-mann and Loveland)算法相结合,提出了一个新型的可满足性问题解
把柔性逻辑的思想引入模糊系统,研究基于Schweizer-Sklar T-范数和Schweizer-Sklar蕴涵算子的模糊推理模型,即α-模型和β-模型,给出这两种模型连续的充要条件,讨论了常用的
本文证明了泛逻辑零级(一级)泛与运算模型、泛或运算模型、泛非运算模型之间的对偶关系进一步构造(出)零级(一级)泛与运算模型的自守强对偶或运算模型及非运算模型；同时给出了
《读书》发出过不同的声音。这些讨论产生了影响，有些产生了很大的影响，通过这些问题向公共讨论的扩展，国家的社会政策也开始变化。我觉得这是对中国民主的一个促进——知识分子的批评性的讨论，能够影响到中国政策的变化，这是民主空间扩张的必要步骤 1996年初，汪晖受时任三联书店总经理董秀玉之邀，出任《读书》杂志执行主编，当年年底，黄平加盟，与汪晖共同开启了《读书》杂志的学者掌舵时代。 2007年