СЕМИНАР „АЛГЕБРА И ЛОГИКА”

Следващото заседание на семинара ще се проведе на 24 март 2017 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН.

Доклад на тема:

ВРЕМЕННИ КОАЛИЦИИ И ПРЕДПОЧИТАНИЯ МЕЖДУ ТЕМПОРАЛНИ ЦЕЛИ В ИГРИ НА НЯКОЛКО УЧАСТНИКА

ще изнесе доц. Димитър ГЕЛЕВ.

Поканват се всички желаещи.

Резюме. Concurrent Game Models (CGM) са утвърден модел за изучаване на стратегически способности в многоагентни системи и служат за семантика на логики като ATL (Alternating-time Temporal Logic). Основната теоретико-игрова модалност на ATL изразява способността на дадена коалиция да наложи темпорално свойство на развитието на играта независимо от поведението на нечленуващите играчи. Известни са разширения на ATL с предвидена възможността при това да се разчита на известно фиксирано поведение на някои от нечленуващите в коалицията. Този доклад е за анализа на стратегически способности в CGM, когато са известни само целите на участниците, и за всеки играч тези цели са частично наредени по предпочитание. ATL предвижда постоянни коалиции. Тук приемаме, че играчите участвуват в коалиции само доколкото и докогато това е изгодно. Цел на изследването е намирането на партиите (възможните развития на разглежданите игри) при рационално поведение на участниците. От това следва възможността по дадения CGM да бъде построен обикновен модел на Крипке, задаващ  партиите, които отговарят на рационално поведение.