Доклад Валерии Николаевой на семинаре «‎From the Logical Point of View»

7 июня стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «Поиск бисимуляции на питоне» на научно-исследовательском семинаре «From the Logical Point of View». 

фото МЛ ЛогЛинФФ

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