Category: наука

Category was added automatically. Read all entries about "наука".

Оглавление сборника постов.

Сильный искусственный интеллект. Список постов.
https://deep-econom.livejournal.com/240140.html

Оглавление сборника постов.
https://deep-econom.livejournal.com/406760.html

Сильный искусственный интеллект. Мой новый блог.
https://alex-bur-agi.livejournal.com/

Поиск по блогу. Нажмите ссылку и замените строку ABC на нужную вам.
Поиск в гугле
Поиск инструментом ЖЖ
Поиск в яндекс

----Telegram----
Сильный искусственный интеллект. Моя группа в Telegram.
AGI/HLAI/SAI-SCA - сильный искусственный интеллект - системный кибернетический подход.
SCA (Systemic-Cybernetic Approach).
https://t.me/AGIRussia_SCA

Об общем искусственном интеллекте - по-русски
русскоязычные ученые, инженеры, энтузиасты
https://t.me/agirussia
---

Информация как измеримая характеристика (от ника sharper_)

---
2 октября 2018
sharper_:
Никогда не понимал, зачем такие сложности. Информация - измеримая характеристика действия выраженная интервалом изменения чувствительного элемента первичного датчика и все. Голимая метрология и управление через последовательность измеримых величин на которых построена управляющая. Из этого, кстати, следует, что вся целенаправленная деятельность человека имеет вполне однозначное отображение его мышления по управлению этой деятельностью.
https://deep-econom.livejournal.com/254326.html?thread=1799286#t1799286
---
sharper_:
Для того, чтобы получить определение не противоречащее всем прочим трактовкам, пришлось разделять состояние от его измеримых характеристик. Информация извлекается измерением, как характеристика ее носителя - состояния. Физические же состояния вполне самодостаточны.
https://deep-econom.livejournal.com/254326.html?thread=1805686#t1805686
---

Моё:
2021-05-22
https://deep-econom.livejournal.com/829108.html
Определение. Синтаксический тип информации.
Я различаю два типа информации: синтаксический и семантический.
В качестве гипотезы, предварительное уточнение определения синтаксического типа информации. Дискуссионно.
Синтаксический тип информации - это результат измерения.
---

Теория ситуаций. Семантика ситуаций.

Теория ситуаций. Семантика ситуаций. Логика минимальных моделей.

Типы в теории определяются путем применения двух форм абстракции типов, начиная с начального набора базовых типов.
Основные типы:
TIM: тип временной локации
LOC: тип пространственного положения
IND: тип человека
RELn: тип n-местного отношения
SIT: тип ситуации
INF: тип инфона
TYP: тип типа
PAR: тип параметра
POL: тип полярности (например, 0 или 1)
Инфоны бывают основных типов. Например: если l - местоположение, то l относится к типу LOC, а информация << of-type, l, LOC, 1 >> - это факт.

https://en.wikipedia.org/wiki/Situation_theory
https://en.wikipedia.org/wiki/Situation_semantics
https://en.wikipedia.org/wiki/Circumscription_(logic)
https://en.wikipedia.org/wiki/Supervaluationism

Из-за своей практической природы и постоянного развития эта работа «с возможными ситуациями как частями возможных миров теперь имеет гораздо большее влияние, чем идеи Барвайза и Перри».
Барбара Парти , "Размышления формального семантика по состоянию на февраль 2005 г.", стр. 20. 14 февраля 2005 г.

хороший язык теории

"хороший язык теории зачастую даёт много хороших способов её запомнить."
авторитеты - Лакан, Деррида и Делёз

Чтобы цитата не пропала, а чтобы не было скудно, добавлю каталог постов.

Сильный искусственный интеллект. Список постов.
https://deep-econom.livejournal.com/240140.html

Оглавление сборника постов.
https://deep-econom.livejournal.com/406760.html

Псевдотрудные проблемы от псевдофилософов. Тупые вопросы философии.

Псевдотрудные проблемы от псевдофилософов.
Обозначу их.

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

Везде есть объяснительный разрыв. Но нет ничего страшного. Все проблемы решаемые.

Тупые вопросы философии. Вечные вопросы философии.
https://ru.wikipedia.org/wiki/Вечные_вопросы_философии

Collapse )

Ощущение зеленого цвета в переводе на технический язык.

Психофизическая/психофизиологическая проблема, трудная проблема сознания.

Ощущение зеленого цвета в переводе на технический язык.

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

Прибор, который ощущает зеленый цвет:
Стоит фильтр и пропускает только зеленый, попал зеленый фотон, сработал геркон. Нет никакого софта.
Этот прибор, помимо замыкания контакта кнопки "ДА", будет еще подсвечивать надпись зеленым цветом: "ощущаю зеленый цвет".

Зеленый цвет: длина волны 510-550 нм.

ps
Психофизическая/психофизиологическая проблема, трудная проблема сознания. Решение.
https://deep-econom.livejournal.com/712330.html

pps
приведу тут диалог:
Collapse )

сборники "Логические исследования"

Библиография сборников "Логические исследования" за 10 лет 1993-2003.
Авторский указатель 1-10 выпусков сборника.
https://iphras.ru/uplfile/logic/log10/Li_10_Bibliography.pdf

В частности:

Непейвода Н.Н. О формализации неформализуемого
Непейвода Н.Н. Первые шаги к теории неформализуемых понятий

Анисов А.М.
Может ли пространство быть непрерывным, а время – дискретным? .........I 210
Семантика неопределенности ........................................IV 271
Направленность и обратимость времени ......................VI 195
Аксиоматическое исчисление неопределенности ........VII 164
Свойства времени ............................................................VIII 5
Логика неопределённости и неопределённости во времени ..............................IX 5
Определённости в классической логике ........................X 7

Бушковский В.
Синтаксическое исчисление Ламбека и его семантика .......................I 77

Васюков В.Л.
Ситуации и смысл ...........................................................VI 138
Ситуации и смысл: не-не-фрегевская (метафорическая) логика ................IX 64
Последствия логического плюрализма: глобальный и локальный аспекты .............X 23

Караваев Э.Ф.
О временной логике в одной малоизвестной работе Маркова ....................VI 186

Collapse )

Логические элементы, аналоговые вычисления, суперкомпиляция.

--
https://ru.wikipedia.org/wiki/Транзисторно-транзисторная_логика
https://ru.wikipedia.org/wiki/Логические_элементы
https://ru.wikipedia.org/wiki/Счётчик_(электроника)

Логические элементы подразделяются и по типу использованных в них электронных элементов. Наибольшее применение в настоящее время находят следующие логические элементы:

РТЛ (резисторно-транзисторная логика)
ДТЛ (диодно-транзисторная логика)
ТТЛ (транзисторно-транзисторная логика)

Аналоговые вычислители: жизнь до и во
время эпохи Цифры
Евгений Лебеденко
Опубликовано 23 марта 2012 года
http://www.interface.ru/home.asp?artId=31181
--
Компилятор
https://ru.wikipedia.org/wiki/Компилятор

Процесс компиляции состоит из следующих этапов:
Трансляция программы — трансляция всех или только изменённых модулей исходной программы.
Компоновка машинно-ориентированной программы.
--
https://ru.wikipedia.org/wiki/Суперкомпиляция

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

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

Если создается рабочая система и она более-менее успешно работает, то хотят авторы или нет, они используют мою парадигму неявно или явно даже, но называя иными названиями.
Настаиваю на безальтернативности и уникальности парадигмы метамоделирования.
---
Модели и всё остальное.
Все мои построения формализуются вплоть до кода.
Эти тексты на псевдокоде высокого уровня обобщения по проблемам СИИ, т.е. формализуемы.
Модели знака
- диада Соссюра
- триада Пирса
- треугольник Фреге
- треугольник Огдена-Ричардса
- четырехугольник Мельникова (Простейшая семантическая модель Г.П. Мeльникова)
- пентаграмма Мельникова (Полная семантическая модель Мельникова)
- гексагон Еремеева (Семиотический гексагон Еремеева)
- гексагон с усами Еремеева (Дополненный семиотический гексагон Еремеева)
и так далее.
Они все понимают недостатки и пытаются исправить их.
Когда много однотипных проблем, тогда надо обобщать, делать метасистемный переход, надо извлекать суть т.е. выявлять инварианты и выражать инварианты формально.
Эта проблема решается легко и непринужденно через введение понятия модели, которой основывает на понятии понятия. У меня используется формализм упорядоченных пар, через них формируется понятие модели.
Через модели все выражается и все формализуется.
На самом деле все эти люди пытаются нащупать конструкцию модели.
Формально.
((*,*),(*,*)) - универсальный код модели.
ну или композиция трех отображений f(g(h(x))).

f(g(h(x))) почти эквивалентно (физический процесс).
Слева модель, справа физический процесс.

Нечто такое было в недавнем докладе уважаемого Панова на ином уровне обобщений, на меньшем уровне.

Тут дело такое.
Если создается рабочая система и она более-менее успешно работает, то хотят авторы или нет, они используют мою парадигму неявно или явно даже, но называя иными названиями.
Ну да, настаиваю на безальтернативности и уникальности парадигмы. Я использую парадигму метаматематики (Теория моделей. Кейслер, Чен. Метаматематики. Клини) , формальные системы, формальные теории и все такое.
Но сама парадигма имеет множество обоснований.

Я всего лишь сложил правильный пазл, правильную картинку мира на правильном языке обладающем универсальной выразительностью и формализуемостью. Это язык моделей и моделирования.
---
ps
Сильный искусственный интеллект. Список постов.
https://deep-econom.livejournal.com/240140.html

Список литературы по метамоделированию и сильному искусственному интеллекту
https://deep-econom.livejournal.com/438495.html

Cемиотика, знаки, треугольники.
https://deep-econom.livejournal.com/756466.html