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.
Keywordsexpert system knowledge-based system production system rule-based system verification
Unable to display preview. Download preview PDF.
- 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.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.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.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