{"id":2120,"date":"2013-11-17T10:58:48","date_gmt":"2013-11-17T10:58:48","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2120"},"modified":"2013-11-17T15:03:52","modified_gmt":"2013-11-17T15:03:52","slug":"logiciclira-session-dominik-klein","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2013\/11\/logiciclira-session-dominik-klein\/","title":{"rendered":"LIRa Session: Dominik Klein"},"content":{"rendered":"<p>On Thursday,\u00a0November 21,<strong> <\/strong>we will have a LIRa session with\u00a0<strong>Dominik Klein<\/strong>.<\/p>\n<p>Everyone is cordially invited!<\/p>\n<div>\n<p>Speaker:\u00a0<strong>Dominik Klein <\/strong>(University of Tilburg)<br \/>\nTitle:\u00a0<strong>Reasoning about Knowledge in Games<\/strong><br \/>\nDate and Time: Thursday, November 21, 2013,\u00a0<strong>15:30-17:30<\/strong><br \/>\nVenue: Science Park 107, Room\u00a0<strong>F1.15<\/strong><\/p>\n<p>Abstract:<\/p>\n<p>In this talk, we are interested in epistemic logic as a language to reason about interactive situations. The talk is divided into two, interrelated parts.<\/p>\n<p><span style=\"font-size: 16px;\">The first part of the talk deals with the relationship between epistemic logic and epistemic game theory. Generally, the play of a game does not only depend upon the game structure, but also upon the epistemic status of the players involved. Therefore epistemic game theory has developed models of game situations that incorporate the epistemic status of agents and uncertainty thereof by an explicit parameter, the agents epistemic type.<\/span><\/p>\n<p><span style=\"font-size: 16px;\">Especially for multi round games, such models  need to be rich enough to account  for all kinds of dynamics that could occur: The moves players make over time as well as in-play communication or external events influencing the game. Thus,   realistic  epistemic game models tend to become very complex and unhandy, especially for sequential games.<\/span><\/p>\n<p><span style=\"font-size: 16px;\">On the other hand, dynamic epistemic logic has developed methods such as product updates to incorporate informational change from outside a given model. These methods  allow  for simple and intuitive representations of an initial situations while still maintaining the possibility to allow for all kinds of informational events.<\/span><\/p>\n<p><span style=\"font-size: 16px;\">In this talk we show how to connect epistemic logic to epistemic game theory, thereby allowing for smaller and more intuitive models of game situations.<\/span><\/p>\n<p><span style=\"font-size: 16px;\">In the second part of the talk, we focus on limited reasoning about an interactive situation. Agents might not be interested in the full wealth of facts  expressible in the langauge of epistemic logic about a certain situation. Due to  interest or cognitive limitations, they might only be intersted in a certain kind of statements, for instance positive knowledge about some specific fact. In this part of the talk we study how the fragment of the  language an agent picks for reasoning influences his expressive power.<\/span><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>On Thursday,\u00a0November 21, we will have a LIRa session with\u00a0Dominik Klein.<br \/>\nEveryone is cordially invited!<\/p>\n<p>Speaker:\u00a0Dominik Klein (University of Tilburg)<br \/>\nTitle:\u00a0Reasoning about Knowledge in Games<br \/>\nDate and Time: Thursday, November 21, 2013,\u00a015:30-17:30<br \/>\nVenue: Science Park 107, Room\u00a0F1.15<br \/>\nAbstract:<br \/>\nIn this talk, we are interested in epistemic logic as a language to reason about interactive situations. The talk is divided into two, interrelated [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-2120","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\/2120","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=2120"}],"version-history":[{"count":10,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2120\/revisions"}],"predecessor-version":[{"id":2122,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2120\/revisions\/2122"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2120"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2120"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2120"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}