蕴涵算子和三角模的若干问题研究

来源 :兰州理工大学 | 被引量 : 0次 | 上传用户:zwb20042002
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,模糊数学的研究快速发展,并在多种应用领域取得了巨大的成功.尤其是在自动控制领域,出现了以模糊集合和模糊推理为基础的模糊控制理论,并日臻成熟.  模糊控制的核心是蕴涵算子所表示的模糊推理,因此蕴涵算子及蕴涵算子族的构造,性质分析,特征研究等就成为研究的重点.  同时,与模糊推理紧密相关的多值逻辑及模糊逻辑也成为研究的热点,特别是基于左连续的三角模和其相伴随的正则蕴涵算子的逻辑系统相继被人们认识和发现.  本世纪初,王国俊教授基于均匀概率空间的思想在经典的二值命题逻辑中引入了一般逻辑公式真度的概念,提出了计量逻辑学理论,建立了一套近似推理模式.之后,国内外同行展开了广泛的研究,相似的结果被推广到各种逻辑系统中.  以上三个互相联系的问题,即,模糊蕴涵算子的构造,基于左连续三角模的模糊逻辑系统,计量逻辑理论,都与模糊蕴涵算子紧密相关,本文就分别从这三个方面对蕴涵算子和三角模进行相应的研究.  本文的主要结果如下:  (1)提出了以加权平均构造蕴涵算子族的方法,证明了由正规蕴涵算子通过加权平均法构造的蕴涵算子族仍是正规蕴涵,给出了以四种基本的正则蕴涵算子为基础构造的蕴涵算子族.  (2)讨论了F-λ三角模的结构,给出了几种新的三角模族及其相伴随的蕴涵算子族,并论证了此类三角模所对应的逻辑系统是WNM逻辑系统.  (3)推广了已有的计量逻辑理论.将Lukasiewicz命题逻辑系统的赋值域从标准MV代数推广到由Lukasiewicz型蕴涵算子所确定的MV代数上,分别以这些MV代数及其子代数为赋值域,讨论了连续值和n值Lukasiewicz逻辑系统的计量逻辑理论,给出了一种新的伪距离定义及其适用范围,证明了在此框架下的极限定理,为公式的赋值和近似推理提供了更多可能的选择.其思想方法也可应用在其它命题逻辑中,如NM逻辑系统.
其他文献
本文讨论一类带Hartree型和幂次型混合非线性项的分数阶Schr(o)dinger方程(方程L,公式略)驻波解的存在性与稳定性。  利用临界点理论和变分方法并结合一些分析技巧,我们证明了
Banach空间几何理论是近代泛函分析的重要分支,内容十分丰富,其中Banach空间的算子理论和不动点理论是不可分割的一部分,运用算子的不同性质不仅可以研究Banach空间的算子之间的
本文主要研究了Banach空间中的新的非扩张映射不动点的存在性和迭代序列的强收敛性,一致凸,光滑的Banach空间中迭代序列的强收敛性以及凸度量空间中的隐式迭代序列的不动点的
在未来几年中,业务流程的最困难的挑战之一是获得更好的业务数据模型,以适应当前不断变化的环境。实现这一点的两个关键要素分别是控制流与数据流的联合语义使用;变化在网结
流言在社会生活中是无处不在的,随着时代的发展和通讯技术的提高,流言的传播也将越来越快,同时对社会的影响也会越来越大。因而在社会网络中流言影响下群体观点的演化分析吸引了
Finsler度量作为推广的黎曼度量是定义在切丛上的函数F:TM→[0,∞)满足条件(1)F(x,y)是裂纹切丛TM{0}上的光滑函数;(2)F(x,y)是关于y的一阶正齐次函数;(3)基本张量(gij(x,y):=1/2[F2]yi
自Fuzzy测度和Fuzzy积分的概念提出以来,对其结构特性的研究一直是热门问题,特别地,对于gλ测度的研究得到了一些很好的性质,如自对偶性、依测度收敛和单调性等,但对gλ测度的依(伪
连续可视最近邻查询是空间数据查询领域中最重要的查询技术之一,在地理信息系统(GIS),计算机辅助设计与制造(CAD/CAM),智能识别系统,多媒体的应用等各个方面都有广泛的应用。同时,随着
本文运用Hirota方法对两个孤子方程进行了可积离散化.第一章首先简单介绍了孤立子的产生和发展,以及非线性演化方程的求解方法,接着对非线性微分–差分和非线性差分–差分方
偏微分方程控制领域中非线性系统和耦合系统是学者们最感兴趣的,对于偏微分时滞系统的研究较少,本文研究了常系数的反应对流扩散时滞系统的边界控制问题。  基本思路是首先将