Программный компонент, повышающий эффективность методов сильного ИИ за счёт использования вероятностных лазеек и полиномиальных инверсных лазеек при решении задачи булевой выполнимости (EvoGuessAI)

EvoGuessAI предназначен для поиска в трудных комбинаторных задачах скрытых структур, называемых лазейками, знание которых упрощает решение исходной задачи. На данном этапе в компоненте представлены инструменты для поиска лазеек в задаче булевой выполнимости (SAT), в перспективе будут добавлены возможности поиска лазеек в MaxSAT (оптимизационный вариант SAT) и ILP (Integer Linear Programming). Парадигма поиска лазеек в EvoGuessAI основана на вычислении значений фитнес-функции, оценивающей качество лазейки, при помощи метода Монте-Карло, и на перемещении между различными множествами-кандидатами при помощи алгоритмов метаэвристической оптимизации. Программа выполнена в виде MPI-приложения и может запускаться на суперкомпьютере произвольной мощности. Программа создана по договору №70-2021-00141 от 02.11.2021 г., мероприятие М1.5.6 (направление развития ИИ: сильный ИИ в промышленности).