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