Семинар за вештачку интелигенцију, 25. октобар 2023.

• 20. Октобар, 2023
• Коментари (0)

Наредни састанак Семинара биће одржан онлајн у среду, 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