Category: наука

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

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

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

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

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

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

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

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

Неопределяемые понятия. Что такое функция?

---
Андрей Николаевич Колмогоров
Что такое функция?
("Квант" №1, 1970 г.)
http://kvant.mccme.ru/1970/01/chto_takoe_funkciya.htm



Математика не может начинаться с определений. Формулируя определение некоторого понятия, мы неизбежно используем в самом этом определении другие понятия. Пока мы не понимаем смысла каких-либо понятий, мы не сдвинемся с места и не сможем сформулировать ни одного определения. Поэтому изложение любой (!) математической теории (!), начинается с того, что какие либо основные понятия принимаются без определений. Пользуясь ими уже возможным бывает формулировать определения дальнейших производных понятий.
Каким же способом люди объясняют друг другу своё понимание смысла основных понятий? Для этого не существует другого способа, как разъяснение на примерах и при помощи подробного описания характерных свойств определяемых вещей. Эти описание вначале могут быть не вполне ясными и сначала не исчерпывающими. Но постепенно из них смысл понятия вырисовывается с достаточной ясность.
...
---
Колмогоров не прав.
Все понятия должны быть определяемые. Неопределяемых понятий не бывает.
Раскрыть в будущем.

определения. неопределяемые понятия. наброски
https://deep-econom.livejournal.com/257613.html

математика как переливание из пустого в порожнее
https://deep-econom.livejournal.com/317055.html

ps
КОЛМОГОРОВ — ЧТО ТАКОЕ ФУНКЦИЯ
27.08.2017 · от Serj-Aleks
https://metatronika.wordpress.com/2017/08/27/колмогоров-что-такое-функция/

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

Сильный искусственный интеллект не является архиватором.
Это не про сжатие данных, "центральный вопрос для AGI — универсальное сжатие данных" - нет.

---
1. Колмогоровская мера сложности как длина описания.
https://ru.wikipedia.org/wiki/Колмогоровская_сложность

https://ru.wikipedia.org/wiki/Принцип_минимальной_длины_описания
Принцип минимальной длины описания (англ. minimum description length, MDL) — это формализация бритвы Оккама, в которой лучшая гипотеза (модель и её параметры) для данного набора данных это та, которая ведёт к лучшему сжиманию данных. Принцип MDL предложил Йорма Риссанен в 1978 году.
--

2. AIXI — математическая модель искусственного интеллекта, придуманная Маркусом Хаттером.
https://en.wikipedia.org/wiki/AIXI

2.1. AIXI - это математический аппарат для гипотетического (супер) интеллектуального человека , разработанный Маркусом Хаттером (2005, 2007). AIXI не является вычислимым и поэтому не служит дизайном для реального ИИ, но считается ценной теоретической иллюстрацией как с положительными, так и с отрицательными аспектами (то, что AIXI может делать, и то, что, возможно, не может). .
https://www.lesswrong.com/tag/aixi

2.2. "центральный вопрос для AGI — универсальное сжатие данных"
Arthur Franz(B) Independent Researcher, Odessa, Ukraine, Артур Франц
https://occam.com.ua/ru/how-we-plan-to-do-it/

2.3.
===моё===
Это серьезное заблуждение! Я их (Артура Франца и "Алексей Потапов — доктор технических наук, профессор университета ИТМО и СПбГУ" занимается AGI/ИИ) пару раз прижимал.

Контрпример очевиден: многокритериальная оптимизация не эквивалентна однокритериальной оптимизации!
Критериев обязано быть много, иначе моделирование ущербное, найденные оптимальные решения будут отвратительными.
И я их ловил на этом с примером сжатия и числом пи.
Они напрочь этого не понимают.
Хороший практический пример - трейдинг. Длина описания не важна. Что важно? Прибыль! Да важна, но не только. Важно соотношение типа профит-фактор (profit factor). Но и опять таки этого мало. ))
Им надо на бирже поработать и тогда поймут, что сжатие знаний не главное, не центральный вопрос AGI. )
===
--

3. Индукция Соломонова.
Р. Соломонов, “Машина для выводов по индукции”,
Математика, 2:1 (1958), 139–150;
http://mi.mathnet.ru/mat40

Бритва Оккама, индукция Соломонова.
https://deep-econom.livejournal.com/370787.html
--

4. Принцип минимальной сложности моделей

модели, алгоритмы, математика, сложность, эквивалентность описаний
https://deep-econom.livejournal.com/537100.html

ПРИНЦИП МИНИМАЛЬНОЙ СЛОЖНОСТИ МОДЕЛЕЙ И ЕГО ОСНОВАНИЯ
https://deep-econom.livejournal.com/105277.html

4.1. Кроме минимальности длины описания следует учитывать иные характеристики:
4.1.1. Время выработки описания/решения.
4.1.2. Сложность модели.
4.1.3. Определения сложности может быть очень разными.
4.1.3.1. Например, число узлов, количество связей, количество кластеров, спутанность, вычислительная сложность и т.п.
4.2. В простейших случаях напрашивается как минимум тройка: (длина описания, время, сложность).
---

Коэволюция моделей в материальной и информационной форме.

Коэволюция моделей/структур в материальной и информационной форме.

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

Никаноров Спартак Петрович

Никаноров Спартак Петрович http://spnikanorov.ru/ (офиц.сайт)
---
Имя основоположника методологии Спартака Петровича Никанорова занесено в английский Справочник Международных биографий (Dictionary of International Biography). С. П. Никаноров создал научную школу в этой области, руководил выполнением целой группы крупных аналитических проектов в сфере обороны, экономики, образования, капитального строительства, ресурсосбережения, концептуальной разработки нормативно-правовых актов, безопасности страны, экологии.

В 1989 г. комиссией независимых экспертов библиотеки Конгресса США С. П. Никаноров включен в число десяти выдающихся ученых мира, внесших наибольший вклад в мировую науку XX века.

Методология позволяет проводить анализ сложных объектов с разных точек зрения и синтезировать процедуры выработки решений, приводящие к новым стратегиям решения проблем и развития организаций. Методология позволяет эффективно проводить работы в различных областях деятельности.
https://msynt.ru/about-us/methodology/
---
список литературы по метамоделированию и сильному искусственному интеллекту
https://deep-econom.livejournal.com/438495.html

Концептуальный анализ и проектирование
https://deep-econom.livejournal.com/816190.html

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

===
Глава 4. Процесс самоорганизации

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

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

Самоорганизация действий означает приобретение новых навыков в виде «программ» существующих действий и навыков, а также создание и применение инструментов.

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

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

--
https://cis.temple.edu/~pwang/GTI-book/
A General Theory of Intelligence
a developing eBook by Pei Wang

Общая теория интеллекта
развивающаяся электронная книга Пей Ванга
===

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

Проект открытой семантической технологии компонентного проектирования интеллектуальных систем. Часть 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), которая позволяет всем неограниченно скачивать, повторно использовать, перепечатывать, изменять, распространять, копировать публикации и создавать новые материалы на их основе при условии указания авторства и источника.

Логика и методология математики. Введение.

--
Математика занимается определением вводимых понятий, формулировкой утверждений и доказательством их истинности.

Приведём примеры математических понятий: целые положительные числа, cумма двух таких чисел, множество (или совокупность) объектов, понятие принадлежности объекта множеству, прямые линии, понятие параллельности таких линий.

Все эти понятия являются абстракциями реальности и мы понимаем их благодаря нашему опыту с ней.

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

Некоторые из очевидных утверждений берут за основу математической теории и называют аксиомами.
Другие утверждения, очевидные и неочевидные, логически выводятся из аксиом и утверждений, доказанных ранее.
Система аксиом математической теории формально определяет начальные понятия теории.
Если это фундаментальные математические понятия, такие как в приведённом примере, то формальное определение этих понятий должно соответствовать нашему представлению о них.
Но у нас нет полного представления о фундаментальных математических понятиях, поскольку они связаны с бесконечностью.
Лучше всего мы понимаем целые положительные числа 1, 2, 3, ... .
Как мы увидим в дальнейшем, формальное определение этих чисел не исчерпывает наше представление о них.
Поэтому при необходимости к системе аксиом арифметики добавляют новые очевидные аксиомы.
Что же касается теории множеств или геометрии, то кроме очевидных аксиом принимают и неочевидные.
Обычно к существующей системе аксиом добавляют неочевидное утверждение, которое невозможно ни доказать, ни опровергнуть.
Бесполезно спрашивать истинно ли такое утверждение или нет: можно считать его истинным, а можно ложным.
В результате получаются разные теории с различными системами аксиом, которые формируют наше представление о начальных понятиях теории.
Системы аксиом используются для определения различных математических понятий.
Например, можно определить действительные числа системой аксиом.
Аксиомы в такой системе могут не быть очевидными - они формируют наше представление о начальных понятиях теории.
Продемонстрируем это на примере не математической, а физической теории.
Специальная теория относительности Эйнштейна основана на двух аксиомах, одной из которых является
неочевидная аксиома о постоянности скорости света в инерциальных системах отчёта.
Следствия из этой теории перевернули наши представления о пространстве и времени.

Начальные понятия теории принято называть "неопределяемыми", а остальные понятия - "определяемыми".
Дело в том, что обычные математические определения определяют понятия, которые не являются начальными.
Аксиоматическое определение начальных понятий теории это особый вид определения.
Определяемые понятия вводятся математическими определениями, которые определяют эти понятия через понятия, введённые ранее.
Любое математическое определение порождает аксиому, которая является утверждением, верным "по определению".
Аксиомы, порождаемые математическими определениями, называются аксиомами определения.
https://dxdy.ru/post955059.html#p955059
--

система заметок

Я свою систему заметок делаю в жж и в файлах на диске.
Мне удобно. Это помогает в работе.

--Zettelkasten ~ "шкаф с картотекой"--
Чтение не увеличивает магическим образом ваши знания. Если текст просто попался вам на глаза и проник в краткосрочную память, это ещё не значит, что вы что-то из него узнали. Если всё, что вы делаете — это читаете, и делаете это не для развлечения, то тратите время в пустую. Всё, что попадает в вашу краткосрочную память, обязательно забудется и будет бесполезно в долгосрочной перспективе. Годы спустя эффект будет такой же, как если бы вы не читали эту книгу или статью.

Так что, если вы читаете, чтобы увеличивать знания, ведите заметки. А если собираетесь вести заметки, то попробуйте Zettelkasten.

Zettelkasten будет не только безопасным хранилищем для знаний, которые вы собираете со временем, но принудит вас создавать заметки и прописывать между ними связи. Zettelkasten улучшит понимание материала, который вы читаете. К такому выводу пришли исследователи Анни Пиолат, Терри Олив и Рональд Т. Килог (пдф).

https://habr.com/ru/post/508672/
Zettelkasten: как один немецкий учёный стал невероятно продуктивным
--
https://habr.com/ru/post/509756/
Как я веду Zettelkasten в Notion уже год: стартовый набор и полезные трюки
---