Программный компонент, повышающий эффективность методов сильного ИИ за счёт использования вероятностных лазеек и полиномиальных инверсных лазеек при решении задачи булевой выполнимости (EvoGuessAI)
задача булевой выполнимости комбинаторные задачи
EvoGuessAI предназначен для поиска в трудных комбинаторных задачах скрытых структур, называемых лазейками, знание которых упрощает решение исходной задачи. На данном этапе в компоненте представлены инструменты для поиска лазеек в задаче булевой выполнимости (SAT), в перспективе будут добавлены возможности поиска лазеек в MaxSAT (оптимизационный вариант SAT) и ILP (Integer Linear Programming). Парадигма поиска лазеек в EvoGuessAI основана на вычислении значений фитнес-функции, оценивающей качество лазейки, при помощи метода Монте-Карло, и на перемещении между различными множествами-кандидатами при помощи алгоритмов метаэвристической оптимизации. Программа выполнена в виде MPI-приложения и может запускаться на суперкомпьютере произвольной мощности. Программа создана по договору №70-2021-00141 от 02.11.2021 г., мероприятие М1.5.6 (направление развития ИИ: сильный ИИ в промышленности).
Программа может быть использована для поиска в трудных комбинаторных задачах скрытых структур, называемых лазейками, знание которых упрощает решение исходной задачи.
Александр
Бухановский
Валерьевич
Профессор
Доктор технических наук
Отсутствует
B-4793-2014
6603474810
РОССИЯ
Владимир
Васильев
Николаевич
Ректор
РОССИЯ
27.47.23
Математические проблемы искусственного интеллекта
28.23.02
Общие проблемы искусственного интеллекта
28.23.29
Программная реализация интеллектуальных систем
01.02.EP
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Артём
Павленко
Леонидович
РОССИЯ
Владимир
Ульянцев
Игоревич
РОССИЯ
Александр
Семёнов
Анатольевич
РОССИЯ
АНАЛИТИЧЕСКИЙ ЦЕНТР ПРИ ПРАВИТЕЛЬСТВЕ РОССИЙСКОЙ ФЕДЕРАЦИИ
АВТОНОМНАЯ НЕКОММЕРЧЕСКАЯ ОРГАНИЗАЦИЯ "АНАЛИТИЧЕСКИЙ ЦЕНТР ПРИ ПРАВИТЕЛЬСТВЕ РОССИЙСКОЙ ФЕДЕРАЦИИ"
1157700000655
КОНСТАНТИН
КАЛИНИН
МИХАЙЛОВИЧ
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Автономные некоммерческие организации
УНИВЕРСИТЕТ ИТМО; НИУ ИТМО; ИТМО
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИТМО"
1027806868154
ВЛАДИМИР
ВАСИЛЬЕВ
НИКОЛАЕВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения