Академическая встреча в Кочерге 22 апреля 2018 года

Встреча
Когда:	22 апреля 2018, 14:00 воскресенье
Город:
Адрес:
Место:	Кочерга
Формат встречи:	Академические встречи

Ведущий: Александр Бидерман.

Программа

1. Обзорный рассказ про Ментальные модели (Сергей Черкасов)
2. Колмогоровская сложность: какое на самом деле распределение возможных миров использует AIXI (Михаил Дектярев)
3. Great Rationality Debate (Вячеслав Матюхин)
4. Про онтики и онтологию (Сергей Черкасов)

Заявки

На академические встречи можно заявлять любую тему, связанную с обменом знаниями: доклады, обсуждения, предложения сделать вместе какой-то проект.

Например:

• Расскажу про теорему Эрроу и альтернативные системы голосования
• Обсудить аргументы за и против возможности появления радикально самоусиливающегося ИИ
• Ардуино-хакатон

И помните: заявить и сделать неидеально лучше, чем засомневаться и не заявить.

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

Заявки собраны, программа сформирована.

Что было на встрече

Обзорный рассказ про Ментальные модели (Сергей Черкасов)

Сергей Черкасов рассказывал о блоге Ментальные модели(канал в телеграме, профиль на Фейсбуке).

В блоге есть много разных заметок из разных областей. Больше всего он напоминает сборник простых правил. Как примеры можно привести Принцип 20/80, Технику Пяти Почему или Метод 10/10/10.

Доклад закончился обсуждением вопроса, есть ли что-то подобное у сообщества рационалистов, потому что такой короткий формат кажется достаточно эффективным. Как англоязычный пример Слава Матюхин предложил сайт [1].

Колмогоровская сложность: какое на самом деле распределение возможных миров использует AIXI (Михаил Дектярев)

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

Про онтики и онтологию (Сергей Черкасов)

Доклад был посвящён вопросам: «Что такое онтология?», «Как связаны между собой реальность и действительность?» и «Как подобные вопросы помогают в реальном мире?»

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

Описывалось, как можно применять онтологию к реальным задачам, и что такое метод BORO.

Материалы:

1. LJ про спектр мышления разные посты https://thpectrum.livejournal.com/
2. Про курс онтологики Пион https://thpectrum.livejournal.com/8785.html
3. Пост Левенчука про BORO https://ailev.livejournal.com/938647.html
4. Книга про BORO http://www.brunel.ac.uk/~cssrcsp/BusObj.pdf