Мечтая об интерпретаторе для конструирования синтаксиса, в конце концов, я прихожу к выводу, что спецификация Rebol, который и позиционируется как система для конструирования диалектов, и есть та самая модель интерпретатора, у которой могут быть разные реализации, но с общим форматом типа того же ASON AltScript ... Не случайно идеи проекта не отпускают тех, кто когда-то сталкивался с Rebol-синтаксисом ... Кстати, стоит выделить, из попыток последних реализаций, проекты Arturo (Nim) и Ryelang (Go). Последний (А ведь, не только я интерпретирую ЯЗЫК как ИНТЕРФЕЙС!) заставил ещё раз перечитать спецификацию Go с его, "якобы" 25-ью ключевыми словами в противовес с 35-ью Си и с около сотни С ++. Какими бы не казались, на первый взгляд, грозными конкурентами C/C++ такие проекты типа Vlang, Zig или Crystal, они очень далеки до демонстрации, с помощью них, больших распределенных систем и, вообще, глядя на скорость развития этих проектов, мало надежд на то, что они выдержат весь путь, в принципе, в конкуренции с тем же JavaScript, догоняя его функциональность ... А с другой стороны, участие в идеологии Golang разработчиков Limbo (Inferno) безусловный аргумент, а то, что, фактически, один из участников, ещё и участовал в разработке того же Си, то аргумент вдвойне. То есть, если у algola-подобного синтаксиса Си и есть конкурент, то это, скорее всего, Golang и есть. За выделенными проектами стоит следить, хотя бы, с точки зрения интерпретации концепций программирования, например, того же КОНТЕКСТА. Идея интерпретации записи, файла, бокса, сегмента, блока, контейнера, фрейма, объекта, области видимости все того же ассоциативного массива, то есть даже не карты с парой ключ-значение, а с парой значений, огромный шаз вперед в понимании сути вычислительного процесса, как такового, без заумностей в попытках натянуть алгебраические символьные абстракции на концептуализацию, в принципе. Видимо, все-таки, действительно, стоит, МЕТАМОДЕЛИРОВАНИЕ акцентировать отдельно, от той же математики, практики манипулирования с числами, но без потери идеи нумерации как процесса различения и именования.
понедельник, 21 октября 2024 г.
понедельник, 7 октября 2024 г.
Если языковых парадигм нет, то что тогда ...
Сделал гугл-сайт и несколько удалил, а с двумя пока не знаю, что делать, потому как на них есть ссылки. Вероятно придется оставить, один это serj-aleks (метасемантика), а второй - метатроника. Может оставить для истории, демонстрирующей непростой выбор даже обозначения проекта, не говоря уже о других концепциях. Кстати, иногда возникает мысль вернуться к метасемантике ... хотя очевидно, что семантика и модель - суть одно с позиции структур, так что, в приницпе, без разницы и метамоделирование уже почти конвенциаональный термин.
Есть проблемы с рефакторингом. Собственно, задача просканировать посты из "телеграм", которых в "кодификации" больше 22 000 и в районе трех тысяч там же в "абракадабре", то есть около 25 тысяч постов, которые надо редуцировать! Кажется невозможным переварить столько информации. Начал смотреть и в очередной раз осознал ограниченность сознания, по крайней мере, своего. Какие-то аспекты забыты начисто. Кое-что даже удалось когда-то более внимательно посмотреть, не было времени, оставалось на потом ... и потом тоже забывалось.
Вот, например, идея "постепенно расширяющейся" системы ... XL. Кстати, идея трансформируется в проекте Ohm, где целью формулируется создать систему, чтобы генерировать свои синтаксисы. То же самое с идеей персистености, которая более осознанно проявляется в историческом моделировании ... А возвращаясь к XL мы неизбежно переходим к теме концептуализации как таковой, в связи с которой неожиданно всплывает аналогии проекта Prolog с реляционным программированием, а с этим всплывает тема интенционального программирования и такая серия проектов как Curry или Mercury ... Короче, цепь рассуждений до безобразия тривиальна. Все символы, которые так или иначе сериализуются в памяти, которую мы и организуем типа как пространство кортежей. Файлы ли это, блоки, боксы, домены или контейнеры не суть (Кстати, надо выбрать все-таки обозначение). То есть код ли, данные тоже не суть ... все размещается в некоторой базе данных (опять же файловой системе или в распределенном облаке тоже просто другие слова ...) ... компьютер - сеть, а сеть - компьютер ... И, собственно, то что называют языком - не что иное как информационная система, а лексика, по сути - база данных, что стало очевидным уже даже для лингвистов. Короче, буду конструировать свою классификацию прецедентов и концепций информационных систем. Интересно, какое место там займут операционки. Пока ясно одно, что во главе угла, прежде всего, протоколы или форматы!
суббота, 7 сентября 2024 г.
Fediverse, fedwiki ... factor
Неделя выдалась активной и связано это было с отношением с "телеграМ". По этическим причинам решил переехать на постоянное место жительство в соцсетях в другое место. Жаль "телеграФ", но буду искать новые варианты. Аккаунт как в ЖЖ не удаляю, много туда ссылок и буду читать корреспондентов, но постить туда уже ничего не буду. Переехал в "хабциллу", где администратор одного из хабов быстро откликнулся. Открыл сразу два канала - под своим именем для заметок проекта МЕТАМОДЕЛИРОВАНИЕ и тематический РЕТРОСПЕКТИВА, с уклоном в социальные аспекты. Попробовал там же сервисы "вики" и "веб-сайт" из-за чего, собственно, выбрал "федиверсе" и то что с ним дружит "вордпресс". Сервисы сырые и и неудобные. Подумал, что может вики попробовать в "федвики", но не нашёл ни одного провайдера. Тем не менее переезд снова инициировал идею анализа современных актуальных проектов, авторы которых идут своей дорогой против мейнстрима коммерческих гигантов. Скорее всего тему буду развивать на платформе Тиддливики. Самый удобные и надежный вариант. JavaScript подождёт, хотя видимо в ближайшем будущем объехать его мимо не возможно, но для своего проекта и практики программирования хочу все-таки выбрать что-то более концептуально фундаментальное. Увидел проект Spry , который показался с моей колокольни близким по духу. В связи с чем начал смотреть проект Nim, где впечатлила амбиция сать лучшими и единственными ... но алголовский синтаксис настораживает и в этом смысле даже интереснее тот же Crystal . Короче, буду продолжать искать свою инфраструктуру, продлжать смотреть за развитием flatassembler, Racet, Faro ... где прежде всего есть графическая среда ... Первый очень далеко до Веба, как впрочем тот же Factor, но возможно, что последнему и уделю больше всего внимания. Концептуальность проекта зашкаливает, как впрочем, и амбициозность, и видно что автор глубоко понимает проблематику. Не хочу погружаться в "кучи", и сборки мусора. Я видел проект и даже участвовал, где на фортовских "стеках" была и сетевая объектная база данных и ГИС ... Буду привыкать к комбинаторам без скобок, а не к аппликативному синтаксису. Тем более, сейчас я точно понимаю что хочу, что все полные по тьюрингу системы одинаковы и что источник проблем - стартовый синаксис интерфейса, описание системы авторами и активность разработки ... и синтакический компромисс между функциональными скобками лямбда-блоков и конкатенационной природой натуральных диалектов для меня будет решаться как раз на стыке JS и, скорее всего, этого самого Factor"а. В конечном итоге, разрешение этих проблем в GUI и системе, позволяющей настраивать любой синтаксис. А такого пока никто не сделал. По пути к зрелости, почти все игнорируют важные вещи на уровне ядра, "живую среду", где пока безусловным лидером является Smalltalk, но который совсем не дружит с внешней средой, хотя его разработчики могли бы и позоботиться хотя бы о том, чтобы сделать транспилеры этой внешней среды в себя.
воскресенье, 28 июля 2024 г.
Терминологическая магия
Когда концентрируешься вокруг какой-то темы, непроизвольно в сознании происходит деформация и даже начинается что-то типа сакрализации в противовес декларативным интенциям. Хотя есть такие слова, которые сами собой акцентируются и на первый взгляд никак не связаны с актуальной практикой. Так, например, в школе я любил "чертить" на бумаге слово ИСТОРИЯ, хотя дисциплину такую игнорировал и не интересовался. Уже надавно вспоминал этот факт, когда был период увлечения процессом концептуализации "истрического метода". А где-то в студенческие времена таким "сакральным" словом стал ПРОЕКТ, хотя опять же, до понимания его значения было ещё ой как далеко ... Естественно, что такими терминами стали, в свое время, ТЕЗАУРУС, ГЛОТЕОН, МЕТАСЕМАНТИКА, КОДИФИКАЦИЯ ... а с ними и МЕТАМОДЕЛИРОВАНИЕ ... с которым возникла АБРАКАДАБРА ... Возможно, что и ЛЕКСИЧЕСКИЙ УНИВЕРСУМ станет таким магнитом ... А вот намедни, заворожида целая четверка - СЦЕНАРИЙ, СЦИЕНТИЗМ, СХОЛАСТИКА и СХЕМА ... а может и даже "пятерка", если сюда ещё добавить СФЕРУ ... ТЕМА, ШКОЛА, АКАДЕМИЯ ... ОРГАНИЗАЦИЯ и ИНСТИТУЦИАЛИЗАЦИЯ ... КОММУНИКАЦИЯ и СОЦИАЛИЗАЦИЯ ... НАВИГАЦИЯ и ОРИЕНТАЦИЯ ... и т. д. и т. п.
воскресенье, 14 июля 2024 г.
Феноментальный прецедент
В лексикографии, идеографии, инструмент тезаурусного подхода к моделированию интеллектуального агента, к конструированию поискового индекса, исследовательский стенд модель СМЫСЛ-ТЕКСТ ... в любом случае проект захватил. Общий список терминов и структура в соответствии с новым алфавитным порядком, некоторая его версия для оптимизации, будет готов к олимпиаде. Далее сравнение со списком штаммов и списком терминов для манифеста метамоделирования с параллельной оптимизацией ... Акцентирование синонимических и тематических полей ... Важные ссылки на атрибуции ... И получится уникальный продукт, который может быть базой для эволюции любого специализированного тезауруса. С одной стороны, это делается как идиолект, но с другой, в силу проективности общей конвенциональной лексики, вполне себе диалект. В любом случае, как приложение к манифесту метамоделирование, результат придаст уверенности и самому манифесту как модели потенциального универсума.
вторник, 28 мая 2024 г.
Метамоделирование и теория моделей
Кажется, что со списком словаря (ГЛОТЕОН) дело идёт к завершению, становится все труднее находить мотивы включения каких-то штаммов в словарь дисциплины МЕТАМОДЕЛИРОВАНИЯ! По крайней мере теперь это будет происходить не регулярно, нужны убедительные стимулы. Критерием задесь является практика использования термина в информатике.
Фактически, завершена и структура МАНИФЕСТА МЕТАМОДЕЛИРОВАНИЯ. То есть, теперь полностью можно сконцентрироваться на детализации, цитатах и комментариях ... "выращивании" ТЕКСТА ... Апогеем чего является это важный комментарий!
Ну и как АППЛИКАЦИИ "новой теории", её ИНТЕРПРЕТАЦИИ, параллельно, можно будет сосредоточиться на СПЕЦИФИКАЦИИ МЕТАМОДЕЛИРОВАНИЯ как МОДЕЛИ ИНФОРМАЦИОННОЙ СИСТЕМЫ ... возможно, с уклоном в СИСТЕМУ АВТОМАТИЗАЦИИ ИНТЕЛЛЕКТУАЛЬНЫХ ОПЕРАЦИЙ ("интеллектуализации системы"), но это зависит от Бурдуков Александра Николаевича, его инициативы с МЕТАИНТЕРПРЕТАТОРОМ.
вторник, 21 мая 2024 г.
Цитаты к концепции МЕТАМОДЕЛИРОВАНИЕ
Метамоделирование как процесс и Ситуационное метамоделирование ... а также тиддлер для ассоциативного массива термина ПАРАМЕТР. Цитаты в том или ином виде будут включены в МАНИФЕСТ. Параллельно ссылки идентифицируют БИБЛИОГРАФИЮ.
воскресенье, 28 апреля 2024 г.
Пять прототипов параметрических архитектур для спецификации компьютерного интерфейса
Длинное название поста ... Но, собственно, в чём замысел ... План и факт манифестации новой дисциплины МЕТАМОДЕЛИРОВАНИЕ отчетливо просматривается ... Текст манифеста будет выращен из из почти готового каркаса ... С помощью цитат и комментариев ... Рассмотрение "новых" терминов в каркасе мало что прибавит в плане семантики ... Тем не менее весь пул текущего ГЛОТЕОНа будет рассмотрен ... Одним словом в написании текста, в этом эксперименте, творческой составляющей больше нет, только рутина ... Поэтому параллельно можно попытаться применить методологию к какому-нибудь приложению, акцентируя тот же прагматический аспект. Более того, если действовать параллельно, то второй процесс может добавить параметры для ограничения или рамок первого. Естественно, в качестве такого приложения, я выбираю СПЕЦИФИКАЦИЮ архитектуры компьютерного интерфейса и для анализа концептуальных прототипов, произвольно ограничивая их число пятью ... (Пытался юзать полтора или даже два десятка разных систем, раза в два или три больше, просто читать документацию ... и пришёл к выводу, что можно оптимизировать количество концепций и при этом сделать это на примере, с одной стороны концептуальных проектах, а с другой, реализованных на практике). Более того, эта идея, сама по себе постоянно зудит и были попытки к ней подступиться с разных сторон, но список кандидатов для анализа, постоянно разрастался и под давлением огромного количества информации, фокус внимания смещался. Наконец, возможно помогает опыт работы над структурой ГЛОТЕОНа, как кажется, выбор окончательно сделан. И он нравится. И это отличный список для погружения в проблемы программирования:
1. Tiddlywiki - с одной стороны, максимально концептуально нагруженная архитектура, вмещающая почти всю идеологию программирования, с другой, система, реально помогающая моим проектам, и, наконец, представитель мейнстрима или реальной тотальной практики, конвенциональной и стандартизованной.
2. Rebol - как альтернативная ветвь эволюции с концептуально продуманной оптимизацией эклектичного, по своей сути, процесса развития компьютерных систем и, фактически, вмещающего в себе всю ретроспективу популярных концептуальных представителей ... Lisp, Forth, APL, Self (аккуратнее всего репрезентирующий Smalltalk и, в принципе, объектную парадигму).
3. Flatassembler (в сравнении с Webassembly) - как базовый уровень архитектуры интерфейса компьютерных систем с одной стороны, и как межплатформенная реализация, с другой.
4. Erlang - как зарекомендовавший себя на практике представитель функционального направления "мета-языков", с реализацией модели акторов, конкурентного программирования и смарт-контрактов, проблемы распределенных и параллельных процессов.
5. Prolog - как классический представитель логического программирования, продукционных систем, реляционной алгебры и СУБД.
Структуры и алгоритмы (и прежде всего организация памяти, сортировка и поиск) остаются концептуальными инвариантами! А автоматизация интеллектуальных операций перманентная тенденция всей компьютерной эволюции!
P.S. Список может быть дополнен максимум двумя позициями, например, тем, что пока активно развивается и потенциально может повлиять на спецификацию: проекты Zig и V как оптимизация мейнстримных Go и Rust, а также проект UNISON с позиции "исторического моделирования".
воскресенье, 7 апреля 2024 г.
Пять пунктов в библиографию проекта и акцентирование МЕТАМОДЕЛИРОВАНИЯ
"Пятерка классиков" этого проекта - Коржибски, Моррис, Турчин, Берс, Шрейдер ... (https://t.me/HYPERANALYTICS/4899, https://t.me/HYPERANALYTICS/4891) ... Это означает внимательное цитирование и комментирование сначала их ...
Возвращение термина МЕТАМОДЕЛИРОВАНИЕ на первый уровень в каркасе ... Это было в первой версии структуры контента, но потом было решение "растворить тему" как базовую концепцию, по всей структуре, чтобы она, как бы "самовыводилась" из всего контента ... Но возвращение обратно тоже не вызывает диссонанса, более того, теперь точно можно будет "вместить" всю рассматриваемую терминологию ... В конце концов нет ограничений на деформацию регулярности структуры и если возникнут основания "сломать решетку", то запретоа этому нет.
среда, 21 февраля 2024 г.
Социальная природа символьного моделирования
В связи с ориентацией на метамоделирование, кодификацию, автоматизацию интеллектуальных операций и концептуализацию, подсознательно игнорировал аспекты социальной философии. Основной уклон на эпистемологию. Но даже "отец термина ЭПИСТЕМА" - М. Фуко в "Слова и вещи" рассматривает три модели формы гуманитарных наук, имея в виду ИСТОРИЮ, ПСИХОАНАЛИЗ и ЭТНОЛОГИЮ. Поскольку "история" была выделена наряду с ТРАДИЦИЕЙ и КУЛЬТУРОЛОГИЕЙ в кейсе КРИТИКИ, где по плану рассмотреть СОЦИОЛОГИЮ, ЭКОНОМИКУ и ПОЛИТИКУ ... а с ними же, ПСИХОЛОГИЮ ... и последнюю, как раз, в рамках "эпистемологии" вместо ДЕМАРКАЦИИ, которая более уместна в связи с СОЦИОЛОГИЕЙ и, в принципе, является абстракцией для "критического процесса".
https://t.me/HYPERANALYTICS/4481
https://t.me/HYPERANALYTICS/4477
https://t.me/HYPERANALYTICS/4475
воскресенье, 7 января 2024 г.
Двухлетняя программа финализации проекта
Обычно в конце года или на его старте, я компоновал список постов. Теперь он ведется синхронно и я могу просто привести ссылку. Ввожу новую традицию - программу действий. Под проектом понимаю то, что обозначено как АБРАКАДАБРА и раньше обозначалось как МЕТАТРОНИКА, МЕТАПОЗИЦИЯ, МЕТАСЕМАНТИКА, КОДИФИКАЦИЯ и МЕТАМОДЕЛИРОВАНИЕ. Новое обозначение кажется самым удачным и больше менять его не собираюсь. Более того, именно под этим брендом и манифестирую проект, которым так или иначе занимаюсь несколько лет и есть ощущение, что ещё два года - это максимум активной концентрации внимания над этой темой и может пропасть интерес без следующей трансформации. Пришло время подведения общих итогов и оформления. Вряд ли это будет банальный текст, скорее гипертекст, миниэнциклопедия, лексикон с расширенными комментариями в продукционном стиле и с препозициями CAP-грамматики. Главное для текста - его структура - контент, каркас, индекс ... что, собственно, и задает сюжет с определенной точки зрения, историю как потенциальную интерпретацию. Другими словами, речь просто о информационной системе, некоторого универсума, одного из ... но, исключительно, на конвенциональной базе. Буду экспериментировать с тремя индексами параллельно с "выращиванием" текста из выбранных пазлов, пытаясь их интерпретировать, комментировать. Помимо идеи интеграции дисциплин - МАТЕМАТИКИ, ЛИНГВИСТИКИ, ФИЛОСОФИИ на базе АВТОМАТИЗАЦИИ, манифестируется интеграция ПРИНЦИПОВ из, так называемых, "измов". В принципе, все КОНЦЕПЦИИ, не что иное как принципы, идеи, аксиомы, теории, определения или их системы, тем не менее в поисках конвенциональной базы, "измы" - продуктивный источник пазлов наряду с "логиями" ... и тому подобными морфологическими формами обозначений. Из нескольких сотен "измов" на текущий момент в списке более шести десятков, из которых будет выбрано максимум 27. Всегда есть возможность отметить важность определенного "изма" в контексте термина с общим штаммом. Разные индексы продемонстрируют приоритеты или доминирующие принципы, 17 или 15 из 27 соответственно. Увлекательная игра. И удивительно, что в рамках алгебры формальных понятий ею не занимаются. Это кажется более практичным и может иметь приложения, например, для организации персональных баз знаний, персональных интеллектуальных профилей и даже тематических поисковых агентов. И это уточнит феноменологию формальных понятий на базе чего возможно будет возможным акцентироваться на более конструктивных идеях, чем противопоставление "объема" и "содержания", или, по крайней мере, детализировать эту концепцию. Фактически, речь идет о расширении теорий, основанных на регулярности нумераций и ограниченных "логической истинностью" предикатов в сторону большей их информативности с учетом внутренней структуры, учитывающей более широкий класс прЕпозиций как отношений между выделяемыми объектами и процессами, выраженными в предикациях. То есть, фактически, конструируется теория денотации или десигнификации (обозначений) ... или кодификации (или символизации). Насколько она будет декларативнее или демонстративнее, чем имеющиеся грамматики, логики и семантики ... Всё познается в сравнении.
суббота, 21 октября 2023 г.
АБРАКАДАБРА и ИНТЕРПРЕТАТОР
Установка на МЕТАМОДЕЛИРОВАНИЕ как тему безусловно сохраняется, но подход к этой теме, в моем персональном случае (как интерпретатора!) реализуется (интерпретируется!), в первую очередь, с точки зрения, обозначения, собственно, проекта (АБРАКАДАБРА) и ИНТЕРПРЕТАТОРА. То есть КОДА, его генерации и трансформации. Такой акцент делает переход к ПАРАМЕТРИЗАЦИИ и МОДЕЛИРОВАНИЮ ОБЪЕКТОВ УНИВЕРСУМА "конструктивнее".
четверг, 28 сентября 2023 г.
Как выбраться из системы стереотипов
Хотел просто, в очередной раз, напомнить себе о центральных аспектах, фундаментальном интересе, фокусах, акцентах ... Отталкиваясь от изначальных и пытаясь раз за разом отказаться от ... прежде всего, термина "ЯЗЫК" ... Это не просто блажь, а реально помогает оптимальной или эффективной концептуализации (ясному пониманию) и прежде всего тому же поиску более содержательных тематических текстов ... Начал выписывать синсет для комбинации терминов "КОМПЬЮТЕРНЫЙ ЯЗЫК" ... и остановился на следующей серии:
Абстрагирование, Автоматизация, Адресная система, Аксиоматика, Алгоритм, Алфавит, Аналитика, Аппликация, Архитектура, Ассемблер, Атрибуция, База, Грамматика, Декларация, Демаркация, Дескрипция, Детекция, Детерминация, Дефиниция, Дифференциация, Идеализация, Идентификация, Индикация, Интеграция, Интеллект, Интенция, Интерпретация, Интерфейс, Инфографика, Калькуляция, Карта, Каталогизация, Категоризация, Классификация, Кодификация, Комбинация, Коммуникационная система, Компиляция, Композиция, Компьютер, Конфигурация, Концептуализация, Лексика, Литература, Логика, Математика, Медиа, Метаизация, Моделирование, Нумерация, Номинация, Нормирование, Нотификация, Организация, Параметризация, Парсинг, Перспектива, План, Предикация, Препозиция, Программа, Позиционирование, Продукция, Пропозиция, Протокол, Реляция, Репрезентация, Ретроспектива, Рефереренция, Риторика, Семантика, Сигнальная система, Символизация, Синтаксис, Синтез, Систематизация, Скрипт, Стандартизация, Структуризация, Таксономия, Теория, Типизация, Токенизация, Трансляция, Трансформация, Универсализация, Функция, Формализация, Форматирование, Шифрование, Эдукация, Экспрессия, Этимология ...
... И очередной раз вижу, что возвращаюсь к проекции ГЛОТЕОНа ... темам МЕТАМОДЕЛИРОВАНИЕ и КОДИФИКАЦИИ ... КОДУ и МОДЕЛИ ... КОДУ как МОДЕЛИ ... и МОДЕЛИ как КОДУ ... Видимо, экскурс в "компьютерные языки" как прагматическая полоса, которая трансформируется в процесс абстрагирования саккумулированного материала ... Скорее всего, такие метания неизбежны ... перманентная интерпретация ... ТИК-ТАК-ПРОЦЕСС ... ПРАКТИКА - ТЕОРИЯ - ПРАКТИКА ТЕОРЕТИЗАЦИИ - ... Вот такая вибрация ... Но может, наконец, откажусь от термина ЯЗЫК окончательно ... от ПОНИМАНИЯ в пользу КОНЦЕПТУАЛИЗАЦИИ отказался почти ... и от СОЗНАНИЯ совсем! Осталось отказаться от ПАМЯТИ, но чем заменить.
четверг, 7 сентября 2023 г.
Классы, типы, группы, категории, сеты, массивы, списки, структуры, блоки, фреймы и прочие коллекции
... Объекты, функции или выражения? ... Готова версия ГЛОТЕОНа. Она не релизная и полнота изначально рассматривалась исходя из двух аспектов - латино-эллинская лексика и общее-научная, куда не включались инженерные дисциплины и специальности естествознания, ограничиваясь не описанием объектов перечисленных практик, а ПРОТОКОЛАМИ и ФОРМАТАМИ описания самого процесса описания, металексика. Преднамеренно декларируется отказ от термина ЯЗЫК, вместо которого будет использоваться все, что попадает в семантическое поле термина ЛЕКСИКА, в частности, СИНТАКСИС. Именно, исходя из этих соображений, новая дисциплина МЕТАМОДЕЛИРОВАНИЕ рассматривается как интеграция МАТЕМАТИКИ, ЛИНГВИСТИКИ и ФИЛОСОФИИ, которых объединяет "символическое" моделирование, абстрагирование и концептуализация. Но, опять же, поскольку эта интеграция, в свою очередь, позиционируется с точки зрения автоматизации и компьютеризации, то уже из этого следует, что можно ещё редуцировать ГЛОТЕОН. Парадокс в том, что попытки обобщения практики обобщения, формализации, мягко говоря желают быть, если не метаформализованы", то "метастандартизованы", МЕТАИЗИРОВАНЫ. Для конвенций тоже нужна некая парадигма, объясняющая весь зоопарк дескрипций единым подходом. Собственно, МЕТАМОДЕЛИРОВАНИЕ (ГЕНЕРАТИВНАЯ КОДИФИКАЦИЯ) такой парадигмой и является. Акцентирование на "вычислительных процессах" немедленно вызывает новые интенции, вызывающие когнитивный диссонанс. Если из математической логики такими интенциями были МНОЖЕСТВО, ИСТИНА, БЕСКОНЕЧНОСТЬ, ПЕРСИСТЕНТНОСТЬ ... то в сфере КОМПЬЮТЕРНЫХ СЕТЕЙ это уже КЛАССЫ, ТИПЫ, ОБЪЕКТЫ, ФУНКЦИИ, СТРУКТУРЫ, АЛГОРИТМЫ, ДАННЫЕ и КОД, ... и так далее ... КОНТЕНТ и его ЛОКАЛИЗАЦИЯ, вызывающие такие же проблемы обозначения и их путаницу как и в философии с той же РЕАЛЬНОСТЬЮ и её ИДЕАЛИЗАЦИЕЙ ... Короче, очередной рефакторинг! Новая версия ГЛОТЕОНА. Напрашивается здесь стартануть с концептуального анализа ТИПИЗАЦИИ ... и, наконец, редуцировать, уже накопившиеся ресурсы, результатом чего будет версия, которая будет ещё ближе к привычным текстам, по крайней мере, что-то типа гипертекста с одним уровнем вложенности.
Третий мир Поппера, Карнапа, Фреге и машины
понедельник, 7 августа 2023 г.
КОНЦЕПЦИЯ или МОДЕЛЬ
Итак, условная нумерация пунктов с "портальными" страницами для введения в МЕТАМОДЕЛИРОВАНИЕ - 000. УНИВЕРСУМ, 001. АГЕНТ , 002. ИНТЕРПРЕТАЦИЯ, 003. ПРЕДИКАЦИЯ, 004. ГРАММАТИКА, 005. ТЕРМИН, 006. АТРИБУТ, 007. ПРЕПОЗИЦИЯ, 008. ДЕФИНИЦИЯ, 009. ТЕМА, 010. КОНТЕКСТ, 011. СИТУАЦИЯ, 012. СЕРИЯ, 013. ПРОЦЕСС, 014. ПАРАМЕТР , 015. ФРЕЙМ, 016. КОНЦЕПЦИЯ, 017. МЕТАМОДЕЛИРОВАНИЕ.
Фрейм вместо объекта, который будет рассмотрен в контексте своего штамма. По сути все это предикации, дескрипции и даже когда мы выделяем обозначаемые или описываемые, они по сути для нас уже предикации, которыми мы и оперируем. Предикация - единственный способ выразить отношения, не случайно есть прямо термин "относительные выражения".
Давно хотел акцентировать собственное внимание на авторе статей в википедии МЕТАМОДЕЛИРОВАНИЕ и СЛОВАРИК ФИЛОСОФСТВУЮЩЕГО ИНФОРМАТИКА - Ворожцов Артем Викторович МФТИ. К словарику имеет отношение ещё Непейвода Н. Н.
воскресенье, 14 мая 2023 г.
ТЕМАТИЧЕСКИЙ ГЛОССАРИЙ-ТЕЗАУРУС из ТЕРМИНОВ и КОНЦЕПЦИЙ для МЕТАМОДЕЛИРОВАНИЯ
Осознал структуру словаря. Надо отдельно заводить карточку (тиддлер, фрейм) для морфем штамма, ассоциатов (их всё-таки разбить на синонимы, алиасы и отдельно выделить тематические ассоциаты) и лексические прецеденты со ссылками на библиографию ... если добавлять определения или авторские цитаты, то тоже отдельно по каждой продукции ... Механизм "эмбендинга" тиддливики позволяет это все собирать при необходимости в один фрагмент ... так что начинаем. Изначально ГЛОТЕОН создавался по принципу собрать все корни латино-эллинской лексики с целью создания планового языка ... сейчас задача выделение "тематической" проекции ...
https://t.me/KODIFIKATION/15108
Начинаю осознавать вредность расширения концепций ... иногда это бывает полезным или необходимым ... более того, это суть концептуализации как системы определений ... собственно, вредность, видимо, от того, что расширение и ведёт к противоречиям ... то есть это как и с системой линейных алгебраических уравнений, где "лишние уравнения" приводят к вырождению ... принцип не порождать сущности без необходимости отсюда же ... "синтаксический сахар" не безобиден ... не всегда удается сохранить гармонию ... именно мусор мешает видеть более адекватную модель в итеративном гетерогенном процессе их генерации и выражения. Отсюда следствие из принципа максимума - существуют оптимальные варианты.
https://t.me/KODIFIKATION/15106
Никак не могу убедить себя просто взять и написать текст в стиле школьной грамматики ... Казалось бы, бери и пиши ... с учетом опыта, пара-тройка месяцев и текст был бы готов ... и тут же понимаю, что принципы не позволяют так сделать ... лучше ограничиться проектом специализированного идеографического словаря, чем городить миллион первый том с лексической комбинаторикой ... Кстати, мои основные претензии к школе и университету всегда были про муштру, когда надо было решить десятки однообразных задач ... а что можно было ещё узнать и понять за это время ...
https://t.me/KODIFIKATION/15101
000. Модель, 001. Мета, 002. Тезаурус, 003. Лексика, 004. Реальность, 005. Субъект, 006. Объект?, 007. Символ, 008. Дефиниция, 009. Концепция, 010. Грамматика, 011. Логика, 012. Детерминация?, 013. Калькуляция ... Структура ... Система? ... Элемент? ... Референция ... Директория ... Позиция ... Предикация ... Продукция ... Хочу нащупать какие-нибудь "естественные" принципы нумерации исходя из генезиса ... типа вот вводим термин МЕТАМОДЕЛИРОВАНИЕ ... естественно генерируем статьи МОДЕЛЬ и МЕТА ... Говорим о словаре - ТЕЗАУРУС ... и так далее ... и тут же сразу облом дальше ... Синонимия или алиасы ломают какую-либо линейность или последовательность, тот же пример с СУБЪЕКТОМ и ОБЪЕКТОМ, имеющие один корень и что имеет основание объединить термины в одну статью или заменить "субъект", например, на АГЕНТ или ПЕРСОНу ... или "ходить парами" ... может, в принципе, пары сделать принципом организации словаря ... типа сразу создаем "ассоциативный массив" ... все равно любой термин, морфема уже как минимум остенсивная дефиниция, дефолтно-конвенциональная символизация, демонстрирущая что-то однозначно ... но опять же уже с "субъектом" и "объектом" это неоднозначно, поскольку термин используются официально часто вместо друг друга ... то есть самое сложное определить "самую" очевидную или частотную пару ... ОБЪЕКТ - ПРОЦЕСС или ПРОЦЕСС - РЕЗУЛЬТАТ ... из чего следует что с парами можно "приплыть" ... но уж больно идея соблазнительная ...
https://t.me/KODIFIKATION/15117
... и здесь, наверное, не поможет ни теория множеств, ни векторные пространства ... то есть или просто списки или ассоциативный массив, массив пар ... про последний и речь ... найти форму его выражения в тезаурусе явно, нагляднее, поскольку дефолтно мы его демонстрируем ... тематическим ассоциатами ...и теми же алиасами ... вопрос в существующих прецедентах использования и в "потенциалах" ... последние ассоциируются с дедукцией ...
воскресенье, 7 мая 2023 г.
Метамоделирование как дисциплина и научно-исследовательская программа
Метамоделирование - интеллектуальная практика, интегрирующая все абстрагирующие эпистемологические или когнитивные дисциплины ...
Как дисциплина, метамоделирование - формальная система, символьная модель, аксиоматическая база со своим алфавитом и грамматической конструкцией, спецификация, псевдокод, который может быть реализован или проинтерпретирован компьютерной программой ...
Как научно-исследовательская программа, метамоделирование - парадигма, теория, продукционная экспертная система, концептуальный анализ, научная лексика и перманентная интерпретация в рамках метамоделирования как метатеории ...
Логика высших порядков подобно теории типов - нерелизованная научно-исследовательская программа, вдохновленная логикой предикатов, расширяющей логику выказываний ... все в конечном итоге трансформировалось в теорию моделей, металогику и в функции высших порядков в метаязыках ... Всё это может интерпретироваться как метасистемный транзит (переход) ... Иерархия тоже модель ... Можно говорить, в общем случае, о сети ... О синтезе моделей ...
пятница, 28 апреля 2023 г.
Метамоделирование и когнитивистика
Когнитивистика - фактически, последний мейнстримный и даже почти эпистемологический институциализированный тренд дисциплинарной интеграции. Метамоделирование можно рассматривать как сопряженную дисциплину, в которой есть инструментальный фундамент, главным образом, на компьютер (как в автоматизации, кибернетике, информатике), в отличии от нейрофизиологии субъекта в когнитивистике. И там и там отсутствует социальный аспект, объективизация коммутативной лексики, её конвенцианализация. Метамоделирование, фактически, программирование, проектирование и символьная калькуляция, рационализация, формализованная метатеория или металогика.
Субъекты часто путают карту и территорию, процесс и результат, данные и код ... модель и её дескрипцию. Если модель - отношение, а это то, что порождается исключительно субъектом и может быть выражено только кодом, то можно заключить, что модель - код отношения. То есть когда мы определяем модель как пару, как отношение между "чего-то или чем-то" двумя ... нет никакого моделируемого и моделирующего, а точнее, это одно и то же (пассив и актив здесь чистая спекуляция). Есть оригинал и эрзац, который мы соотносим с оригиналом. Даже когда мы пытаемся специфицировать, якобы, отношение, например, "деление" (чисел), мы специфицируем процесс и соответственно, корректно говорить об отношении результата к процессу или о "метаотношении" ... То есть кодировать можно всё, как реальность, так и фантазии. Но код сам по себе не порождает новой реальности, кроме бутафории, воплощенной в материализации символов.
вторник, 7 февраля 2023 г.
Мета-отношения и метамоделирование
Прецедент однако. Если модель - отношение и термин "метамодель" легален (а он уже конвенция, только с разными интерпретациями), то мета-отношение тоже, что и метамодель.
https://t.me/KODIFIKATION/12122
1.47 Нео 2.47 (Нивелир, Ниппель, Нирвана, Нитро) Номенклатура 3.47 Номер 4.47 (Нон, Норд) Норма 5.47 (Нострификация) Нота 6.47 (Ноу-хау) Нуль (Нюанс) 7.47 Пазл
1.48 Пакет 2.48 (Паллиатив, Памфлет, Панегирик, Пасквиль) Пан 3.48 Пара (Парад, Парадигма) 4.48 (Пардон) Парк 5.48 (Парсер) Партитура 6.48 (Паспорт, Пассаж, Пассажир) Пас (См. ПАЗЛ) 7.48 Пат (Патент, Патология, Патриций, Патрон, Патронаж, Паттерн, Пафос)
среда, 28 декабря 2022 г.
МЕТА-ИНТЕРПРЕТАТОР "ПАРАДИГМА"
В следующем году вариант ГЛОТЕОНА будет готов. Можно будет начать экспериментировать. Кроме того, наконец, четко сложилась ПАРАДИГМА с помощью Александра Бурдукова, с которым в следующем году, мы наконец, начнём вместе "оформлять её формализацию" со связными комментариями. Есть идея так и назвать проект МЕТА-ИНТЕРПРЕТАТОР как приложение новой дисциплины МЕТАМОДЕЛИРОВАНИЕ + КОДИФИКАЦИЯ. Тот же ГЛОТЕОН и даже модная тенденция генерального или универсального "арт-интеллекта" могут быть рассмотрены с этих позиций как приложения ПАРАДИГМЫ.
1.35 Коучинг 2.35 (Креативность) Кредит 3.35 Кретинизм 4.35 Кризис 5.35 Криминал 6.35 Кристалл 7.35 Критика
1.36 Кронштейн 2.36 Ксило 3.36 Куб 4.36 (Кулуары) Кульминация 5.36 Культ 6.36 Кумулятивизм 7.36 Купон
1.37 (Куранты) Курс 2.37 Лаборатория 3.37 Лакуна 4.37 (Ламинарный, Лампа) Латентность 5.37 (Лафет, Лейбл) Лексика 6.37 Лемма 7.37 (Лента) Лепрозорий
1.38 (Летальность) Лига 2.38 Лидер 3.38 Ликвид 4.37 Лимит 5.38 Лимфа 6.38 (Линк) Лингва 7.38 Линия
1.39 Лист 2.39 Литера 3.39 (Лифт) Лицензия 4.39 Логика 5.39 6.39 Лозунг 7.39 Локация
1.40 Ломбард 2.40 (Луза. Луна) Люк 3.40 (Люмпен) Люстрация (Люфт, Лямбда) 4.40 Маг 5.40 (Мажор, Мазут, Майор) Макет 6.40 (Макулатура) Макро 7.40 Максимум
1.41 Ман 2.41 (Маржа) Марка 3.41 Марш 4.41 Маска 5.41 Масса 6.41 Мастер (Мастика, Мастодонт) 7.41 Материя (Матрац, Матрос)
1.42 Машина 2.42 (Мебель, Мега) Медиа 3.42 Мем 4.42 Мент 5.42 (Меридиан) Мета 6.42 Металл 7.42 Метр