TGViewer
Кафедра математической логики и теории алгоритмов мехмата МГУ Кафедра математической логики и теории алгоритмов мехмата МГУ @msu_mathlog · 340 subscribers
Post #430 188

Forwarded from Формальная философия

Формальная философия Photo
18 марта в 18:10 состоится 116-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Устранение информационных каскадов с помощью публичных аудитов.

Докладчик: Арнольд Григорян (Ludwig-Maximilians-Universität München).

Аннотация: Доклад будет посвящен моделированию информационных каскадов с помощью байесианской эпистемологии и динамической эпистемической логики.

В статье «Логические модели информационных каскадов» [1] последовательность агентов конфиденциально вытягивает шар из урны, чье содержание неизвестно, обновляет свои убеждения, а затем публично объявляет предположение о ее содержании. В силу того, что объявляются только апостериорные предположения, а не сами розыгрыши, ранние объявления могут стать доминирующими среди общественного мнения. Авторы показывают, что после конечного этапа для агентов рационально игнорировать результаты своих собственные розыгрышей. Это и запускает информационный каскад.

Мы представим расширенную версию модели, которая добавляет дополнительное событие «публичного аудита», происходящее после того, как агент вытащил мяч. С вероятностью p событие аудита заставляет агента объявить результат розыгрыша, а не его апостериорное предположение. Мы показываем, что для любого p > 0 при числе агентов n → ∞ вероятность формирования каскада, который неправильно определяет положение дел, стремится к 0.

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

[1] A. Baltag, S. Smets, and J. Zvesper. Logical Models of Informational Cascades. 2013.
_____________________

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1137930227.html
llfp.hse.ru Доклад Арнольда Григоряна «Устранение информационных каскадов с помощью публичных аудитов» 18 марта в 18:10 состоится 116-е заседание научно-теоретического семинара «Формальная философия».
  • ❤ 1
More from @msu_mathlog
  1. Oct 1, 2026#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД Семинар отдела математической логики МИАН…
  2. Sep 30, 2026#матлог #учёба #спецсеминар Kolmogorov seminar on complexity (for receive the zoom link, p…
  3. Sep 30, 2026#матлог #учёба #просеминар 💥В пятницу 2 октября состоится очередное занятие просеминара п…
  4. Sep 29, 2026#матлог #учёба #семинар #не_мехмат #ВШЭ Уважаемые коллеги, приглашаем вас принять участие…
  5. Sep 28, 2026#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семи…
  6. Sep 25, 2026#матлог #учёба #спецсеминар 30 сентября 2026 г. состоится заседание Рабочего семинара по м…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →