Встреча/Москва/2018-04-22 — различия между версиями
Tapot (обсуждение | вклад) |
Alaric (обсуждение | вклад) (→Программа: Материалы перенесены в другой раздел) |
||
| (не показано 12 промежуточных версий 5 участников) | |||
| Строка 1: | Строка 1: | ||
| − | {{Встреча | Дата = 2018-04- | + | {{Встреча | Дата = 2018-04-22T14:00:00 | Место = Кочерга | Формат = Академические встречи }} |
{{DISPLAYTITLE:Академическая встреча в Кочерге 22 апреля 2018 года}} | {{DISPLAYTITLE:Академическая встреча в Кочерге 22 апреля 2018 года}} | ||
| + | Ведущий: [[Участник:Alaric|Александр Бидерман]]. | ||
| + | |||
| + | == Программа == | ||
| + | # Обзорный рассказ про Ментальные модели ([[Участник:Tapot|Сергей Черкасов]]) | ||
| + | # Колмогоровская сложность: какое на самом деле распределение возможных миров использует AIXI ([[Участник:Mihaild|Михаил Дектярев]]) | ||
| + | # <s>Great Rationality Debate ([[Участник:Berekuk|Вячеслав Матюхин]])</s> | ||
| + | # Про онтики и онтологию ([[Участник:Tapot|Сергей Черкасов]]) | ||
| + | {{Clear}} | ||
== Заявки == | == Заявки == | ||
| + | {{Заявки на академическую встречу}} | ||
| + | |||
| + | Заявки собраны, программа сформирована. | ||
| + | |||
| + | == Что было на встрече == | ||
| − | + | === Обзорный рассказ про Ментальные модели ([[Участник:Tapot|Сергей Черкасов]]) === | |
| + | [[Участник:Tapot|Сергей Черкасов]] рассказывал о блоге [http://telegra.ph/Mentalnye-modeli-10-21 Ментальные модели]([https://t.me/mental_models канал в телеграме], [https://www.facebook.com/modelsmental/ профиль на Фейсбуке]). | ||
| + | |||
| + | В блоге есть много разных заметок из разных областей. Больше всего он напоминает сборник простых правил. Как примеры можно привести [http://telegra.ph/Zakon-Pareto-Princip-2080-01-17 Принцип 20/80], [http://telegra.ph/Tehnika-Pyati-Pochemu-10-21 Технику Пяти Почему] или [http://telegra.ph/Metod-101010-12-01 Метод 10/10/10]. | ||
| + | |||
| + | Доклад закончился обсуждением вопроса, есть ли что-то подобное у сообщества рационалистов, потому что такой короткий формат кажется достаточно эффективным. Как англоязычный пример [[Участник:Berekuk|Слава Матюхин]] предложил сайт [https://conceptually.org]. | ||
| + | |||
| + | === Колмогоровская сложность: какое на самом деле распределение возможных миров использует AIXI ([[Участник:Mihaild|Михаил Дектярев]]) === | ||
| + | [[AIXI]] — математическая модель искусственного интеллекта, придуманная Маркусом Хаттером. В докладе описывалось, что такое колмогоровская сложность, какие у неё есть свойства, а также какие на этот счёт есть популярные заблуждения. | ||
| + | |||
| + | === Про онтики и онтологию ([[Участник:Tapot|Сергей Черкасов]]) === | ||
| + | Доклад был посвящён вопросам: «Что такое онтология?», «Как связаны между собой реальность и действительность?» и «Как подобные вопросы помогают в реальном мире?» | ||
| + | |||
| + | Описывались идеи из [https://thpectrum.livejournal.com/8785.html курса «Онтологика»] Пион Гайбарян. Много времени было уделено идее, что люди строят разные ментальные модели и эти ментальные модели можно как-то расставлять по шкале между «хаосом» (практически не формализованные модели, основанные на интуиции) и «порядком» (очень формализованные модели, например, математические). | ||
| + | |||
| + | Описывалось, как можно применять онтологию к реальным задачам, и что такое метод [[wikipedia:BORO|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 | ||
Текущая версия на 22:03, 7 мая 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
| Дата события | 14:00:00, 22 апрель 2018 + |
| Проходит в месте | Кочерга + |
| Формат встречи | Академические встречи + |
