Title :
Correctness of production-tabular knowledge bases
Author :
Karayev, R.A. ; Sadikhova, N.Y.
Author_Institution :
Inst. of Cybern., Baku, Azerbaijan
Abstract :
The issue of correctness of extended entry production-tabular knowledge bases is discusses. Such knowledge bases widely used in productions expert systems. The report proposes a formal definition and algorithms check correctness of these knowledge bases. The obtained results create the theoretical premises to ensure the reliability and robustness of the production-tabular technologies, widely used in intelligent systems diagnostics, monitoring, management, forecasting, decision-making.
Keywords :
formal verification; knowledge based systems; decision-making; extended entry production-tabular knowledge bases; forecasting; intelligent systems diagnostics; management; monitoring; productions expert system; Cybernetics; Expert systems; Indexes; Production; Semantics; Vectors; Production-tabular knowledge bases; algorithms check; correctness;
Conference_Titel :
Application of Information and Communication Technologies (AICT), 2013 7th International Conference on
Conference_Location :
Baku
Print_ISBN :
978-1-4673-6419-5
DOI :
10.1109/ICAICT.2013.6722719
