Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
