SoftReason: полностью дифференцируемая нейро-символическая архитектура дедуктивного рассуждения для многомерных перцептивных данных

В мире искусственного интеллекта долгое время существовал разрыв между двумя подходами: нейронные сети отлично работают с сырыми данными (изображения, звук), но плохо справляются с формальной логикой, а символьные системы, наоборот, блестяще оперируют правилами, но не умеют работать с «сырым» восприятием. Новая архитектура SoftReason предлагает элегантное решение: полностью дифференцируемую нейро-символическую систему дедуктивного рассуждения. Главное новшество SoftReason в том, что она сохраняет сквозную дифференцируемость — то есть может обучаться градиентными методами, как обычная нейросеть, но при этом выполняет настоящие логические выводы. Для этого авторы ввели понятие «мягких» (soft) предикатов и правил вывода, которые являются непрерывными аппроксимациями дискретных логических операций. Как это работает? Входные данные — изображение или видео — проходят через свёрточную нейронную сеть, которая извлекает высокоуровневые признаки. Затем эти признаки «озвучиваются»: каждый признак превращается в степень уверенности для набора логических предикатов (например, «красный», «круглый», «слева от»). Далее вступает в дело слой мягкого вывода: с помощью непрерывной версии modus ponens система вычисляет новые факты, постепенно строя цепочку рассуждений. В экспериментах SoftReason продемонстрировала способность решать задачи, непосильные ни чистым нейронным сетям, ни традиционным символьным системам: например, отвечать на сложные реляционные вопросы о визуальных сценах, требующие многошагового логического вывода («какой объект находится между большим красным кубом и маленьким зелёным шаром?»). Значение этой работы для будущего AI огромно. SoftReason открывает путь к созданию систем, которые понимают не только корреляции, но и причинно-следственные связи — а это ключевой шаг к настоящему искусственному интеллекту, способному рассуждать как человек. 📎 [Источник](http://arxiv.org/abs/2607.20402v1)