基于正则蕴涵算子与强否定的支持度理论

研究了基于正则蕴涵算子的支持度理论,将模糊推理的全蕴涵三Ⅰ算法推广至一般情形.针对几个常用的正则蕴涵算子得到如下结果:(1)Lukasiewicz逻辑系统L中命题间的支持度之集恰为0,1]中有理数的全体0,1]∩ Q;(2)G(o)del逻辑系统(G-)和(x*)逻辑系统(W-)中命题间的支持度之集均为{0,12,1};(3)乘积逻辑系统P中命题间的支持度之集为{0,1};(4)考察了相应的n值逻辑系统Ln,Gn和Wn中命题间的支持度的分布.最后,将逻辑非运算改为强否定,通过建立逻辑系统之间的同构进一步考察了相应逻辑系统中的支持度的分布.