论文部分内容阅读
该文从格蕴涵代数及其对应的格值逻辑系统ＬＰ（Ｘ）出发，给出了格蕴涵代数的一些例子。并通过与一些常见推理及蕴涵算子的比较，分析讨论了ＬＰ（Ｘ）逻辑系统中的推理规则及蕴涵算子的良好特性，并举例说明了其语义概念，从而说明其有着理论和应用上的重要意义。
格值逻辑系统LP(X)的推理性质讨论
【摘 要】
：
该文从格蕴涵代数及其对应的格值逻辑系统ＬＰ（Ｘ）出发，给出了格蕴涵代数的一些例子。并通过与一些常见推理及蕴涵算子的比较，分析讨论了ＬＰ（Ｘ）逻辑系统中的推理规则及蕴涵算子的良好特性，并举
【机 构】
：
西南交通大学智能控制开发中心(成都)
【出 处】
：
第九届全国模糊系统理论及应用学术会议
【发表日期】
：
1998年8期
其他文献
该文提出了推导格型编码调制（ＴＣＭ）码生成函数的简化方法，设计了一种级联ＴＣＭ和ＰＳ码的卫星数字视频广播（ＤＶＢ－ｓ）传输方案，分析了该方案的基本原理和设计指标，并对其误码性能进行计算机模拟。模拟结果
该文从理论和实验两方面讨论了格形矢量量化（ＬＶＱ）在图象压缩中的应用，提出在一定条件下，对非均匀分布的信源矢量进行ＬＶＱ，可通过引人熵编码使其达到最优的量化性能。该文最后对基于ＬＶＱ和ＪＰＥＧ的图
该文给出了由格蕴涵代数诱导出的伴随半群及有关概念，详细讨论了伴随半群中的元素即格蕴涵代数的左映射ａ的性质，得出了ａ的稳定子S(ａ)，像Imａ和核Kerａ之间的关系，同时得到了关于ａ的几个等
为了在基于格蕴涵代数的格值逻辑系统中构造行之有效的归结证明算法，该文探讨了经典归结及一些扩充的模糊逻辑的归结方法的局限性，并提出了一种针对蕴涵的类归结方法和一些值得
该文给出了一般(2,1,0,0)型代数(L,→,*,0,1)成为格蕴涵代数的充要条件，证明了在有限链及四元格上只有一种格蕴涵代数，且不存在五元格蕴涵代数。
该文讨论格蕴涵代数中模糊滤子的性质，给出了生成模糊滤子的结构定理，讨论了滤子构成的完备格ＦＩ（Ｌ）与模糊滤子构成的完备格ＦＦＩ（Ｌ）以及非常值极大模糊滤子与超滤之间的关系。