An inference browser to verify knowledge bases

The authors previously suggested a graph-aided inference browser in which the knowledge engineers may easily verify the knowledge bases by consulting the sequence of inferring steps. In the suggested inference browser, however, the knowledge engineers themselves keep trying to find the error in the knowledge bases by checking if the displayed inferring sequence faces the undesirable situation. This error-detecting process may be slow and not very accurate as the size of the knowledge base becomes very large. The authors present an extended version of the graph-aided inference browser in which the error detecting process is automatically done. As compared to the previous graph-aided inference browser, the presented inference browser involves one additional module, called an automatic verification module, which detects and analyzes the erroneous situation during the inferring process and corrects the associated errors in the knowledge base