Model-based testing and validation on knowledge-based systems

In this paper, we discuss how to view a Knowledge-based system as a model leads to certain criteria for testing methodologies. This includes a discussion of how certain mathematical techniques for testing Knowledge-based systems can be used as criteria for Knowledge-based system adequacy when no other models are available. We give an example of an error due to widespread rule interactions. Such errors are keys to understanding why the independent rule assumption does not work, and even why Knowledge-based systems must be modeled. We examine how testing can be applied both to individual system components as well as to the system as a whole, different criteria by which a set of test cases can be assembled and the problems in determining whether the performance of a KBS on a set of test cases is acceptable.