Індуктивний умовивід для систем обробки знань

Анотація

У роботі розробляється алгоритм неповного індуктивного умовиводу, призначений для реалізації в системах обробки знань для поповнення бази знань новим знаннями, які являються узагальненням знань, існуючих в базі знань. Такий алгоритм, аналізуючи й узагальнюючи дані, які обробляються в процесі кожної консультації, що дається експертною системою, знаходить нові закономірності і, відповідно до  них, формує нові правила бази знань. Розглядаються два варіанти практичної реалізації алгоритму неповного індуктивного умовиводу.  

Ключові слова: індуктивний умовивід, задача булевого програмування, база знань