Production-Tabular Knowledge Base Correctness Checking Tools
Robert Karayev *
Institute of Control Systems of the National Academy of Sciences of Azerbaijan, Az1141, 9, B. Vahabzade str., Baku, Azerbaijan
Natella Sadik
Institute of Control Systems of the National Academy of Sciences of Azerbaijan, Az1141, 9, B. Vahabzade str., Baku, Azerbaijan
Khatira Imamverdiyeva
Institute of Control Systems of the National Academy of Sciences of Azerbaijan, Az1141, 9, B. Vahabzade str., Baku, Azerbaijan
*Author to whom correspondence should be addressed.
Abstract
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.
Keywords: Production-tabular knowledge bases, correctness, correctness checking tools