论文部分内容阅读
格值逻辑系统为智能信息处理提供了一种逻辑基础.格蕴涵代数作为一种重要的逻辑代数,为格值逻辑和不确定性推理的研究提供了一种理论基础.本文在这些已有成果的基础上,进一步研究格蕴涵代数及其子结构的相关性质,丰富基于格蕴涵代数的格值逻辑系统和不确定推理的内容.具体进行了如下三个部分的工作:
1.研究了格蕴涵子代数的性质及格蕴涵代数的生成元的性质.给出了LI-理想的另一个等价定义,讨论了LI-理想的一些性质及格蕴涵子代数与LI-理想的关系,并且得到了非平凡的LI-理想和{O}都不是格蕴涵子代数.
2.提出了布尔滤子的概念,研究了它的性质,讨论了它与关联滤子、素滤子、固执滤子、超滤等滤子间的关系,得到了由布尔滤子所诱导的商代数是布尔代数的结论.另外,提出了模糊布尔滤子的概念,研究了它的性质,得到了它与模糊关联滤子是等价的.
3.进一步研究了乘积格蕴涵代数的子代数的结构,讨论了两个链型格蕴涵代数乘积的滤子的性质,得到了其只存在平凡滤子和素滤子的结论.最后使用MATLAB软件编程,得到了两个有限链型格蕴涵代数乘积的子代数、滤子、LI-理想的具体形式,更直观地反映了格蕴涵子代数的结构特征.