论文部分内容阅读
蕴涵滤子空间的积拓扑和商拓扑
【机 构】
：
交通大学智能控制开发中心(成都)
【出 处】
：
第九届全国模糊系统理论及应用学术会议
【发表日期】
：
1998年8期
其他文献
该文给出了由格蕴涵代数诱导出的伴随半群及有关概念，详细讨论了伴随半群中的元素即格蕴涵代数的左映射ａ的性质，得出了ａ的稳定子S(ａ)，像Imａ和核Kerａ之间的关系，同时得到了关于ａ的几个等
为了在基于格蕴涵代数的格值逻辑系统中构造行之有效的归结证明算法，该文探讨了经典归结及一些扩充的模糊逻辑的归结方法的局限性，并提出了一种针对蕴涵的类归结方法和一些值得
该文给出了一般(2,1,0,0)型代数(L,→,*,0,1)成为格蕴涵代数的充要条件，证明了在有限链及四元格上只有一种格蕴涵代数，且不存在五元格蕴涵代数。
该文讨论格蕴涵代数中模糊滤子的性质，给出了生成模糊滤子的结构定理，讨论了滤子构成的完备格ＦＩ（Ｌ）与模糊滤子构成的完备格ＦＦＩ（Ｌ）以及非常值极大模糊滤子与超滤之间的关系。
该文从格蕴涵代数及其对应的格值逻辑系统ＬＰ（Ｘ）出发，给出了格蕴涵代数的一些例子。并通过与一些常见推理及蕴涵算子的比较，分析讨论了ＬＰ（Ｘ）逻辑系统中的推理规则及蕴涵算子的良好特性，并举