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