Checking the consistency of a hybrid knowledge base system

This paper concerns a method to verify the consistency of a hybrid knowledge base system. We assume the knowledge base of the verified system supports the representation of production rules and frame taxonomies. Moreover, the knowledge base can also be used to represent non-monotonic and uncertain reasoning. For the purpose of the verification, an ATMS like theory is created by simulating the deductive process needed to deduce an inconsistency. Next, the ATMS like theory is processed to compute a specification of the initial fact base that allows for the execution of a deductive tree that leads to the inconsistency.