С. С. Гончаров, Е. Е. Витяев, Д. И. Свириденко, А. В. Нечесов, “Задачный подход: недостающее звено между человеком и машиной?”, Сириус. Матем. журнал, 1:4 (2025), 50–59.

Исследуется возможность применения задачного подхода к построению объяснимых и доверенных систем искусственного интеллекта. Задача описывается в виде упорядоченной шестерки элементов: цель, входные данные, ограничения, выходные данные, критерий решенности и онтология. Подход интегрирует логические методы рассуждений с вероятностным обучением на основе теории функциональных систем. В рамках этой модели исследуется взаимодействие в мультиагентных системах, где агенты могут быть представлены как LLM-агентами, так и логическими агентами, выполняющими верификацию действий LLM-агентов. Таким образом формализованное понятие задачи позволяет осуществлять иерархические декомпозиции, где сложные задачи разбиваются на более простые подзадачи, что позволяет получать отслеживаемые, понятные человеку объяснения посредством цепочки доказательств, удовлетворяющие соответствующему критерию.

Работа С. С. Гончарова и Е. Е. Витяева выполнена при финансовой поддержке Государственным заданием: «Логические исчисления и семантики, теории моделей и вычислимости» FWNF-2022-001.

S. Goncharov, E. Vityaev, D. Sviridenko, A. Nechesov, “Is task-based AI the missing link between human and machine reasoning?,” J. Math. Sci. (New York), 295:1 (2025), 4−14.
DOI: 10.1007/s10958-025-08144-x