Доклад Валерии Николаевой «Поиск бисимуляции на питоне»
Мероприятие завершено
7 июня в 18:30 состоится заседание исследовательского семинара «From the Logical Point of View».
Валерия Николаева
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:
«Поиск бисимуляции на питоне»
Аннотация:
Бисимуляция между конечными моделями Крипке говорит об их структурном подобии, а именно, что нет формулы, с помощью которой их можно различить. В докладе я покажу пример алгоритма для поиска бисимуляции между двумя заданными отмеченными моделями. Программа поддерживает эпистемичнскую логику с мультиагентными взаимодействиями, а также с ее помощью можно найти минимальную модель, бисимулирующую с данной.
Дата
7 июня
18:30
Адрес
A-121
В статье упомянуты