Matrix verification of knowledge-based system

Abstract EN

The paper describes a method, which has been designed and implemented, for the verification of rule-base as a matrix and then uses standard matrix transformation to determine the location of errors and anomalies contained within the rule-base, such as duplication, subsumption, circular rule sets, inconsistency, missing links, auxiliary rule sets, and redundancy.

It has been demonstrated to be effective and simple.

It has a system designed for establishing the context of the environment.

The system has four main routines: the loader routine, matrix manipulation routine, and testing routine, and the output routine.

The cost of using the system is measured.

The method has proved the practicality of automatic computer-based errors detection using matrices.

Testing routines have been clarified by examples.

The efficiency of the method has been discussed.

A comparison has been made between this method and other related methods