Мини-курс «Введение в динамическую эпистемическую логику»
Мероприятие завершено
В марте-апреле 2015 В.В. Долгоруков прочтет мини-курс «Введение в динамическую эпистемическую логику». В ходе курса будут затронуты следующие темы: виды эпистемических и доксатических модальных операторов («знаю», «допускаю», «считаю», «разумно допустить, что» и др.), формы группового знания («everybody knows», «distributed knowledge», «common knowledge»), виды информационной динамики (публичное оглашение, радикальное обновление, консервативное обновление и др.). В рамках курса будут обсуждаться классические задачи динамической эпистемической логики: «чумазые дети», «рассуждающие мудрецы», «День Рождения Шерил» и др. Подробнее...
В марте-апреле 2015 В.В.Долгоруков прочтет мини-курс «Введение в динамическую эпистемическую логику».
В ходе курса будут затронуты следующие темы: виды эпистемических и доксатических модальных операторов («знаю», «допускаю», «считаю», «разумно допустить, что» и др.), формы группового знания («everybody knows», «distributed knowledge», «common knowledge»), виды информационной динамики (публичное оглашение, радикальное обновление, консервативное обновление и др.). В рамках курса будут обсуждаться классические задачи динамической эпистемической логики: «чумазые дети», «рассуждающие мудрецы», «День Рождения Шерил» и др. Курс организован в рамках научно-учебного семинара «Логическая семантика» (НУГ «Формальная философия», проект "Динамический поворот в логической семантике" ).
Материалы занятий:
Литература:
- ван Бентем Й. Логика в действии. Введение // Vox. 2011. №10.
- http://www.logicinaction.org/
- Pacuit E. Dynamic Epistemic Logic I: Modeling Knowledge and Belief // Philosophy Compass. 2013. Vol. 8, № 9. P. 798–814.
- Pacuit E. Dynamic Epistemic Logic II: Logics of Information Change // Philosophy Compass. 2013. Vol. 8, № 9. P. 815–833.
- van Ditmarsch H., van der Hoek W., Kooi B. Dynamic Epistemic Logic. Dordrecht: Springer, 2007.
- van Ditmarsch H. Knowledge Games // Bulletin of Economic Research. 2001. Vol. 53, № 4. P. 249–273.
- Kooi B. Dynamic Epistemic Logic // Handbook of Logic and Language. Amsterdam: Elsevier, 2011. P. 671–690.
- Girard P., Roy O., Marion M. Dynamic Formal Epistemology. Dordrecht: Springer, 2011.
- van Benthem J. Logical dynamics of information and interaction. Cambridge: Cambridge University Press, 2010.
- van Benthem J. Modal Logic for Open Minds. Stanford: Center for the Study of Language and Information, 2010.
- van Benthem J. Logic in Games. Cambridge MA; L.: MIT Press, 2014.
- van Benthem J. Games in Dynamic-Epistemic Logic // Bulletin of Economic Research. 2001. Vol. 53, № 4. P. 219–248.
- Эпистемические головоломки
- Денисова В.Г. Использование теоретико‐игровой семантики в эпистемической логике / /Vita Cogitans: альманах молодых философов. – 2013. – №. 6.
- Виньков М. М., Фоминых И. Б. Рассуждения о знаниях и проблема логического всеведения. Часть I. Модальный подход //Искусственный интеллект и принятие решений. 2011. №. 4.
- Epistemic logics for multi-agent systems by Hans van Ditmarsch
Участие в семинарах "Формальная философия" и "Логическая семантика" открыто для всех желающих.
Дата
4 марта
16:40
В статье упомянуты