Резюме:

Представлены основные причины востребованности искусственного интеллекта в обеспечении информационной безопасности. Определена значимость агентных технологий информационной безопасности. Обоснована необходимость развития формальных методов анализа интеллектуальных информационных агентов. Сформулирована цель расширения формальных методов. Обеспечена единая основа для связи методов. Рассмотрены две ситуации: преодоление априорной неопределённости относительно описания крупномасштабной гетерогенной сети и достижение цели. Зафиксирован базис механизмов синхронизации действий информационных агентов для каждой ситуации. Формализованы расширенные описания указанных ситуаций. Учтён мажоритарный механизм синхронизации действий информационных агентов при расширении. Предусмотрено использование нотации объектно-ориентированного моделирования при выполнении исследований. Поддержана возможность варьирования характеристиками действий интеллектуальных информационных агентов. Предложены новые формализации для оценки влияния мажоритарных механизмов синхронизации действий на качество агентных технологий.

Ключевые слова: Информационная безопасность, интеллектуальный информационный агент, априорная неопределённость, достижение цели, качество агентных технологий.

Комментарии (0)