рв> с ограниченной комбинаторикой
а пробовать вникнуть в предмет вы не пробовали? Посмотрите на такую штуку как грамматика предпочтений - отчего эта грамматика не тонет в бесконечных комбинаторных поисках? А режим упорядоченного рассмотрения кандидатов в аппроксимационные модели, оценки правдоподобия и проч. - оно что, не ограничивает комбинаторику?
когда вы идете в сортир, вы находитесь в полном комбинаторном пространстве возможностей? - часто вы садитесь на горшок вниз головой и сначала мочитесь, а потом снимаете штаны?
тот же эволюционно-генетический поиск осуществляется от достигнутого, что ограничивает коммбинаторику.
какой 'пафос', если после слов об абстрактной комбинаторике вы не знаете продолжения истории..
---------
мсс> Наверно вы всё это и имели в виду.
не совсем, градиентный подход несет смысл (свой) как бы в себе, шарик катится вниз вовсе не потому, что нам кажется что так правильнее, а потому что он минимизирует потенциальную энергию. антиградиент это антисмысл, смысл (собственный) имеют и сопряженные градиенты, и псевдоградиенты. Тут других смыслов и не надо..
и в отношении 'сии' - смысл сии-система должна нести в себе, иметь его собственным, а не во внешнем сознании наблюдателя.
----------
что до ренессанса логического подхода (который вовсе не сводится к исчислению предикатов), то вцелом вопрос выглядит странным - логический подход вцелом ведь никуда и не девался..
взаимодействия в рамках многоагентных систем это же тоже 'логический подход', онтологии это 'логический подход', планирование поведения это 'логический подход', мал мальски развитой анализ текста, типо выявление его риторической структуры это логический подход (логика текста).. когда глубокие техники наиграются с распознаванием и word2vec, то опять в центре внимания окажется то, что наз. логикой мышления,
умозаключения, обоснованного суждения, логика аргументации, логика диалога etc. Логика это же не просто априорные нормы и правила, формальные дедукции, манипуляции символическими структурами, это и извлечение правил из опыта, cимволизация, интерпретация, регуляризация динамики, обобщение правил, перенос концептуальных структур (логика метафоры, метонимии, абдукции), релевантные выборки декларативных структур, металогический надзор etc etc.
глубокие дистрибуции в рамках интегральной архитектуры всегда будут требовать нормативного контроля (cимволические состояния так или иначе все равно появятся на субсимволической инфраструктуре).