摘要

给出了布尔矩阵的初等行变换定义,建立了线性逻辑方程组形式的属性约简模型,用布尔矩阵的初等行变换把系数矩阵化为最简矩阵,给出了用系数矩阵和最简矩阵判定绝对必要属性、相对必要属性和绝对不必要属性的三个充分必要条件,并由此提出了一种知识约简的快速算法。

  • 单位
    泰山学院