Complex Knowledge Base Verification Using Matrices

  • Nancy Botten
Verification and Validation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 604)


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.


expert system knowledge-based system production system rule-based system verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Botten, N. and T. Raz, “Knowledge Base Verification Using Matrices,” Proceedings of The Fourth International Conference on Industrial & engineering Applications of Artificial Intelligence & Expert Systems, Hawaii, June 1991, pp. 91–98.Google Scholar
  2. 2.
    Green, C. and M. Keyes, “Verification and Validation of Expert Systems,” IEEE Knowledge-Based Engineering and Expert Systems, (WESTEX-87), IEEE 87C112463-8, pp. 38–43 pp. 19–24.Google Scholar
  3. 3.
    Tepandi, J. “Comparison of Expert System Verification Criteria: Redundancy,” Validation, Verification and Test of Knowledge-Based Systems, Eds. Ayel, M. and J. Laurent, Wiley, 1991, pp. 49–62.Google Scholar
  4. 4.
    Stachowitz, R. and C. Chang, AAAl 88 Verification and Validation of Expert Systems. Tutorial from Seventh National Conference on Artificial Intelligence, Minneapolis, 1988.Google Scholar
  5. 5.
    Yu, X. and G. Biswas, “CHECKER: An Efficient Algorithm for Knowledge Base Verification, ” Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Vol. II, 1990, pp. 735–744.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Nancy Botten
    • 1
  1. 1.IBM CorporationRoanoke

Personalised recommendations