BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://math.bas.bg
X-WR-CALDESC:Събития за Institute of Mathematics and Informatics
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Sofia
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210326T130000
DTEND;TZID=Europe/Sofia:20210326T143000
DTSTAMP:20260702T012605
CREATED:20210321T105155Z
LAST-MODIFIED:20210321T110102Z
UID:10330-1616763600-1616769000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 26 март 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема \nSome axioms about rationality in infinite concurrent multiplayer games with ordered objectives and temporary coalitions in QCTL*\nще изнесе Димитър Гелев (ИМИ – БАН). \nРезюме. Temporal winning conditions appear in both terminating and infinite games. Reachability (guarantee) winning conditions appear in terminating games. Safety conditions and conditions higher up in the (Manna & Pnueli\, 1989) hierarchy appear in non-terminating games. In a multiplayer game\, the latter classes of winning conditions are natural to drive players into forming permanent coalitions as the longevity of a coalition needs to match the duration of its agenda\, which may take entire infinite plays to implement. However\, a lifelong joint agenda is often inconsistent with the ability of players to change alliances\, especially if there are multiple objectives with preference. The dedicated constructs of established logical notations for strategic behaviour such as Alternating-time Temporal Logic (ATL\, Alur Henzinger and Kupferman\, ICALP 1997\, J. of the ACM\, 2002) and Strategy Logic (SL\, Chatterjee\, Henzinger and Piterman\, I& C\, 2010\, Mogavero\, Murano and Vardi\, FST TCS 2010)\, in their now many variants and extensions\, are off-the-shelf for permanent coalitions only. To the best of our knowledge\, no dedicated constructs such as those of ATL and SL are available for temporary coalitioning. \nIn this talk we fall back onto Quantified Computation Tree Logic\, QCTL*\, which admits embeddings of both ATL and SL\, and is now an established intermediate notation for logics for strategic ability\, largely because of its decidability on the unwindings of finite models (French\, Australian AI 2001\, Ph.D. Thesis 2006\, Laroussinie and Markey\, LMCS 2014). The embedding of ATL was introduced in (Da Costa Lopez et al\, CONCUR 2012)\, and independently by myself in (Guelev\, SR 2013). Elements can be identified already in the correspondence between ATL’s 2002 and 1997 semantics in (Goranko and Jamroga\, Synthese 2004). \nWe propose a vocabulary which extends this embedding to allow temporary coalitions. We illustrate its use to formulate example sufficient conditions for the rationality of shifting coalition structure and decisions in the extension of QCTL* by a temporal form of a binary preference operator after (Von Wright\, 1963) which we introduced in (Guelev\, CoRR 2020). The conditions reflect naive game-theoretic reasoning and are considered to become part of analogons to backward induction to infinite concurrent games with ordered objectives. We adopt ordered objectives from the thorough study of pure Nash equilibria concurrent ω-regular games without coalitioning in (Bouyer\, Brenguier and Markey and Ummels\, FoSSaCS 2012\, LMCS 2015). \nKeywords: strategic ability\, temporary coalitions\, rational synthesis\, ordered objectives\, concurrent multiplayer games \nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Mar 26\, 2021 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \n  \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/ \n 
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-44/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
END:VCALENDAR