МЕТА-ИНТЕРПРЕТАТОР "ПАРАДИГМА"

В следующем году вариант ГЛОТЕОНА будет готов. Можно будет начать экспериментировать. Кроме того, наконец, четко сложилась ПАРАДИГМА с помощью Александра Бурдукова, с которым в следующем году, мы наконец, начнём вместе "оформлять её формализацию" со связными комментариями. Есть идея так и назвать проект МЕТА-ИНТЕРПРЕТАТОР как приложение новой дисциплины МЕТАМОДЕЛИРОВАНИЕ + КОДИФИКАЦИЯ. Тот же ГЛОТЕОН и даже модная тенденция генерального или универсального "арт-интеллекта" могут быть рассмотрены с этих позиций как приложения ПАРАДИГМЫ.

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 Метр

МЕТА

 https://metasemantics.wordpress.com/2020/06/02/метаксис

https://metasemantics.wordpress.com/2020/07/06/мета

https://metasemantics.wordpress.com/2020/09/01/металексика

https://metamodellierung.wordpress.com/2019/03/25/метаонтология

https://metamodellierung.wordpress.com/2018/11/04/метамодель-и-инструменты-для-анализа

https://metatronika.wordpress.com/2019/01/20/метапознание-2

https://metatronika.wordpress.com/2018/11/05/метапроектирование-макет-проект

https://metatronika.wordpress.com/2018/10/25/метамоделирование

https://metatronika.wordpress.com/2018/01/15/метаконцепты

https://metatronika.wordpress.com/2017/12/16/метатроника-и-теория-игр

https://metatronika.wordpress.com/2017/12/12/реализации-мета-онтологических-моде

https://metatronika.wordpress.com/2017/12/03/метамодель-для-концепта-в-метатроник

https://metatronika.wordpress.com/2017/12/02/метазнание

https://metatronika.wordpress.com/2017/12/01/оптическая-метатроника

https://metatronika.wordpress.com/2017/09/19/meta-language

http://metanet.tiddlyspot.com

https://metasemantics.wordpress.com

https://metasemantics.livejournal.com

Концепции грамотного и контрактного программирования

Как интерпретировать модель контрактного программирования с точки зрения модели акторов … посылка сообщения от интерпретатора может интерпретироваться как оферта (обязательства), например, публичная, где подписанты, фактически, акцептируют контракт … как-то так … а что касается языково-ориентированного программирования, то конструирование «предметно-ориентированного языка» по сути и есть конструирование интерпретатора … Чтобы не делать акцента на «языковости» можно говорить о лингвистическом программировании или литературном, а ещё лучше грамотном (по Кнуту) * … и, наконец, самое главное, взаимодействуя с компьютером, мы взаимодействуем с конкретной программой, телеграфируя ей свои требования и получая в ответ её реакцию, в роли «пользователей» … Но когда проектируем программы, программируем, то создаем интерпретаторы со специфическим функционалом, своей памятью и даже своим синтаксисом … соответственно существует интерфейс входа (протокол), который по факту диспетчер, дистрибьютор, супервизор, подобно главпочтампу, принимающему сообщения и распределяющему их между подписантами или подходящим интерпретаторам по шаблону (формату) … Для мета-интерпретатора в такой интерпретации не хватает реакции или самообучения любому входу, трансформации и соответствующего интерпретатора и, наконец, генерации каких-то сообщений помимо реакции на другие (при этом, которые не обязательно конвенциональные и найдутся интерпретаторы кроме генератора) … Более того, если подобный мета-интерпретатор будет способен интегрировать в себя все имеющие интерпретаторы, то станет инфраструктурой для взаимодействия и оптимизации этих интерпретаторов «внутри себя», симулируя «самосознание» … И это может быть вариантом конструктивного определения интеллекта … моделью интеллекта, например, в проекции исключительно символьных вычислений без выхода на прагматику внешних физических интерпретаций, без рассмотрения всего спектра потенциальных физических сенсоров … И это не противоречит модели переписывания, в которой общая структура, которую постоянно трансформируют интерпретаторы и есть, не что иное как, внешняя знаковая система, библиотечные фонды текстов и тех же программ, тот же гипертекст в сети …

Эта книжка не об этом, но она крутая … Хорошо бы написать, что-то в таком духе, только проще и соответственно в терминах моделей и интерпретаторов. Это полдела на пути спецификации мета-интерпретатора.

https://telegra.ph/Racket-12-20

Haiku

Чем меня заинтересовало направление BeOS? Не только, что бывшая команда Apple, а прежде всего тем, что это более развитый POSIX. Файл атрибутируется метаинформацией, что фактически, делает файловую систему объектной базой данных. Её открытая версия. 

Сетевой стек работает в режиме ядра ...Одна из отличительных особенностей системы — архитектура трансляторов — системных интерпретаторов файловых форматов. Кроме того, Haiku продолжает традиции BeOS по активному использованию файловых мета-атрибутов, что позволяет реализовать работу с данными простыми и очевидными методами (см. OpenTracker). Файловая система OpenBFS поддерживает расширенные атрибуты файлов, журналирование, 64-разрядные указатели, поддержку хранения мета-тегов, максимальный размер файла — 260 гигабайт, раздела — 2 эксабайта (261 байт или 2 миллиарда гигабайтов).

Интерфейс в пользовательском пространстве, но из-за совместимости с BeOS.

https://www.haiku-os.org 

Мне трудно представить, что я ещё полезу разбираться в ядро ... Но базовые вещи ... , с их документацией познакомиться стоит.

Мета-отношения и метамоделирование

Прецедент однако. Если модель - отношение и термин "метамодель" легален (а он уже конвенция, только с разными интерпретациями), то мета-отношение тоже, что и метамодель. 

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 Пат (Патент, Патология, Патриций, Патрон, Патронаж, Паттерн, Пафос)

ТЕМАТИЧЕСКИЙ ГЛОССАРИЙ-ТЕЗАУРУС из ТЕРМИНОВ и КОНЦЕПЦИЙ для МЕТАМОДЕЛИРОВАНИЯ

Осознал структуру словаря. Надо отдельно заводить карточку (тиддлер, фрейм) для морфем штамма, ассоциатов (их всё-таки разбить на синонимы, алиасы и отдельно выделить тематические ассоциаты) и лексические прецеденты со ссылками на библиографию ... если добавлять определения или авторские цитаты, то тоже отдельно по каждой продукции ... Механизм "эмбендинга" тиддливики позволяет это все собирать при необходимости в один фрагмент ... так что начинаем. Изначально ГЛОТЕОН создавался по принципу собрать все корни латино-эллинской лексики с целью создания планового языка ... сейчас задача выделение "тематической" проекции ... 

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

 ... и здесь, наверное, не поможет ни теория множеств, ни векторные пространства ... то есть или просто списки или ассоциативный массив, массив пар ... про последний и речь ... найти форму его выражения в тезаурусе явно, нагляднее, поскольку дефолтно мы его демонстрируем ... тематическим ассоциатами ...и теми же алиасами ... вопрос в существующих прецедентах использования и в "потенциалах" ... последние ассоциируются с дедукцией ...

https://t.me/KODIFIKATION/15120

Pony

Pony предотвращает гонки данных. Он не может помешать вам писать условия гонки в вашей программе. Чтобы узнать больше о различиях между условиями гонки и гонками данных, ознакомьтесь с книгой «Условие гонки против гонки данных» Джона Регера.

В связи с Ryelang теперь вместо Rust видится golang, а архитектура tiddlywiki продолжает не давать покоя ... Такой кентавр можно оптимизировать и что-то может ещё привнести типа персистентности и контентной адресации, но в целом хочется систему мета моделирования конструировать на базе этих уже существующих артефактов. Из моего Telegram ...

То есть, казалось бы, выбор сделан и уже можно обойтись без чтения подобных комментариев ... Но очень трудно избавиться от искушения посмотреть очередной новый проект ... или просто проект, о котором ещё ничего не знаешь или просто забыл, что уже встречал, но не посмотрел и прошёл мимо, занятый другими вещами ... Reason (Ocaml), Vale, Inko, Hare ... Но уже не столько интересуют, собственно, концепции, сколько их формулировки ... И в этом смысле, именно, Ponylang, точнее его документация или спецификацция показалась содержательной, но даже не столько со стороны описания трюков распределения памяти, сколько отношению к концепции ТИПОВ ДАННЫХ ...

P.S. А, вообще, пора уже, хотя бы для себя продемонстрировать связь между ТИПАМИ и ИНТЕРПРЕТАТОРАМИ * ... И, опять же в рамках модели акторов, кстати, что и заставило внимательнее начать вчитываться в описание проекта Pony.

 ... А ещё на неделе подумалось о связи скобок и сложных препозиций ... как продолжение осознания того, что, то же ЕСЛИ ... ТО ... Это просто имппликация, которая описывается той же обычной стрелкой ... И, видимо это и есть та самая реальная база всего, та самая модель, синхроно возникающая при выделении любого объекта ... вместе с его связью ... хоть с чем ... например, с клозурой ... Без сопряжения мы просто ничего не сможем сделать ... Отсюда же становится понятным провал логических ЛОГЛАНА и ЛОЖБАНА с их "функциональным скобочным синтаксисом" вместо аппликативной природы той же ЛОГИКИ ... Если нам нужна арность, то тогда и нужны скобки ... 

Метапозиция

Метапозиция - концептуальное позиционирование, процесс, структура, "шизофрения и олигофрения, с точки зрения математика, аналогии анализу и синтезу", идентификация объектов, абстрагирование, номинализация и классификация, метамоделирование, эвристика, базис и фокус, ...

Комментарий к концепту или проблеме здесь * *.

P. S. Мета, Метаконцепты, Портал в КОНЦЕПТ

ГЛОТЕОН в ретроспективе

Подумал, а все ли термины использующиеся для обозначений в структуре статьи ГЛОТЕОНА сами попадут в статьи в роли терминов ... АЛИАС ... ЦИТАТА ... КОММЕНТАРИЙ ... в каких кейсах им быть ... ЛИНГВИСТИКИ или МАНИФЕСТА. Естественно, что решил оглянуться назад и посмотреть, что я уже по поводу ГЛОТЕОНА постил, в принципе ... полистал и решил составить список всех постов по теме ГЛОТЕОНА : ДЕФОРТ - дедуктивная формализация теорий, Алиасы, синонимы, синсеты, ассоциаты и индексация для плана контента, ГЛОТЕОН, ТИДДЛИВИКИ, ВЬЮЕР (ВЕБ), Проекция ГЛОТЕОН, ГЛОТЕОН, Сборка пазлов для проекта, Теория и концепция междисциплинарной концептуальной истории, Визитка для проекта, МЕТА-ИНТЕРПРЕТАТОР "ПАРАДИГМА", Классы, типы, группы, категории, сеты, массивы, списки, структуры, блоки, фреймы и прочие коллекции, Абракадабра и кодификация, Возвращение к проекту ГЛОТЕОН, Метасемантика в продукциях, Структура статьи ГЛОТЕОН, Потенциальные уровни абстракций, Версия, МОДЕРН, GLOTEON, finita est comoedia, Манифест МЕТАМОДЕЛИРОВАНИЯ, ТЕМАТИЧЕСКИЙ ГЛОССАРИЙ-ТЕЗАУРУС из ТЕРМИНОВ и КОНЦЕПЦИЙ для МЕТАМОДЕЛИРОВАНИЯ

Текущий момент

Программирование без фрагментации памяти

Проблема организации памяти "динамическими списками над регулярным массивом" связана, в конце концов, с проблемой фрагментации памяти. Зачем нам сборщики мусора? Можно ли кодить без мусора? Гипотеза в том, что можно. В конце концов, все программирование можно описать метафорой фрагментации памяти в блоки или контейнеры и системой их управления. Если бы не было динамики, можно было бы обойтись таблицами или матрицами, где мы просто бы переписывали содержимое их элементов с адресным доступом. Но что делать, когда линамика рушит всю эту регулярность, а память не только не матричная, но просто линейная, а, нам например, надо элементарно вставить новый элемент во "внутрь" или даже изменить содержимое, не совпадающее с прежним размером.

Один из методов - иметь два массива, один из которых типа мета-массива с адресами или размерами блоков, который демонстрирует "структуру" основного массива, связнах блоков. Но тогда, чтобы решить проблему плотности памяти необходимо при вставки или удалении любого элемента "внутри", перезаписывать оба массива или их части. Что чаще всего надо делать не часто, но при напряженной динамики может превратиться в существенные накладные расходы.

Другой метод, акцентируемый проектом PicoLisp и, в приницпе, идеей связных списков, просто все время добавлять новые элементы в конец списка. Но тогда лучше не изменять размеры уже существующих элементов, а если у нас, например, новый параметр у объекта, с которым надо постоянно работать, то это вынуждает "юзать каретку" иногда неоправдано слишком далеко. Отсюда идея выделять "постоянные параметры", которые можно "перезаписывать" при необходимости некоторой процедурой балансировки. Отсда, собственно идея акцентировать "постоянные" параметры, позиционирование которых можно при случаи оптимизировать а так же тразитивные, параметры, которые приходят из внешей среды (создают внешние эффекты).

Что лучше? Пока не понятно. Вероятно, что балансировку можно сочетать с первым подходом. Точно ясно только то, что на базовым уровне у нас есть блоки, параметрами которых являются адрес и размер ... и это может меняться вместе с содержимым. Блоки именуются или являются анонимными "лямбдами". Собственно, исчисление последних, действительно, является базовым и должно быть реализовано в хостовых системах, в первую очередь и, даже с поддержкой графического интерфейса! Это и есть система без синтаксиса! И она может быть описана гораздо проще, чем существующие тома с мультиплицированными друг друга теориями! По факту! Демонстративно!

P.S. И ещё в связи с памятью два важных её принициа - персистентность и эластичность, которые связаны между собой и дополняют друг друга. И решения для обоих - распределенная база данных. Не обязательно иметь "постоянно расширяющуюся" память. Наши блоки или контейнеры, в конце концов, всегда конечны, а вот распределение и рещает прблему этого перманентного расширения. Какие здесь базовые значения параметров зависит от аппартных или технологических возможностей, скорости доступа ... На текущий момент это 4 - 10 Гб ... Но, кстати, и это может быть просто динамическим параметром. Ну и, если в двух словах о революционности Lisp-идеи, то она вся в точечной паре, в CONS, а в скобочном синтаксисе, как некоторые пытаются интерпретировать. По сути в фундаментальности представления ассоциативного массива или двудольного графа, которые являются базой для любых таблиц, бинарных деревьев и, в приниципе, любых сетей.

Постоянно перечитывать! От автора идеи потоков!

Структура статьи ГЛОТЕОН

Статьи генерируются для штаммов (семантического алфавита) и всех его прецедентов - используемых терминов (с учетом латино-эллинской популярной лексики). Для штамма приводится сам список. Для каждого термина, включая штамм, ссылка на список алиасов (синонимов). Далее списки прецедентов термина с атрибутами и прецедентов, использования термина как атрибута, со ссылками на прецедент (источник). Библиография включается как цитата с дефиницией со ссылкой на источник с указанием автора и титула текста. Весь список терминов ограничивается его мета-абстрактным характером (имеющих не остенсивные дефиниции). Термины нумеруется. Стартовая (портальная) страница - базовая коллекция таблиц (алфавитные таблицы) - альтернативная организация. Принципы стартовой нумерации - термины, используемые в дескрипции CAP-грамматики и далее ассоциации. Ситуации, темы и концепции конструируются, исходя из текущих интенций и парадигмы автоматизации компьютерной практики. Выделить доминанты для списков с алиасами ...

https://t.me/KODIFIKATION/16047

https://t.me/KODIFIKATION/16048

МОДЕРН

МЕТАСЕМАНИКА декларируется как практика академического обеспечения МЕТАМОДЕРНА. С этой позиции МОДЕРН - один из базовых разделов КОДЕКСА.

Темы группы редуцированы до трех десятков для обозора на одной странице.

На текущий момент десяток разделов: МЕТА, СЕМАНТИКА, ДИДАКТИКА, ЛЕКСИКА, ГРАММАТИКА, КОНЦЕПТУАЛИЗАЦИЯ, СУБЪЕКТ, АРХИТЕКТУРА, ГЛОТЕОН ... ну и МОДЕРН.

Вокруг этого десятка ПЛАН МЕТАКСИСА. В кандидатах ТЕМА и МОДЕЛЬ. "Структура" (ИНФРАСТРУКТУРА, КОНСТРУКТИВИЗМ) и "Форма" (ИНФОРМАЦИЯ, ТРАНСФОРМАЦИЯ), а может и предыдущая пара - подразделы КОНЦЕПТУАЛИЗАЦИИ. Каждый раздел будет детализирован пятью-семью подразделами.

Для каждого раздела аннотацию!

ПРОЕКТИВНЫЙ ЛИНГВА ФРАНКА

В рамках темы CONLANG или ИНТЕРЛИНГВИСТИКИ есть попыптки обобщения этой практики и классификации её результатов, где возникли такие понятия как

• универсальный язык
• плановый язык
• научный

В рамках метамоделирования, символического моделирования, компьютерного кодирования, программирования, информатики и даже искусственного интеллекта, кибернетики и автоматизации процессы классификации, абстрагирования концептуализируются или формализуются с учетом эволюции философии, лингвистики и математики ... Чтобы сконструировать новую оптимальную модель часто имеет смысл отказаться от перегруженного смыслами термина, например, ЯЗЫК, чтобы найти более демонстративные варианты как самого обозначения феномена, так и его атрибуции или спецификации. В рамках этих замечаний будут рассмотрены помимо терминов ФОНЕТИКА, МОРФОЛОГИ/, ГРАММАТИКА, ЛЕКСИКА, СИНТАКСИС, СЕМАНТИКА, ИДЕОГРАФИЯ, ИНТЕРПРЕТАЦИЯ ...  такие термины как ИНТЕРФЕЙС, КОММУНИКАЦИЯ, СУБЪЕКТ, ОБЪЕКТ, ПРЕДИКАЦИЯ, ПРОПОЗИЦИЯ, АТРИБУЦИЯ, ПРЕПОЗИЦИЯ ... и так далее ... короче, полный тематический анализ, прежде чем синтезировать необходимую концепцию. В качестве "рабочих, служебных или МЕТА! ..." терминов вводятся такие как ДИАЛЕКТ, ИДЕОЛЕКТ и, в частности их атрибуция как ПРОЕКТИВНЫЙ ДИАЛЕКТ и ПРОЕКТИВНЫЙ ИДИОЛЕКТ.

Если в проекте АБРАКАДАБРА в ГЛОТЕОНЕ из общего списка терминов акцентировать ПРЕПОЗИЦИИ (список предлогов, союзов, а так же "специальных междометий" типа такой конструкции как "В ПРОЦЕССЕ ..."), то можно декларировать этот проект как "полноценный конланг", который может стать стандартизированным ядром для эволюции предметных тематических специальных диалектов, любых ... например, географической лексики типа ОНИМАСТИКИ ... и так далее ... включая классические традиционные дисциплины ... 

А пока комплектуется общий список в рамках нового порядка фонетического алфавита, который будет редуцирован до минимума, включая сам алфавит ... 

Текущее состояние ...

МЕДИА, МЕТАМОДЕРН и ГИПЕРТЕКСТ

Сюда можно добавить МЕТАПОЗНАНИЕ и прочие МЕТА ... КОНЦЕПТУАЛИЗМ, ПРАГМАТИЗМ, ПОЗИТИВИЗМ, КОНСТРУКТИВИЗМ и прочие ИЗМЫ и -ЛОГИИ ...

Любая КОНЦЕПЦИЯ не имеет смысла вне связи с другими. Именно этот аспект отличает МЕТАПОЗИЦИЮ от того же МЕТАМОДЕРНА.

Все это наводит на понимание того, что здравый смысл та же рациональность, картина мира та же философия, а медиа и есть образование или наука. И что мы теряем или приобретаем, когда интерпретируем гипертекст? А не попробовать ли скомпилировать большой связный текст на тему метапозиции.

Манифест МЕТАМОДЕЛИРОВАНИЯ

Кажется, что структура манифеста проявляется в сознании и даже нет проблем сформулировать. Но цель вербализовать в продукционном стиле, в лексике ГЛОТЕОН и, в крайнем случае, в CAP-грамматике ... а в идеале как элемент проекта МЕТА-ИНТЕРПРЕТАТОР. Не хотелось бы компилировать ещё одну, очередную миллион первую "книгу". Это должен быть не просто "синтез существующих пазлов" в стиле проекта Кононюка, а глубоко оптимизированный контент, сформированный как гипертекст, структурированный в стиле дефиниций и концепций под флагом МОДЕЛИ как ПАРЫ, которая, в свою очередь, минимальная структура.

1.44 Министр 2.44 (Минор) Мираж 3.44 Миссия 4.44 Мистерия 5.44 Мнемоника 6.44 (Мобилизация) Модель 7.44 Моль

Терминологический граф

Чтобы специфицировать граф проекта с использованием CAP-грамматики, не привлекая такие обозначения как гиперграф, метаграф, псевдограф ... предлагается использовать ТЕРМИНОЛОГИЧЕСКИЙ ГРАФ как ориентированный лексический граф. Можно было бы проще, типа "термографа", но уже существует целая дисциплина "термография", связанная с измерениями температуры. Существует редко используемый термин "граф термов" (английский вариант TERM GRAPH) и в сети встретилась такая работа, прямо используемая термин - Терминологический граф контекстно-ориентированной онтологии ... Следует точнее определить, что использовать для обозначения узлов ... термы, термины, морфемы, лексемы ... или семы (значения?) ... акцентируя связь с семантическими сетями. Итак, уже имеем - МЕТА, МОДЕЛЬ, ГРАММАТИКА, КОНСТРУКЦИЯ, КОННЕКЦИЯ, АТРИБУЦИЯ, ПРЕПОЗИЦИЯ, ИНТЕРПРЕТАЦИЯ, ГРАФ, ПАРАМЕТР (определиться с нумерацией!) ... Тут же следует акцентировать внимание, что "стрелки" орграфа принципиально анонимны, то есть, если есть "имя", символизирующее объект, процесс или их ПРЕПОЗИЦИЮ - то это ТЕРМИН (слово). Конечно, узлом может быть ПРЕДИКАЦИЯ и тогда все стрелки терминов одной предикации становятся её стрелками ... только связанные с чем? Могут ли предикации иметь отношения между собой ... и если могут, то какие ... каковы механизмы "метаизации" на этом уровне, фактически, на уровне текста или контекста. Анонимность стрелок отличает терминологический граф от, так называемого, графа знаний ... Если специфицировать "знание" как "модель" и акцентировать их как узлы, то очевидно, что они являются частями, узлами, подграфами терминологического графа. Последняя тема интересна и требует дополнительного анализа, примеров.

Онтологическая лексика

Один из известных в русскоязычной сети авторов, позиционирующий себя философом, пропагандирует ТЕМПОРАЛЬНУЮ ОНТОЛОГИЮ. Причина его переживаний очевидна. Но только отчасти, в рамках аналитической философской традиции. Если ОНТОЛОГИИ описывают БЫТИЕ вне СУБЪЕКТА. Любое описание подразумевает идентификацию ОБЪЕКТОВ, а любые ОБЪЕКТЫ есть ПРОЦЕССЫ, которые мы наблюдаем и описываем во ВРЕМЕНИ и ПРОСТРАНСТВЕ. Процессы наблюдения БЫТИЯ и высказывания О БЫТИЕ и есть СОБЫТИЯ. У нас нет проблемы в семантике СИТУАЦИЙ при взаимодействии ОБЪЕКТОВ. Проблема в различении СИТУАЦИЙ и высказывании о них. В нашей памяти только образы и лексические структуры (фотографии ситуаций и лексика). С этой точки зрения и интересны такие лексические феномены как ПРЕПОЗИЦИИ, которые и характеризуют, собственно ОПЕРАЦИИ (оперативный акт). В практике БАЗ ДАННЫХ и программировании, в принципе, мы уже привыкли к ТЕРМИНАМ - ООП, реляционная теория (АТРИБУЦИЯ), функция (ОПЕРАЦИЯ) ... и привыкаем к семантике СОБЫТИЯ, как к интерактивному феномену (взаимодействию), где ИНТЕРФЕЙС - инструмент этого взаимодействия. Ну и опять же, если отличать описание (обозначение) от денотата, то и авторизация уже выводится как следствие.

П. С. ВРЕМЯ и ПРОСТРАНСТВО - метрические стандарты, объекты школьной дидактики должны быть выведены из общей КОНЦЕПТУАЛИЗАЦИИ. Можно подумать даже о том, чтобы указывать точное время высказываний, что впрочем уже автоматически протоколируется в СЕТИ. А с другой стороны ПРЕПОЗИЦИИ описывают положения в пространстве, не говоря уже о видеоконтенте веба. Всё! Это безусловные, абсолютные фундаменталии! Если кто-то не согласен с общепринятыми стандартами должны формулировать причины своего когнитивного диссонанса четче, яснее. В CAP-грамматике! Руки прочь от ВРЕМЕНИ и ПРОСТРАНСТВА! СТАНДАРТЫ - это общепринятый ИНТЕРФЕЙС, который может быть изменен с позиции приоритета КОНЦЕПТУАЛЬНОГО ПЛЮРАЛИЗМА, но в рамках общепринятой ПРОЦЕССУАЛЬНОСТИ. Прецеденты и казусы возможны, но точно не в ДИДАКТИЧЕСКОЙ СФЕРЕ. Это литературные игры, которые тоже необходимы и, собственно, являются источником и условием плюрализма. Но в образовании, а значит и в науке (научении) уровень МЕТА должен быть осознанным.

Амбиции

3.06 Бюро 4.06 (Вагон) Вакуум 5.06 Валентность 6.06 Валидность 7.06 Вариант 1.07 Вектор 2.07 Вербализация

А о чём, собственно, сыр-бор. Какая дисциплина практики обобщений (абстрагирование как общая практика образования) является классической и куда развиваться. До специализации исследовательской практики, собственно, была одна типа теологической герменевтики ... как только попытались институализировать философию, её сразу начали специфицировать - грамматика, критика, метафизика, онтология, феноменология, эпистемология, гносеология, логика ... семантика, семиотика, методология, кибернетика, информатика, компьютерное моделирование, когнитивистика ... с изобретением компьютера и практики автоматизации интеллектуальных операций ... Процесс активно продолжается с формальными системами, искусственным интеллектом, нейросетями, концептуальным анализом ... "Классическая" философия просто не справляется, не справилась и логика ... на самом деле требуется мета-расширение или наоборот ограничения математики, которая занимается регулярными структурами и не акцентирует внимание на оптимизации лексических структур, имеющих нерегулярный характер. Саму практику абстрагирования не остановить, поскольку это не только составляющая инженерной и исследовательской практик и даже дидактики, но повседневная реальность, особенно в эпоху компьютеризации и веба. Но оптимизация в этом информационном хаосе необходима, а ещё мало кто так формулирует проблему. Нет конвенции. Даже официальные стандарты конфликтуют при кодификации. Одна за одной проваливаются попытки интеграции спецификаций. Но это не значит отказа от очередных попыток. Можно попробовать обозначить такую дисциплину условно XYZ или SOR (субъект, объект, отношение). И начать моделировать с нуля, конструировать лексику предметной сферы, сформулировать критерии выбора лексики, принципы идентификации терминов, дефиниций и концепций. Адекватное обозначение такой дисциплины может сформироваться автоматически. Я готов отказаться от КОДИФИКАЦИИ, СЕМАНТИКИ, МОДЕЛИРОВАНИЯ, рассматривая эти термины как варианты обозначения определенных операций и процессов как методов новой дисциплины или объектов внимания.

https://t.me/KODIFIKATION/3831

Пять прототипов параметрических архитектур для спецификации компьютерного интерфейса

Длинное название поста ... Но, собственно, в чём замысел ... План и факт манифестации новой дисциплины МЕТАМОДЕЛИРОВАНИЕ отчетливо просматривается ... Текст манифеста будет выращен из из почти готового каркаса ... С помощью цитат и комментариев ... Рассмотрение "новых" терминов в каркасе мало что прибавит в плане семантики ... Тем не менее весь пул текущего ГЛОТЕОНа будет рассмотрен ... Одним словом в написании текста, в этом эксперименте, творческой составляющей больше нет, только рутина ... Поэтому параллельно можно попытаться применить методологию к какому-нибудь приложению, акцентируя тот же прагматический аспект. Более того, если действовать параллельно, то второй процесс может добавить параметры для ограничения или рамок первого. Естественно, в качестве такого приложения, я выбираю СПЕЦИФИКАЦИЮ архитектуры компьютерного интерфейса и для анализа концептуальных прототипов, произвольно ограничивая их число пятью ... (Пытался юзать полтора или даже два десятка разных систем, раза в два или три больше, просто читать документацию ... и пришёл к выводу, что можно оптимизировать количество концепций и при этом сделать это на примере, с одной стороны концептуальных проектах, а с другой, реализованных на практике). Более того, эта идея, сама по себе постоянно зудит и были попытки к ней подступиться с разных сторон, но список кандидатов для анализа, постоянно разрастался и под давлением огромного количества информации, фокус внимания смещался. Наконец, возможно помогает опыт работы над структурой ГЛОТЕОНа, как кажется, выбор окончательно сделан. И он нравится. И это отличный список для погружения в проблемы программирования:

1. Tiddlywiki - с одной стороны, максимально концептуально нагруженная архитектура, вмещающая почти всю идеологию программирования, с другой, система, реально помогающая моим проектам, и, наконец, представитель мейнстрима или реальной тотальной практики, конвенциональной и стандартизованной.

2. Rebol - как альтернативная ветвь эволюции с концептуально продуманной оптимизацией эклектичного, по своей сути, процесса развития компьютерных систем и, фактически, вмещающего в себе всю ретроспективу популярных концептуальных представителей ... Lisp, Forth, APL, Self (аккуратнее всего репрезентирующий Smalltalk и, в принципе, объектную парадигму).

3. Flatassembler (в сравнении с Webassembly) - как базовый уровень архитектуры интерфейса компьютерных систем с одной стороны, и как межплатформенная реализация, с другой.

4. Erlang - как зарекомендовавший себя на практике представитель функционального направления "мета-языков", с реализацией модели акторов, конкурентного программирования и смарт-контрактов, проблемы распределенных и параллельных процессов.

5. Prolog - как классический представитель логического программирования, продукционных систем, реляционной алгебры и СУБД.

Структуры и алгоритмы (и прежде всего организация памяти, сортировка и поиск) остаются концептуальными инвариантами! А автоматизация интеллектуальных операций перманентная тенденция всей компьютерной эволюции!

P.S. Список может быть дополнен максимум двумя позициями, например, тем, что пока активно развивается и потенциально может повлиять на спецификацию: проекты Zig и V как оптимизация мейнстримных Go и Rust, а также проект UNISON с позиции "исторического моделирования".