Production-Tabular Knowledge Bases. Tools for Assessing and Checking of Correctness

The production-tabular knowledge bases widely used in commercial expert systems. One of the main problems arising from the operation of this kind of knowledge bases is a problem their correctness. The reliability of the inference mechanism and the robustness of the expert system at "shift the paradigm" depend largely on successful solution of this problem. The paper gives a formal definition of "correctness" of extended entry production-tabular knowledge bases and proposes an algorithm to control their correctness. The obtained results create the theoretical preconditions to ensure the reliability and robustness of the production-tabular technologies, widely used in expert systems of diagnostics, monitoring, management, forecasting, decision-making.