Без заголовка

Нет, это вы отсылаете к так называемым neuro-symbolic методам (графы знаний в сочетании с нейросетевыми вычислениями). У меня совсем другое, у меня алгоритмика "культурного мышления в целом". То есть акцент не на методы представления знаний (распределённые или локальные-символные), а на сами методы мышления (вроде того, "конструктивная там в основе должна быть математика, или обычная классическая логика в мереологии? А если обе, то как их совмещать?").