模糊集间的R_0-相似关系及其性质

将王国俊教授在R0-型逻辑系统中建立的R0-蕴涵算子应用于模糊数学理论之中,在非空集合X为论域的模糊集族F(X)上定义了一种新型运算-R0蕴含运算,并讨论了F(X)上R0-蕴含运算的一些基本性质。通过R0-蕴含运算在F(X)上定义了一个二元模糊相似关系-R0-相似关系,并对其性质进行了较为详细的讨论。在有限论域X确定的模糊集族F(X)上给出了几个R0-相似关系的具体实例。

命题公式集F(S)的基于R_0-算子的16类分划

利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的—个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.

R_O-蕴涵算子所导出的逻辑函数的特征

R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的作用.本文在R_0-型命题逻辑系统中,对由n个原子公式生成的公式通过R_0-蕴涵算子导出的逻辑函数的特征进行了研究,得到了函数可由R_0-型命题逻辑系统中的公式通过R_0-蕴涵算子导出的充要条件.

三Ⅰ表达式取最小值时的最优解

在本文中，针对蕴涵算子R0，我们给出了当A→B与A^＊（B^＊）给定时，求使三Ⅰ表达式（A→B）→（A^＊→B^＊）取最小值的全体B^＊（A^＊）之集的上确界（下确界）算法．并将上确界算法推广到多维多重的模糊推理中．从三Ⅰ表达式取最值时求最优的B^＊（A^＊）的角度来看，本文是三Ⅰ算法思想的延伸和完善．