Advanced binary encoded matrix representation for rule base verification

摘要

An advanced binary encoded matrix representation to support rule base verification is described. The representation has two important advantages over traditional rule base matrix representation techniques. Firstly the amount of storage capacity required is substantially less than that required using traditional techniques; the advantage gained is of the order of 97%. Secondly the binary representation offers a significant improvement in the processing of rule base matrices to identify various rule base anomalies through the use of logical ‘bitwise’ comparators. Both techniques, as implemented in the IMVER system, are described and they are fully analysed and compared using a number of complexity measures to illustrate the advantages of using the binary encoded incidence matrix representation over the traditional representation.