Доклад Виталия Долгорукова и Елены Поповой "Осведомленность в динамике: эволюционная эпистемическая логика"
21 января в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Виталий Долгоруков
зам. зав. лаб. ЛогЛинФФ
Елена Попова
стажер-исследователь МЛ ЛогЛинФФ
выступят с докладом:
"Осведомленность в динамике: эволюционная эпистемическая логика"
Аннотация:
В докладе будет представлена эволюционная эпистемическая логика для неидельных агентов, описывающая динамику осведомленности. Различные модели осведомленности рассматривались в работах (Alechina, Logan, 2001), (Fagin, Halpern, 1988), (Benthem, Velázquez-Quesada, 2007). Мы сосредоточимся на описании сценариев, в которых у агентов происходит минимальная задержка в осведомленности о том или ином факте ("только сейчас я понял", "лишь сейчас я осознал"). Мы рассмотрим разные виды интроспекции с имплицитным знанием, которое становится эксплицитным сразу после делиберации, которая требует минимального времени. Будет доказана корректность и полнота эволюционной эпистемической логики для неидеальных агентов.
Zoom
Идентификатор конференции: 956 6971 8556
При возникновении вопросов пишите по адресу llfp@hse.ru