FTLPV: Доклад Гладышева М.А. "Эпистемические расширения логик ветвящегося времени и их приложения"
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