О формализации протокола УЭ: бутстрап и двуслойность
почему вы применяете термин «протокол УЭ», если протокол никак не формализован?
Формализацию понятия можно определить как предоставление для него некой формальной модели. Варианты: управляемая, вычислимая, построенная на [разделяемой] метамодели. Не считаю это необходимым условием для «применения термина» или даже использования понятия в дискурсе, потому как в целом любой абстрактный дискурс построен en masse на нечётко определённых понятиях, что имеет для коммуникации как скорее положительные (обеспечивается вариативность семантик на небольшом наборе терминов), так и скорее отрицательные (потери управления разного рода из-за этой самой вариативности) стороны.
Но вопрос о «формализации протокола» для УЭ я считаю актуальным. И в данном случае это задача предоставления некоторой нормирующей модели протокола УЭ, которая позволяла бы выполнять аналитические операции, такие как различения протокольных и непротокольных высказываний/формул, и синтетические операции, такие как конструирование протокольных высказываний.
Первая сложность — метамодель. В какой схеме описывать УЭ? УЭ — теория предельного уровня общности и метамодель для такого рода теорий —серьёзный вызов. Чего долго ходить: УЭ можно описать только средствами УЭ, если оная претендует на нужную высоту абстрагирования и способность управлять метаотношениями. Проблему курицы и яйца в этой самореферентности и рекурсивности решается двояко.
Первый заход — создание бутстрапа, корпуса непротокольных утверждений (философские философствования в канале, например), которые неким условно-достаточным образом снижают неопределённость относительно целевой формы протокола. И второй заход — построение с помощью бутстрап-версии УЭ опорной когнитивной архитектуры и метода метамоделирования с её использованием. Если первый замыкает нужный рекурсивный цикл через использование непротокольных утверждений, которые плюс-минус могут распознаваться сообществом, потому что достаточных протокольных ещё нет, то второй — через внутреннюю двуслойность УЭ. Дискурсивный, коммуникативный слой с протокольными утверждениями и слой когнитивной архитектуры: первый аналитически нормируется и синтетически реализуется вторым; второй архитектурно определяется первым, но для реализации требует неУЭ-специализированного инженерного языка и онтологий. Это является одной из ключевых новаций.
Бутстрап мы 5 лет назад обсуждали в чате УЭ. С тех пор оба захода на метамодель для УЭ несколько продвинулись.