воскресенье, 28 мая 2023 г.

Индексация или Нумерация

В сумме. Детерминированные формы презентации: Таблица, Лист (с иерархией), Граф и пронумерованные Фреймы (кадры, серии). Старт (Пролог) и Финиш (Эпилог) типа Реальность (Универсум) и Субъект или Территория и Карта, Интерпретация и Предикация или Онтология и Эпистемология ... Принцип для библиографии - "ушедшие" авторы ... Шопенгауэр, Бергсон (в связи с его лекцией о здравом смысле и концептуализации времени и памяти, проанализировать с точки зрения метамоделирования или символизации), Коржибски, Турчин ... Определиться с логикой смысла Делёза и Витгенштейном (трактат и философия) ... Об индексации или нумерации ... "Вишенка на торте" ... Всегда можно перенумеровывать, оптимизируя ... Это и может быть перманентной трансформацией ... цепочки калькуляции ... Концепции и Темы!

П. С.  Подумал, а не попробовать ли компарацию с "четвёрками" по аналогии с парами ... типа категориальных схем, формул ... пример с термодинамикой - дистанция, темп, масса, скорость или мемристором *.

воскресенье, 21 мая 2023 г.

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

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

воскресенье, 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

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

https://t.me/KODIFIKATION/15120

воскресенье, 7 мая 2023 г.

Метамоделирование как дисциплина и научно-исследовательская программа

Метамоделирование - интеллектуальная практика, интегрирующая все абстрагирующие эпистемологические или когнитивные дисциплины ... 

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

Как научно-исследовательская программа, метамоделирование - парадигма, теория, продукционная экспертная система, онцептуальный анализ, научная лексика и перманентная интерпретация в рамках метамоделирования как метатеории ...

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

пятница, 28 апреля 2023 г.

Метамоделирование и когнитивистика

Когнитивистика -  фактически, последний мейнстримный и даже почти эпистемологический институциализированный тренд дисциплинарной интеграции. Метамоделирование можно рассматривать как сопряженную дисциплину, в которой есть инструментальный фундамент, главным образом, на компьютер (как в автоматизации, кибернетике, информатике), в отличии от нейрофизиологии субъекта в когнитивистике. И там и там отсутствует социальный аспект, объективизация коммутативной лексики, её конвенцианализация. Метамоделирование, фактически, программирование, проектирование и символьная калькуляция, рационализация, формализованная метатеория или металогика.

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

пятница, 21 апреля 2023 г.

Эпистемологические тренды

С каким очередным эпистемологическим трендом столкнулся социум. В чём новизна акцентов темы. Или это просто терминологическая трансформация того, что уже было ... сто или даже двести и триста лет назад. Логические схемы, Информационные системы, Интеллектуальные машины, Компьютеры, Автоматы, Программы, Базы данных, Подбор коэффициентов полиномов, аппроксимирующих операторы трансформации структур данных ... Интерпретирующие операции ... Автокомпиляция ... Моделирующие агенты ...

https://t.me/KODIFIKATION/14338

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

https://t.me/KODIFIKATION/3981

Интеллектуальные трансформации: Феномены и тренды (https://gtmarket.ru/library/articles/6448/6453#contents)

https://t.me/KODIFIKATION/14284

пятница, 14 апреля 2023 г.

О принципах метамоделирования

Случайно подвернулась статья с названием, где эксплуатируется спекуляция на тавтологии между правилом и нормой. Очевидно, что игра - это правила, а правила - это уже формальная система. Тем более, компьютерная игра. Любая компьютерная программа - формальная система. Формальная система - система, позволяющая калькулирование и реализацию квеста, в рамках заданных условий. Кстати, квест - в определенном смысле тоже игра ...

Эти рассуждения навели на мысль о ретроспективе методологии калькулирования, метаизации, абстрагирования, автоматизации, символизации ... и т.д. и т.п. Вспомнил про Рассела (читал его историю западной философии), а поскольку некоторые авторы считают его ещё и чуть ли не основателем современной логики и теории формальных систем, решил ещё посмотреть на него как автора, но уже с новых позиций

Бертран Рассел. Человеческое познание, его сферы и границы

Возможно имеет смысл и посмотреть на ретроспективу представлений об основаниях математики, в принципе, о принципах, о металогикаХ, метатеорияХ, метаконцептаХ и прочих репрезентациях и интерпретациях.