Промышленные АСУ и контроллеры Аннотация к статье << Назад Представление знаний при решении слабоструктурированных задач на примере подсистемы информационной безопасности автоматизированной системы управления С.С. Кочедыков, А.С. Кравченко, В.В. Лавлинский, О.В. Ланкин, Ю.В. Кулаков В работе дается краткий анализ существующих подходов к построению интеллектуальных баз знаний автоматизированных систем управления (АСУ) и их подсистем, показаны основные достоинства и недостатки. Рассматриваются вопросы разработки средств представления знаний на основе использования модифицированного λ-исчисления А. Чёрча и логических продукций, реализованных в виде секвенциальных деревьев. Даются примеры λ-выражений для записи таких понятий, как «структура», «канал утечки информации», «назначение», «оценка». Проведенные исследования показали преимущества такого подхода: с одной стороны, он близок к логическим моделям, что позволяет организовывать эффективные процедуры логического вывода, а с другой стороны, позволяет нагляднее и полнее по сравнению с классическими моделями логики отражать знания об объектах информационной безопасности. Таким образом, появляется возможность разработки интеллектуальных баз знаний, позволяющих решать слабоструктурированные задачи в АСУ и их подсистемах, на основе использования хорошо развитой Лисп-технологии, а также языковых средств функционального и логического программирования. Ключевые слова: автоматизированная система управления; задача; лямбда-исчисление; логическая продукция; представление знаний. Контактная информация: E-mail: infosec36@mail.ru Стр. 17-25.