Доклад В.В. Рыбакова "Много-агентные Модальные и Временные Логики"
21 апреля в 16.20 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Владимир Владимирович Рыбаков
(профессор, ведущий научный сотрудник, СФУ, НИУ ВШЭ)
выступит с докладом:
"Много-агентные Модальные и Временные Логики"
Аннотация:
Мы планируем рассказать о полученных (в 2015 -2020) результатах в области многоагентных и нетранзитивных логик и их возможных приложениях в информатике. Основное отличие от широко принятого подхода в рассматриваемой области состоит во введении индивидуальных отношений достижимости в моделях Крипке для агентов и (или) в модификации отношений достижимости в зависимости от состояний, где оценивается выполнимость формулы. Также, естественно, рассматриваютя индивидуальные означивания агентов для исходных пропозициональных переменных.
Zoom
Идентификатор конференции: 951 6621 6579
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru
Рабочий язык: русский
Приглашаются все желающие!
Контакты: llfp@hse.ru