September 17th, 2021

Минимальные модели вычислений.

К вопросу этого поста:
Минимальная модель абстрактного универсального вычислителя и языка.
https://deep-econom.livejournal.com/868037.html
---

Две фишки.
1. Основная фишка, основной кусок синтаксического сахара = удобный легкий механизм создания определений (понятий, моделей).
2. Ветвление и изменение памяти дают в итоге конечный автомат (абстрактный автомат).

(для справки https://ru.wikipedia.org/wiki/Конечный_автомат )

Основная фишка языков видимо в создании новых понятий, новых определений, новых моделей).
Сами по себе механизмы создания новых определений (и понятий, и моделей) должны быть легки и удобны.

Основная фишка, основной кусок синтаксического сахара = удобный легкий механизм создания определений (понятий, моделей).

Тут надо различать создание новых определений:
- как сокращение уже существующих текстов
- как создание новых конструкций.

По сути создание определений это созданий новых процедур и функций, часто зависящих от параметров.
Proc(список параметров)
Func(список параметров)

Это некие параметрические модели. Некие черные/белые ящики зависящие от параметров, зависящие от входов.
Входы можно подразделять на 2 вида: входной поток данных и входной управляющий поток данных (управляющие параметры).

***Различают два класса КА: автоматы Мура — КА, у которых выходной сигнал зависит только от внутреннего состояния, по рисунку у автомата Мура нет связи от входа x(t) к функции выхода lambda и автоматы Мили — выходной сигнал зависит как от внутреннего состояния, так и от состояния входа.
https://ru.wikipedia.org/wiki/Конечный_автомат

Берем язык Форт. Основная фишка языка — легкое создание определений.
---
***Поддерживает механизмы метарасширения семантики и синтаксиса языка для адаптации к нужной предметной области. Синтаксис базового уровня в Форте прост и состоит из единственного правила: «все определения разделяются пробелами». Определения Форта могут иметь любое сочетание символов.

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

https://ru.wikipedia.org/wiki/Форт_(язык_программирования)
---

вынес отсюда https://deep-econom.livejournal.com/868037.html?thread=5211333#t5211333 из темы
Минимальная модель абстрактного универсального вычислителя и языка.
https://deep-econom.livejournal.com/868037.html
---

Минимальный универсальный автомат/исполнитель, минимальное универсальное исполняющее устройство.

Обобщенный двухтактовый исполнитель команд по названием Тик-Так = (тик, так)=(*,*).
(следую А.А.Берс, его название и идея)

(Исполнить команду, перейти к другой команде) = (исполнение, переход)
(Изменить состояние системы (состояние памяти), перейти к следующей команде) = (Изменение, переход).
(Взять команду, исполнить команду)=(выборка, исполнение).
---
https://deep-econom.livejournal.com/868037.html?thread=5215685#t5215685
Берс. ОБ ОСНОВАНИЯХ ИНФОРМАТИКИ.

стр. 75-76
Вся работа программы делается исполнителем над пассивными струк-
турами. И я хочу обратить внимание на то, что, какие бы сложные алгорит-
мы ни применялись, и какие бы объекты вы ни нагородили, и какие бы вы
ни придумали методы сами они «с места не сдвинутся». Пока не придет
активный исполнитель и не будет ходить по этим методам в операционных
обстановках. Активность, которая нам для этого нужна, невозможно вывес-
ти логическими преобразованиями из пассивных объектов, ее придется вво-
дить аксиоматически как новую сущность.

Эта новая сущность в самом простом случае может быть устроена так:
она должна иметь два состояния и независимо от того, обращаются к ней
или нет, переходить из одного состояния в другое, вот такой «тик-так», ко-
торый каждый раз порождает шаг времени.

То же самое в операционной
обстановке, когда исполняется программный фрагмент, исполнение каждо-
го предписания дает нам один такт времени. Почему один? А потому, что
для единичного исполнения предписание имеет размерность точки, т. е.
нулевую, а любая единица измерения в нулевой степени дает единицу, в
смысле «штука».
---
Pict Activator 2 takta Bers .PNG

Про мышление.

16 сентября 2021 — Семинар русскоязычного сообщества разработчиков AGI
Что есть мышление? — А. Болдачев, В. Смолин, А. Кабанов, А. Колонин — Семинар сообщества AGI
https://youtu.be/sw7u3cEW0DY

ALEX BUR, [17.09.21 11:11]
Во вступлении к семинару Колонин отметил, что пришел к выводу, что полезно будет все-таки обсудить вопрос, что такое мышление.
Я им 9 месяцев об этом талдычил.

(2:01:26) https://youtu.be/sw7u3cEW0DY?t=7286
Что есть мышление? — А. Болдачев, В. Смолин, А. Кабанов, А. Колонин — Семинар сообщества AGI

С этого (2:01:26) места Колонин:
"Мне кажется, как минимум, в двух выступлениях сегодня, а может быть и больше, даже, наверное, в нескольких, прозвучал этот тезис, что мышление по сути моделирование и операции с моделями."

ALEX BUR, [17.09.21 11:41]
2017-06-29
Мышление это процесс порождения и использования моделей и ничего более.
Понимание понимания. Что такое понимание?
http://deep-econom.livejournal.com/58862.html

2017-08-28
В мышлении нет ничего, кроме процесса обработки моделей.
https://deep-econom.livejournal.com/74057.html

отсюда же:

pps
Мышление - это моделирование, в том числе
1. Прогнозирование.
2. Обучаемость и самообучаемость.
3. Решение произвольного круга задач (творчество).
4. Синтез любых алгоритмов.
5. Идентификация любых закономерностей.
6. Адаптация к любой среде.
7. Целегенерирующее и целеустремленное поведение.
8. Ощущение и эмоции, возникающие как модели оценки состояния организма и достижения целей.


ALEX BUR, [17.09.21 11:44]
Во глубине сибирских руд
Не пропал мой скорбный труд.
))

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

Задача выполнена в целом по распространению правильных воззрений в области русского AGI.
Нанёс Родине непоправимую пользу. )

Можно снова переключать свою основную активность на биржевую деятельность. )
------

ps материалы к теме мышление
некоторая выборка из моих черновиков по теме

семинар "Что есть мышление?"
https://deep-econom.livejournal.com/865086.html
---
Оглавление сборника постов.
https://deep-econom.livejournal.com/698024.html
---