вторник, 14 мая 2024 г.

Теория дефиниций К. Попа

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

среда, 8 мая 2024 г.

Спецификация - старт ...

... системы конструирования синтаксиса и лексики ...

... "параметр" и "модель" плотно завязаны и не конструируются вне друг друга ...И общая структура - ассоциативный массив как БАЗА для КОДА, который может символизировать как "пассивные структуры данных", так и "активные объекты", где в качестве параметров могут быть операции, функции, процессы ... и так далее ... 

https://t.me/HYPERANALYTICS/6531

UNISON - благозвучный термин для базового формата, которым можно заменить YESON ... ab c d : 123 45 ЁПРСТ ...

https://t.me/HYPERANALYTICS/6539

... Системы переходов (помеченные системы переходов) ... 

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

https://t.me/HYPERANALYTICS/6589

Слова Форта ... Фреймы ...

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

https://t.me/HYPERANALYTICS/6592

Спецпроцессор информационного поиска ... историческое моделирование ... персистенция ...

... отдельный тиддливики-файл и туда собирать каркас пазлов и потом "выращивать" спецификацию по аналогии с индексным файлом для манифестации МЕТАМОДЕЛИРОВАНИЯ ...

https://t.me/HYPERANALYTICS/6627

P.S. Текущее состояние дел ... окончательное решение макетировать на Node.js ... Эквилибристика с владениями значений в Rust академическая надуманность, совершенно не нужная при последовательном, аккуратном воплощении сквозной объектной персистентной системы и модели акторов в едином адресном пространстве ... https://t.me/HYPERANALYTICS/6631

... Ещё немного и научусь формулировать исключительно в продукционном стиле ... и, в принципе, на псевдокоде предлагаемого формата ... что в принципе тотально и делается повсеместно всеми - заголовок - текст или тема - концепция ... только потом авторов заносит и начинается неограниченная циклическая мультипликация интерпретаций ...

воскресенье, 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 с позиции "исторического моделирования".

воскресенье, 21 апреля 2024 г.

Компьютерная интеллектуализация

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

http://www.foibg.com/ijitk/ijitk-vol04/ijitk04-4-p01.pdf, http://www.foibg.com/ibs_isc/ibs-15/ibs-15-p01.pdf (https://masters.donntu.ru/2012/iii/kushnaruov/library/Intelligent%20NL%20Processing.htm), http://foibg.com/ibs_isc/ibs-17/ibs-17-p01.pdf, http://www.foibg.com/ijita/vol22/ijita22-03-p05.pdf, https://www.researchgate.net/publication/304015750_Introduction_to_the_Natural_Language_Addressing, https://www.researchgate.net/publication/331523622_PRACTICAL_ASPECTS_OF_NATURAL_LANGUAGE_ADDRESSING, https://www.researchgate.net/publication/305787278_About_NLaddressing_K_voprosu_o_estestveno-azykonoj_adressacii, https://t.me/KODIFIKATION/22742/23035


воскресенье, 14 апреля 2024 г.

Список препозиций

Эти постом акцентирую тему ПРЕПОЗИЦИИ как принципиальный аспект CAP-грамматики. Реакция на замечательный проект DemonScript, который и инициировал проблему наряду с поиском термина для обозначения универсального графа проекта. Итак, фактически, в фокусе исключительно "отношения" ... просто термины, обозначающие абстракции как объекты, атрибуты этих объектов, параметры и "отношения" между параметрами ... а следовательно операции и процессы. Тогда возникает вопрос оснований или аргументов в пользу того, чтобы специфицировать "ребра" графа представлений всего этого кода ... Почему не те же атрибуты? Если требуется специфицировать "связь", то это означает и "именование", символизацию, а значит требует своего сегмента памяти со всеми вытекающими отсюда последствиями. С другой стороны все равно узлы графа требуют спецификации (типизации, классификации) и тогда почему бы то, что идентифицируется "ребром" не позиционировать как специфичный узел. Что касается и ПРЕПОЗИЦИЙ, интегрируемой концепции "союзов", "предлогов", конвенциональных "логических связок или операций", и, в принципе, любого позиционирования "объектов". А и Б - не как два узла, связанных ребром "и", а как цепочка трех узлов. Встаёт естественный вопрос перечислить все возможные "препозиции", если такое возможно, в принципе. По крайней мере, в той же школьной грамматике списки союзов и предлогов демонстрируются вполне, а в математической логике операций или связок, вообще, как "кот наплакал".

П.С. Параллельно можно скомпилировать список распространенных ПЕРЕФИКСОВ и СУФФИКСОВ! Распространенных, поскольку из "правил словообразования" любой штамм может быть в той или другой роли, фактически, атрибуты - те же префиксы, которые в записи через двоеточия записывают, перечисляя через запятую, по сути, как суффиксы (постфиксы).

воскресенье, 7 апреля 2024 г.

Пять пунктов в библиографию проекта и акцентирование МЕТАМОДЕЛИРОВАНИЯ

"Пятерка классиков" этого проекта - Коржибски, Моррис, Турчин, Берс, Шрейдер ... (https://t.me/HYPERANALYTICS/4899, https://t.me/HYPERANALYTICS/4891) ... Это означает внимательное цитирование и комментирование сначала их ... 

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

О "метамоделировании" здесь в постах ... 

четверг, 28 марта 2024 г.

Сериализация или маршалинг?

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