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

Доклад В.В. Рыбакова "Много-агентные Модальные и Временные Логики"

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

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


Владимир Владимирович Рыбаков 

 (профессор, ведущий научный сотрудник, СФУ, НИУ ВШЭ)

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

"Много-агентные Модальные и Временные Логики"

 

Аннотация: 
Мы планируем рассказать о полученных (в 2015 -2020) результатах в области многоагентных и нетранзитивных логик и их возможных приложениях в информатике. Основное отличие от широко принятого подхода в рассматриваемой области состоит во введении индивидуальных отношений достижимости в моделях Крипке для агентов и (или) в модификации отношений достижимости в зависимости от состояний, где оценивается выполнимость формулы. Также, естественно, рассматриваютя индивидуальные означивания агентов для исходных пропозициональных переменных.

Zoom
Идентификатор конференции: 951 6621 6579
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru



Рабочий язык: русский
Приглашаются все желающие!


Контакты: llfp@hse.ru