• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

FTLPV: Доклад Гладышева М.А. "Эпистемические расширения логик ветвящегося времени и их приложения"

18+
Мероприятие завершено

23 сентября в 16.20 состоится онлайн-заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.

 

Максим Гладышев

стажер-исследователь МЛ ЛогЛинФФ

выступит с докладом:

"Эпистемические расширения логик ветвящегося времени и их приложения"

Аннотация:
В докладе будет представлен разбор логик ветвящегося времени (Alternating-time Temporal Logics), а также некоторые эпистемические расширения. ATL логика позволяет формулировать утверждения типа "Группа агентов может гарантировать, что ϕ будет истинно в будущем", "группа агентов может гарантировать, что ф будет истинными пока истинно ψ" и т.д. Таким образом, ATL является довольно выразительным языком, позволяя формулировать утверждения о коалициях агентов и доступных им стратегиях. При этом ATL обладает привлекательными вычислительными свойствами, что еще больше увеличивает потенциал ее эпистемических надстроек.

  • Время: 23 сентября (ср), 16.20

Zoom

  • Идентификатор конференции: 652 689 6901
  • Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru