论文部分内容阅读
格蕴涵代数是与人工智能及智能信息处理密切相关的一个新的数学分支.正如布尔代数是经典的二值逻辑系统的基础一样,格蕴涵代数为一种多值逻辑系统及建立在这种多值逻辑系统基础上的不确定性推理提供了代数基础.因此,关于格蕴涵代数的研究工作对利用计算机进行智能信息处理具有十分重要的意义.
本文在文献[59]与[60]的基础上研究了格蕴涵代数的L-型模糊理想与L-型模糊滤子诱导的同余关系与格蕴涵商代数,取得了以下结果.
1.利用格蕴涵代数的L-型模糊理想定义了格蕴涵代数上的一簇关系,证明了当L是一个链时,它们都是格蕴涵代数的同余关系,讨论了这簇同余关系诱导的格蕴涵商代数的性质.
2.利用格蕴涵代数的L-型模糊滤子定义了格蕴涵代数上的一簇关系,证明了当L是一个链时,它们都是格蕴涵代数的同余关系,讨论了这簇同余关系诱导的格蕴涵商代数的性质.