Мақалада өнеркәсіпте біліммен басқару жүйесін құрумен байланысты зерттеулер нәтижелері қарастырылған. Жүйеге қойылатын талаптарды Knowledge management концепциясының негізінде құрасырылған. Зерттеу кезінде жасалған эвристикалық алгоритмнің математикалық сипаттамасы келтірілген. Алгоритм деректерден білімді шығару әдістері және білімді құру моделінің негізінде программалық жабдықтың әдісі қарастырылған. Алгоритм кетселерден білімді шығарып, білім қорын формальді жүйе ретінде жасайды. Ережелер интерпретаторы гипотезаларды тексеріп, қортынды шығарады. Формальді жүйе К. Гедельдің акиомалық теориялар сәйкес келеді. Жүйе өнімі формальді логикалық модельдің жұмысыңың нәтижесі. Алгоритм Python программалау тілінде жазылған. Мақалада локальді кубты құрудың концептілік негізі көрсетілген.
Түйін сөздер: біліммен басқару жүйесі, деректерде жіне интеллектуалды талдауда білімді анықтау, шығару, логикалық есептеулер, предикат логикасының есептеулері, интеллектуалды жүйелер.
