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 advant ages over traditional rule base matrix representation techniques. Firs tly the amount of storage capacity required is substantially less than that required using traditional techniques; the advantage gained is o f the order of 97%. Secondly the binary representation offers a signif icant improvement in the processing of rule base matrices to identify various rule base anomalies through the use of logical 'bitwise' compa rators. Both techniques, as implemented in the IMVER system, are descr ibed and they are fully analysed and compared using a number of comple xity measures to illustrate the advantages of using the binary encoded incidence matrix representation over the traditional representation.