- совместный доклад стажера-исследователя Международной лаборатории логики, линвистики и формальной философии ВШЭ Поповой Елены Леонидовны и к. филос. н. зам зав. этой лаборатории, доцента Виталия Владимировича Долгорукова "Эпистемическая темпоральная логика для агентов с задержкой в осведомленности". Доклад будет посвящен рассмотрению эпистемической логики, описывающей динамику осведомленности (awareness) для агентов с ограниченными ресурсами. Моделирование осведомленности агента относительно какого-либо факта представляет собой одно из направлений внутри эпистемической логики, позволяющее перейти от описания рассуждений идеальных агентов к рассуждениям агентов, ограниченных в ресурсах. Пионерской работой в этом направлении можно считать статью «Fagin R., Halpern J. Belief, Awareness, and Limited Reasoning, 1988». Следующие важные шаги в логическом моделировании осведомленности представлены в следующих подходах: в работе «van Benthem J., Velazquez-Quesada F. The Dynamics of Awareness, 2010» был предложен подход к моделированию осведомленности в стиле логики с публичными объявлениями, в работе «Alechina N., Logan B. Logical Omniscience and the Cost of Deliberation, 2001» был предложен подход, описывающий временную задержку в осведомленности. В настоящем докладе мы рассмотрим темпоральную эпистемическую модель, которая описывает динамику осведомленности агента с учетом следующих параметров: 1) задержка в осведомленности является минимальной; 2) изменения в осведомленности обусловлены внутренним триггером – изменением имплицитного знания агента на прошлом шаге рассуждения (а не внешним триггером – внешним объявлением как в подходе van Benthem & Velazquez-Quesada 2010); 3) осведомленность может характеризовать любую формулу, а не только формулу пропозиционального языка как в подходе Alechina & Logan 2001. Язык нашей модели включает в себя стандартный язык мультиагентной эпистемической логики, обогащенный временными операторами следующего и предыдущего шага и модальностью «агент осведомлен». Такой богатый язык позволяет сформулировать различие между имплицитным и эксплицитным знанием, а также условия для изменения знания во времени. Предложенная модель базируется на семантике Крипке с эпистемическими отношениями достижимости для агентов, темпоральным отношением предшествования и функцией осведомленности. Будет предложено аксиоматическое построение для эпистемической темпоральной логики с минимальной задержкой в осведомленности, доказана корректность и сильная полнота данной логики относительно предложенной семантики.
- доклад студента 4го курса МФТИ Балыкина Никиты Андреевича по теме его диссертации, посвященной моделям эпидемий типа SIR с учетом ограниченности количества врачей и связанным с этим эффектам (науч. рук Д.Н.Федянин)
- возможно, (пока не ясно успеет ли все доделать) доклад студента 4-го курса ВШЭ по теме его диссертации, посвященной значению неопределенности и логики в задачах social choice (науч. рук Д.Н.Федянин).
Если Вы хотите и готовы выступить на семинаре (в том числе и на этом) — напишите н.с. лаборатории 57 Денису Николаевичу Федянину
dfedyanin@inbox.ru (89261771746), и он (после согласования с руководством) внесет Вас в планы. Это могут быть не очень масштабные выступления, в том числе, и короткие — 5-10 минутные.
Обратите внимание, что вполне допустимо рассказать содержание своей свежей статьи или доклада.
Это может быть полезным и Вам — так как повышает шанс ссылки на Вашу работу в дальнейшем (индекс Хирша и т.д.), привлекает молодых участников семинара к Вашей тематике и т.д., и, разумеется, коллегам — так как публикаций много и не всегда получается быть в курсе всего, а узнавать об успехах коллег интересно и полезно, так как области исследования часто смежные. Особенно это важно, если в своих работах Вы используете новые определения или термины для уже известных или новых явлений — чем больше людей будут о них знать и использовать Ваши определения, тем быстрее они станут классическими, что может быть для Вас полезным.
Дата:
Место:
- ИПУ РАН К.463