DOI: 10.17587/prin.7.258-267

УДК: 004.82

Правила оператора вывода для формализма абстрактного пространства знаний

К. И. Костенко, канд. физ.-мат. наук, зав. каф., e-mail kostenko@kubsu.ru, Кубанский государственный университет, г. Краснодар

Определены порождающие принципы и инварианты правил управления оператором вывода для моделей областей знаний, создаваемых с использованием формализма абстрактного пространства знаний. Оператор вывода реализует процессы нахождения целей и синтеза фрагментов сложных знаний, структура которых согласована со структурой решаемых задач. Для этого применяется комбинирование схем прямого и обратного вывода.

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

Стр. 258–267

Работа выполнена при поддержке РФФИ грант № 16-01-00214