|
Theory of computing
Towards neural routing with verified bounds on performance
[На пути к нейросетевой маршрутизации с верифицированными
границами эффективности]
I. P. Buzhinskya, A. A. Shalytob a Aalto University, 8 Maarintie, Espoo 02150, Finland
b ITMO University, 49 Kronverksky pr., Saint Petersburg 197101, Russia
Аннотация:
Когда алгоритмы на основе данных, особенно основанные на глубоких нейронных сетях (ГНС), заменяют классические, их более высокая производительность часто сопряжена с трудностями при анализе. Чтобы компенсировать этот недостаток, для ГНС были разработаны методы формальной верификации, которые могут предоставить надежные гарантии поведения программы. Эти методы, однако, обычно рассматривают только саму ГНС, исключая среду, в которой она работает, и применимость методов, учитывающих такие среды, часто ограничена. В данной работе рассматривается задача формальной верификации нейросетевого контроллера для задачи маршрутизации в конвейерной сети. В отличие от известных постановок задачи, рассматриваемые ГНС выполняются в распределенной среде, и производительность алгоритма маршрутизации, которая измеряется как среднее время доставки, зависит от многократного выполнения этих ГНС. При некоторых предположениях, проблема верификации сводится к ряду проблем достижимости выходов ГНС, которые можно решить с помощью существующих программных средств. Эксперименты показывают, что в таких случаях возможна строгая и полная формальная верификация, хотя она заметно медленнее, чем градиентный поиск состязательных примеров.
Статья построена следующим образом. Раздел 1 вводит основные понятия. Затем в Разделе 2 представлена проблема маршрутизации и алгоритм DQN-маршрутизации на основе ГНС, который ее решает. В Разделе 3 описывается вклад данной статьи: новый надежный и полный подход к формальной проверке верхней границы среднего времени доставки маршрутизации на основе ГНС. Этот подход экспериментально оценивается в Разделе 4. Статья завершается обсуждением результатов и описанием возможной будущей работы.
Ключевые слова:
формальная верификация, надежный ИИ, глубокие нейронные сети, задача маршрутизации.
Поступила в редакцию: 16.06.2022 Исправленный вариант: 25.08.2022 Принята в печать: 26.08.2022
Образец цитирования:
I. P. Buzhinsky, A. A. Shalyto, “Towards neural routing with verified bounds on performance”, Модел. и анализ информ. систем, 29:3 (2022), 228–245
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais778 https://www.mathnet.ru/rus/mais/v29/i3/p228
|
Статистика просмотров: |
Страница аннотации: | 56 | PDF полного текста: | 22 | Список литературы: | 10 |
|