Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 6 2016 год

DOI: 10.17587/prin.7.258-267
УДК: 004.82
Правила оператора вывода для формализма абстрактного пространства знаний
К. И. Костенко, канд. физ.-мат. наук, зав. каф., e-mail kostenko@kubsu.ru, Кубанский государственный университет, г. Краснодар

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

Ключевые слова: область знаний, пространство знаний, логико-математическая модель, структура задачи, элементарное знание, синтез знаний, обратный вывод
Стр. 258–267
Работа выполнена при поддержке РФФИ грант № 16-01-00214