Production-Tabular Knowledge Base Correctness Checking Tools

Production-tabular knowledge bases are widely used in commercial expert systems. One of the main problems arising from the operation of such knowledge bases is their correctness. The reliability of the inference mechanism and the robustness of the expert system at “paradigm shift” depend largely on successful resolution 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 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.