Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
Stachowitz, R. and C. Chang, AAAl 88 Verification and Validation of Expert Systems. Tutorial from Seventh National Conference on Artificial Intelligence, Minneapolis, 1988.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Botten, N. (1992). Complex Knowledge Base Verification Using Matrices. In: Belli, F., Radermacher, F.J. (eds) Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. IEA/AIE 1992. Lecture Notes in Computer Science, vol 604. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024974
Download citation
DOI: https://doi.org/10.1007/BFb0024974
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55601-5
Online ISBN: 978-3-540-47251-3
eBook Packages: Springer Book Archive