格蕴涵代数的L-型模糊滤子与理想诱导的同余关系

来源 :河北师范大学 | 被引量 : 0次 | 上传用户:elfer_hfut
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
格蕴涵代数是与人工智能及智能信息处理密切相关的一个新的数学分支.正如布尔代数是经典的二值逻辑系统的基础一样,格蕴涵代数为一种多值逻辑系统及建立在这种多值逻辑系统基础上的不确定性推理提供了代数基础.因此,关于格蕴涵代数的研究工作对利用计算机进行智能信息处理具有十分重要的意义. 本文在文献[59]与[60]的基础上研究了格蕴涵代数的L-型模糊理想与L-型模糊滤子诱导的同余关系与格蕴涵商代数,取得了以下结果. 1.利用格蕴涵代数的L-型模糊理想定义了格蕴涵代数上的一簇关系,证明了当L是一个链时,它们都是格蕴涵代数的同余关系,讨论了这簇同余关系诱导的格蕴涵商代数的性质. 2.利用格蕴涵代数的L-型模糊滤子定义了格蕴涵代数上的一簇关系,证明了当L是一个链时,它们都是格蕴涵代数的同余关系,讨论了这簇同余关系诱导的格蕴涵商代数的性质.
其他文献
本文利用组合方法和代数方法对κ=12,α1=1,cr+1=3的距离正则图进行了分类,得到如下结论. 设Г是一个k=12,a1=1,cr+1=3的距离正则图,令r=r(Г).那么,有且只有下式之一成立: 1.a
本文利用距离正则图的交叉表,研究了直径为d且a>2,cr+1=1的型为(a+l,3)的距离正则图,得到了该图的一些局部性质和参数间的一些关系.主要结论如下: 定理1.设Г=(VГ,EГ)是直径为d
许多大型科学与工程计算问题最后常需要求解一个或一些系数矩阵为大型稀疏矩阵的线性方程组。本文研究了系数矩阵为带状矩阵的线性方程组Ax=f的并行算法。主要讨论了如下几个
本文所考虑的风险模型是经典的sparre Andersen模型的一个直接推广.模的基本结构为: 在第二章中,我们系统的研究了模型(s1)在个体保费额退化为常数时的种特殊情形,即 在第