Академическая встреча в Кочерге 22 апреля 2018 года
Встреча | |
---|---|
Когда: |
22 апреля 2018, 14:00 |
Город: | |
Адрес: | |
Место: | Кочерга |
Формат встречи: | Академические встречи |
Ведущий: Александр Бидерман.
Содержание
Программа
- Обзорный рассказ про Ментальные модели (Сергей Черкасов)
- Колмогоровская сложность: какое на самом деле распределение возможных миров использует AIXI (Михаил Дектярев)
-
Great Rationality Debate (Вячеслав Матюхин) - Про онтики и онтологию (Сергей Черкасов)
Заявки
Например:
- Расскажу про теорему Эрроу и альтернативные системы голосования
- Обсудить аргументы за и против возможности появления радикально самоусиливающегося ИИ
- Ардуино-хакатон
И помните: заявить и сделать неидеально лучше, чем засомневаться и не заявить.
Чтобы оставить заявку, отредактируйте эту страницу и напишите ниже в свободной форме, как вас зовут, о чём вы хотите рассказать, и сколько примерно потребуется времени.Заявки собраны, программа сформирована.
Что было на встрече
Обзорный рассказ про Ментальные модели (Сергей Черкасов)
Сергей Черкасов рассказывал о блоге Ментальные модели(канал в телеграме, профиль на Фейсбуке).
В блоге есть много разных заметок из разных областей. Больше всего он напоминает сборник простых правил. Как примеры можно привести Принцип 20/80, Технику Пяти Почему или Метод 10/10/10.
Доклад закончился обсуждением вопроса, есть ли что-то подобное у сообщества рационалистов, потому что такой короткий формат кажется достаточно эффективным. Как англоязычный пример Слава Матюхин предложил сайт [1].
Колмогоровская сложность: какое на самом деле распределение возможных миров использует AIXI (Михаил Дектярев)
AIXI — математическая модель искусственного интеллекта, придуманная Маркусом Хаттером. В докладе описывалось, что такое колмогоровская сложность, какие у неё есть свойства, а также какие на этот счёт есть популярные заблуждения.
Про онтики и онтологию (Сергей Черкасов)
Доклад был посвящён вопросам: «Что такое онтология?», «Как связаны между собой реальность и действительность?» и «Как подобные вопросы помогают в реальном мире?»
Описывались идеи из курса «Онтологика» Пион Гайбарян. Много времени было уделено идее, что люди строят разные ментальные модели и эти ментальные модели можно как-то расставлять по шкале между «хаосом» (практически не формализованные модели, основанные на интуиции) и «порядком» (очень формализованные модели, например, математические).
Описывалось, как можно применять онтологию к реальным задачам, и что такое метод BORO.
Материалы:
- LJ про спектр мышления разные посты https://thpectrum.livejournal.com/
- Про курс онтологики Пион https://thpectrum.livejournal.com/8785.html
- Пост Левенчука про BORO https://ailev.livejournal.com/938647.html
- Книга про BORO http://www.brunel.ac.uk/~cssrcsp/BusObj.pdf