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

Доклад Валерии Николаевой «Поиск бисимуляции на питоне»

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

7 июня в 18:30 состоится заседание исследовательского семинара «From the Logical Point of View».

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

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

«Поиск бисимуляции на питоне»


Аннотация:

Бисимуляция между конечными моделями Крипке говорит об их структурном подобии, а именно, что нет формулы, с помощью которой их можно различить. В докладе я покажу пример алгоритма для поиска бисимуляции между двумя заданными отмеченными моделями. Программа поддерживает эпистемичнскую логику с мультиагентными взаимодействиями, а также с ее помощью можно найти минимальную модель, бисимулирующую с данной.

Регистрация на доклад