不确定性问题中逻辑关系方程的置换矩阵解法

本文给出了在不确定性问题中逻辑关系方程有解 ,有唯一解的充分必要条件 ,并把求解逻辑关系方程的问题转化为求解一些系数矩阵是置换矩阵的逻辑方程组问题 。

关于一类逻辑关系方程的解及布尔矩阵的逆

本文利用我在“逻辑关系方程的一种解法和有解条件”一文中所给出的逻辑关系方程的解法,讨论形式为A▽(x_1 x_2…x_n)=(0…0—0…0)(i)… (1)这样一类逻辑关系方程的解与布尔系数矩阵A之间的某些关系,并利用所得的结论,给出一种新证法证明了一个n×n的布尔矩阵A可逆的充分必要条件为A是置换矩阵,且A^(-1)=A^T.

一种基于逻辑关系方程解的属性约简算法

粗糙集理论中所有的概念与运算都是通过代数学的等价关系和集合运算来定义的。在这种定义下,粗糙集理论的很多概念与运算的直观性较差。从逻辑代数的角度出发,建立了属性集与布尔矩阵以及逻辑关系方程之间的关系,给出了逻辑关系方程有解、有惟一解、有多个解的充分必要条件,在逻辑关系方程解的基础上给出了一种新的高效的属性约简算法。