Доклад Даниила Хайтовича "Введение в stit-логику"
Мероприятие завершено
10 июня в 19:40 состоится заседание научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии.
Даниил Хайтович
стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии
выступит с докладом:
"Введение в stit-логику"
Аннотация:
Stit-логики (от англ. sees to it that) — семейство логик действия, предлагающих формальный анализ агентивов в рамках модальной логики: выражения о действиях предлагается переводить в синтаксические конструкции вида «агент i гарантирует, что ϕ», где «агент i гарантирует, что» понимается как модальность. Изначально stit-логики применялись исключительно в философских исследованиях агентности, способностей, действий, но в последние годы эти формализмы иногда используют в области моделирования мульти-агентных систем и распределенных вычислений. Мы рассмотрим стандартные stit-логики, предложенные Белнэпом и соавторами, а также поговорим о современных модификациях и результатах по полноте и разрешимости некоторых фрагментов, если останется время.
Zoom
Идентификатор конференции: 952 3521 7540
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru
Дата
10 июня
19:40
В статье упомянуты
Персоны