{"id":1899,"date":"2013-04-02T18:34:22","date_gmt":"2013-04-02T16:34:22","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1899"},"modified":"2015-10-06T14:59:50","modified_gmt":"2015-10-06T12:59:50","slug":"lira-session-jan-van-eijck","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2013\/04\/lira-session-jan-van-eijck\/","title":{"rendered":"LIRa Session: Jan van Eijck"},"content":{"rendered":"<p><em><strong>Please note that from April on the LIRa seminar will be held on TUESDAYS.<\/strong><\/em><\/p>\n<p>On Tuesday, April 9, we will have a LIRa session with\u00a0Jan van Eijck.<\/p>\n<p>Everyone is cordially invited!<\/p>\n<p>Speaker:<strong> Jan van Eijck <\/strong>(University of Amsterdam)<br \/>\nTitle:\u00a0<strong>Model Checking Uncertainty about Probability<\/strong><br \/>\nRoom: Science Park 107 (NEW ILLC LOCATION), room F1.15<br \/>\nTime: <strong>TUESDAY<\/strong>, 9 April, 15:30-17:30<\/p>\n<p>Abstract:\u00a0This talk proposes a logic for reasoning about (multi-agent) epistemic\u00a0probability models, and for epistemic probabilistic model checking.<\/p>\n<p>Epistemic probability models are multi-agent Kripke models that assign\u00a0to each agent an equivalence relation on worlds and an equivalence\u00a0relation on lotteries over worlds, where a lottery over (finite) world\u00a0set W is a function from W to the positive rational numbers.<\/p>\n<p>Uncertainty about probability is modelled as equivalence of\u00a0lotteries. The difference with the usual approach is that probability\u00a0is linked to knowledge rather than belief, and that &#8220;agent A knows\u00a0that F&#8221; is equated with &#8220;agent A assigns probability 1 to F.&#8221;<\/p>\n<p>To motivate our approach, we formulate and prove a Certainty Theorem,\u00a0stating that certainty in an epistemic probability model M corresponds\u00a0to knowledge in the epistemic model that results when all lottery\u00a0information gets erased from M. It follows immediately from this that\u00a0the certainty operator in epistemic probability logic is an S5\u00a0operator.<\/p>\n<p>We define a generic update mechanism for epistemic probability logic\u00a0by means of update models that are like epistemic probability models,\u00a0but with their valuations replaced by precondition\/action pairs. The\u00a0actions assign lotteries that are in turn used to recompute the\u00a0lotteries of the input model. E.g., the act of drawing a marble from\u00a0an urn containing m white and n black marbles is viewed as a lottery\u00a0that assigns m to white and n to black.<\/p>\n<p>If there is time, we will end with an &#8220;oratio pro demo&#8221;, a short\u00a0demonstration with PRO-DEMO, a model checker for epistemic probability\u00a0logic that can be used to keep track of information flow about\u00a0aleatory acts among multiple agents.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Please note that from April on the LIRa seminar will be held on TUESDAYS.<br \/>\nOn Tuesday, April 9, we will have a LIRa session with\u00a0Jan van Eijck.<br \/>\nEveryone is cordially invited!<br \/>\nSpeaker: Jan van Eijck (University of Amsterdam)<br \/>\nTitle:\u00a0Model Checking Uncertainty about Probability<br \/>\nRoom: Science Park 107 (NEW ILLC LOCATION), room F1.15<br \/>\nTime: TUESDAY, 9 April, 15:30-17:30<br \/>\nAbstract:\u00a0This talk proposes a logic [&#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-1899","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\/1899","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=1899"}],"version-history":[{"count":11,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1899\/revisions"}],"predecessor-version":[{"id":1944,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1899\/revisions\/1944"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1899"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1899"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1899"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}