Доклады Натальи Тиминой «Геометрический подход к эпистемическим задачам» и Ивана Мельникова «Построение безопасного протокола обмена данными во время "Русской карточной игры"»
19 апреля в 18:30 состоится заседание исследовательского семинара «From the Logical Point of View».
Наталья Тимина
студентка 4-го курса ФКН ВШЭ
выступит с докладом:
«Геометрический подход к эпистемическим задачам»
Аннотация:
В классических задачах динамической эпистемической логики, как, например, в задаче о «дне рождения Шерил», изначальное количество возможных миров конечно. Мы предлагаем адаптировать подобные задачи путем представления множества возможных миров в виде непрерывного геометрического пространства вместо множества дискретных точек. Это позволит моделировать случаи, когда количество миров несчетно. Мы рассмотрим несколько вариантов задачи с разными способами задания невозможных «областей».
Иван Мельников
студент 4-го курса ФКН ВШЭ
выступит с докладом:
«Построение безопасного протокола обмена данными во время "Русской карточной игры"»
Аннотация:
Доклад основывается на изучении известной проблемы "The Russian Cards Game" с точки зрения построения безопасного протокола обмена данными при различных обстоятельствах и разным количеством агентов. В каких ситуациях агенты смогут обменяться знаниями без риска быть перехваченными соперником? Какие ситуации будут, наоборот, вставлять нам палки в колеса? Можно ли построить такой алгоритм, который позволит всегда достигать желаемого результата? При помощи динамической эпистемической логики можно ответить на этот и многие другие вопросы, хотя, впрочем, некоторые обобщения, до сих пор остаются вне поля нашего зрения.