Наредни састанак Семинара биће одржан онлајн у среду, 25. октобра 2023, са почетком у 19 часова.
Предавач: Марко Станковић, Педагошки факултет у Врању Универзитета у Нишу, Врање
Наслов предавања: ИЗРАЧУНАВАЊЕ СЛАБИХ БИСИМУЛАЦИЈА ЗА КРИПКЕОВЕ МОДЕЛЕ ФАЗИ МУЛТИМОДАЛНИХ ЛОГИКА
Апстракт: Код Крипкеових модела најчешће се разматрају две врсте симулација и бисимулација – јаке и слабе. Јаке симулације и бисимулације служе да симулирају/бисимулирају локална својства светова и њихове транзиционе обрасце дате релацијом достижности, док слабе симулације и бисимулације служе да симулирају/бисимулирају логичке формуле. Концепт слабих бисимулација од изузетног је значаја у формалној верификацији модела. Зато уводимо појам слабе симулације и бисимулације на непразном скупу формула између два Крипкеова модела фази мултимодалних логика. Даље, уводимо појам „достижних фази скупова“ и дајемо алгоритам за њихово одређивање на Крипкеовом моделу над локално коначним Хејтинговим алгебрама. Поред тога, одређена је и сложеност овог алгоритма. Затим, представљамо алгоритам за израчунавање слабих симулација и бисимулација који је базиран на алгоритму за одређивање достижних фази скупова. На крају, дајемо неколико занимљивих примера, као и могућности за уопштавање добијених резултата.
Излагање је подржано од стране Фонда за науку Републике Србије (назив пројекта: Quantitative automata models: fundamental problems and applications – QUAM).
Напомена: Регистрациона форма за учешће на Семинару је доступна на линку:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz