April 26th, 2021

универсализация семантики и языка

Проект открытой семантической технологии компонентного проектирования интеллектуальных систем. Часть 1: принципы создания
Голенков В.В. Гулякина Н.А.
https://cyberleninka.ru/article/n/proekt-otkrytoy-semanticheskoy-tehnologii-komponentnogo-proektirovaniya-intellektualnyh-sistem-chast-1-printsipy-sozdaniya

Проект открытой семантической технологии компонентного проектирования интеллектуальных систем. Часть 2: унифицированные модели проектирования
Голенков В.В. Гулякина Н.А.
https://cyberleninka.ru/article/n/proekt-otkrytoy-semanticheskoy-tehnologii-komponentnogo-proektirovaniya-intellektualnyh-sistem-chast-2-unifitsirovannye-modeli

---
стр.50-51 (Часть 2: унифицированные модели проектирования)

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

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

Для обеспечения семантической совместимости компьютерных систем необходимо четко
отличать:
 многообразие языков (форм) представления информации от многообразия смысла
представляемой информации;
 многообразие форм организации обработки информации (машин обработки
информации) от многообразия сути обработки информации на смысловом уровне.
--

стр.50 (Часть 1: принципы создания)

2.3 Унификация абстрактного смыслового представления знаний различного вида

Предлагается определить структуру унифицированных семантических сетей, обеспечивающих представление и интеграцию различных видов знаний.
Это предполагает разработку соответствующего стандарта, выделяющего из всего многообразия абстрактных языков семантических сетей определенный базовый универсальный язык семантических сетей, который мы назвали SC-кодом (Semantic Computer code) [15, 16].

Основными направлениями перехода от семантических сетей общего вида к текстам SCкода являются следующие.
1) Переход от семантических сетей, имеющих унарные и многокомпонентные (многоместные) связки, к семантическим сетям, имеющим только бинарные связки. Такие сети будем называть бинарными семантическими сетями [17, 18].
2) Минимизация алфавита, т.е. минимизация числа меток, используемых в семантических
сетях.
3) Универсальность разрабатываемого языка, т.е. возможность представления любых знаний в виде текстов этого языка.
Тексты SC-кода будем называть sc-текстами
--

ps
https://www.ontology-of-designing.ru/
Журнал "Онтология проектирования"

Контент журнала распространяется по лицензии CC-BY 4.0 (Creative Commons Attribution 4.0 International License), которая позволяет всем неограниченно скачивать, повторно использовать, перепечатывать, изменять, распространять, копировать публикации и создавать новые материалы на их основе при условии указания авторства и источника.

Идея. Обратная задача для задачи формализации. Восстановление абстрактного описания.

Идея. Обратная задача для задачи формализации. Восстановление абстрактного описания.

Надо подумать над алгоритмом превращения низкоуровневых понятий/действий/моделей в термины/конструкции/модели высокоуровневого языка.

Обычно мы неформальные высокоуровневые описания стремимся сделать конструктивными.
Подумать над превращением графа компьютерных программ в машинных кодах в высокоуровневые описания.

ps. универсализация семантики и языка
https://deep-econom.livejournal.com/814135.html

Проект TUNES OS / Language

Проект TUNES OS / Language
http://tunes.org/

Почему новая ОС? - оригинальный манифест TUNES
http://tunes.org/papers/WhyNewOS/WhyNewOS.html

Метапрограммирование и бесплатная доступность исходников
http://fare.tunes.org/articles/ll99/mpfas.html

---
http://tunes.org/papers/WhyNewOS/WhyNewOS.html
Итак, какую структуру должен иметь компьютерный язык? Что делает языковую структуру лучше или мощнее другой? Вот что нам нужно будет проверить.

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

/*моё: язык это код моделей.
Соответственно требуется легкость кодирования и изменения новых концепций/идей, новых моделей.