Complex Knowledge Base Verification Using Matrices

The paper extends the techniques presented in Knowledge Base Verification Using Matrices' from verification of single, unstructured knowledge bases to multiple knowledge bases which interact. The techniques are based on the representation of the knowledge base as a set of matrices and employ simple matrix operations. The anomalies addressed include unreachable and dead-end rules, missing rules, redundancy, subsumption, inconsistency, circular rule chains, and inconsistent rule chains, that occur across the interacting knowledge bases.