Peng Hui Xie

Learn More
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(More)
  • 1