An important part of an expert system is its knowledge base which contains domain dei^endent knowledge. Knowledge base verification is one of the important ¡problems of knowledge acquisition. It is the process of ...