Зарежда Събития

На 30 октомври 2020 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.

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

A Solvable Class of Solution Concepts for Multiplayer Complete Information Infinite Games with Ordered Objectives and Temporary Coalitions

ще изнесе Димитър Гелев (ИМИ-БАН).

Резюме. Предлагаме метод за кодирането на понятия за решение на безкрайни синхронни игри с пълна информация на няколко играчи с предпочитания между целите и при възможност за образуването на временни коалиции. Кодирането е в разрешимо разширение на темпоралната логика CTL* с пропозиционален квантор. Разширението създава възможността да се формулират предпочитанията на играчите между темпоралните им цели и се основава на темпорален вариант на оператора за предпочитание, известен от работата на Von Wright, 1963. Предлагаме пълна аксиоматизация и установяваме разрешимостта на казаното разширение. Оттук следва възможността алгоритмично да бъдат решавани игри от казания клас относно всяко понятие за решение, което се поддава на изразяване в така получената темпорална логика

Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:

https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09

Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Oct 30, 2020 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: 035647

 

От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/

 

Go to Top