{"id":819,"date":"2011-02-14T08:47:05","date_gmt":"2011-02-14T08:47:05","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=819"},"modified":"2011-02-14T08:51:28","modified_gmt":"2011-02-14T08:51:28","slug":"special-lira-session-on-logic-and-strategies-in-groningen","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2011\/02\/special-lira-session-on-logic-and-strategies-in-groningen\/","title":{"rendered":"Special LIRa session on Logic and Strategies in Groningen"},"content":{"rendered":"

Thursday 24 February<\/strong> we will have a special LIRa session on Logic and Strategies<\/strong><\/em> in Groningen.<\/p>\n

The session will start at 14:00 hrs<\/strong>, and will take place in Muntinggebouw, Entrance Grote Kruisstraat 2\/1, Room M.0074, Groningen <\/span>(a map pf the location can be found here<\/a> ). The special session will have the following program:<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
<\/td>\n<\/tr>\n
14:00 – 14:40<\/td>\n<\/td>\n Paolo Turrini
\n<\/strong><\/td>\n<\/tr>\n
<\/td>\n<\/td>\n <\/em>(Utrecht)<\/em><\/td>\n<\/tr>\n
<\/td>\n<\/td>\nStrategic Games and Truly Playable Effectivity Functions<\/span><\/td>\n<\/tr>\n
\n

A well known result by Marc Pauly states that for every playable <\/span>effectivity function E there exists a strategic game that assigns to <\/span>coalitions exactly the same power as E, and vice versa. While the latter direction of the correspondence is correct, I will show that the former is not. I will discuss the consequences of this problem, especially for the logics used to reason on strategic games. I will then characterize the class of ‘truly playable’ effectivity functions, that does correspond to strategic games. I will also show that Coalition Logic is not expressive enough to distinguish between playable and truly playable effectivity functions, and I will extend it to a logic that can make this distinction while enjoying finite axiomatization and finite model property. What I present is joint work with Valentin Goranko (University of Denmark) and Wojtek Jamroga (University of Luxembourg).<\/p><\/blockquote>\n<\/td>\n<\/tr>\n

<\/td>\n<\/tr>\n
14:40 – 14:50<\/td>\n<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
14:50 – 15:00<\/td>\n<\/td>\nCoffee Break<\/td>\n<\/tr>\n
\n
\n<\/td>\n<\/tr>\n
15:00 – 15:40<\/td>\n<\/td>\nSunil Simon<\/strong> <\/strong><\/td>\n<\/tr>\n
<\/td>\n<\/td>\n(Amsterdam)<\/em><\/td>\n<\/tr>\n
<\/td>\n<\/td>\nFrom logic to games and back<\/span><\/td>\n<\/tr>\n
\n

Model checking games present one of the classic applications of game <\/span>theoretic techniques in logic. In this view, the notion of truth can <\/span>be stated in terms of winning strategies. Efficient algorithms to find <\/span>the winning region in the associated class of games can in turn be <\/span>employed to solve the model checking question. There is also the <\/span>reverse relationship between games and logic: the question of whether <\/span>the winning region (and the winning strategy) of a class of games is <\/span>definable in a logic.<\/span>
\n<\/span>
\n<\/span>It is well known that the class of perfect information games with <\/span>omega regular objectives encompass model checking games of several <\/span>interesting logics including modal logic, first order logic and its <\/span>fixed point extensions. It is well behaved in terms of computational <\/span>and logical definability questions and also robust in the sense that <\/span>these properties remain invariant under natural extensions. However, <\/span>moving to the class of imperfect information games, most of the nice <\/span>algorithmic and definability properties break down. We look at a <\/span>natural subclass of imperfect information games for which the <\/span>computational questions remain tractable.<\/span><\/p><\/blockquote>\n<\/td>\n<\/tr>\n

<\/td>\n<\/tr>\n
15:40 – 15:50<\/td>\n<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
15:50 – 16:00<\/td>\n<\/td>\nCoffee break<\/td>\n<\/tr>\n
\n
\n<\/td>\n<\/tr>\n
16:00 – 16:40<\/td>\n<\/td>\nRineke Verbrugge<\/strong><\/span><\/td>\n<\/tr>\n
<\/td>\n<\/td>\n <\/em> <\/em><\/strong><\/strong>(Groningen)
\n<\/em><\/td>\n<\/tr>\n
<\/td>\n<\/td>\nReasoning strategies: Logical and cognitive views<\/span><\/td>\n<\/tr>\n
\n
\n
\n
\n
This talk presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. The focus is backward induction, a principle which is purported to follow from common knowledge of rationality by Zermelo\u2019s theorem. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracker study by Ben Meijering, it has turned out that even human subjects who produce the outwardly correct \u2018backward induction answer\u2019 may use a different internal reasoning strategy to achieve it. This paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics may lead to precisely distinguishing different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. This talk is based on work with Ben Meijering and Sujata Ghosh.<\/span><\/div>\n<\/div>\n<\/div>\n<\/blockquote>\n<\/td>\n<\/tr>\n
<\/td>\n<\/tr>\n
16:40 – 16:50<\/td>\n<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
<\/td>\n<\/tr>\n
16:50 – 17:00<\/td>\n<\/td>\nGeneral Discussion<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Thursday 24 February we will have a special LIRa session on Logic and Strategies in Groningen.
\nThe session will start at 14:00 hrs, and will take place in Muntinggebouw, Entrance Grote Kruisstraat 2\/1, Room M.0074, Groningen (a map pf the location can be found here ). The special session will have the following […]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-819","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/819","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=819"}],"version-history":[{"count":9,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/819\/revisions"}],"predecessor-version":[{"id":828,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/819\/revisions\/828"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=819"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=819"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=819"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}