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

Номер 9 2016 год

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

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

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