{"id":813,"date":"2011-02-09T17:37:08","date_gmt":"2011-02-09T17:37:08","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=813"},"modified":"2011-02-09T17:39:22","modified_gmt":"2011-02-09T17:39:22","slug":"seminar-session-on-february-16","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2011\/02\/seminar-session-on-february-16\/","title":{"rendered":"Seminar Session on February 16"},"content":{"rendered":"<p><strong>Wednesday, February 16th<\/strong> at <strong>16:00<\/strong> hrs we will  have another session of our seminar: <strong>Mehrnoosh Sadrzadeh<\/strong> (Oxford) will present her work entitled <strong>Knowing &#8221;where you are&#8221; using \u00a0update logics<\/strong> with the below abstract.<\/p>\n<div>\n<p>The meeting will take place in room <strong>A106<\/strong> in <strong>Science Park  904<\/strong>.<\/p>\n<h3>Abstract<\/h3>\n<p>Joint work with P.Panangaden, Doina Precup, Caitlin Philips, Alex Horn<\/p>\n<div>It has happened to all of us and will happen again: ending up in a new city with a map and trying to locate ourselves.\u00a0 Why  is it so hard? Isn&#8217;t all the\u00a0information we need already in the map? These kinds of scenarios are also of importance\u00a0to AI,\u00a0\u00a0to model robot  navigation protocols, e.g. for\u00a0 Rescuebots. I will present a solution  based on an update logic.<\/div>\n<div>In recent joint work, we used a dynamic epistemic-like machinery to model and reason about this  kind of learning. Starting with an algebraic approach to DEL, developed  in previous work (Baltag, Coecke, Sadrzadeh), we discovered that we  need a new learning inequality that used converse actions. In a  Kripke-style semantics,\u00a0 this inequality corresponds to\u00a0 a new way of setting the accessibility relations in the updated model,\u00a0 after the &#8216;moving&#8217;\u00a0 or &#8216;relocating&#8217; action has happened.<\/div>\n<div>I\u00a0will also try and show how we can automate the above reasoning and\u00a0 why we did not succeed in using\u00a0 the DEL-with-postcondition setting of van Ditmarsch et al\u00a0 and van Benthem, van Eijk et al.<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Wednesday, February 16th at 16:00 hrs we will  have another session of our seminar: Mehrnoosh Sadrzadeh (Oxford) will present her work entitled Knowing &#8221;where you are&#8221; using \u00a0update logics with the below abstract.<\/p>\n<p>The meeting will take place in room A106 in Science Park  904.<br \/>\nAbstract<br \/>\nJoint work with P.Panangaden, Doina Precup, Caitlin Philips, Alex Horn<br \/>\nIt [&#8230;]<\/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-813","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\/813","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=813"}],"version-history":[{"count":5,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/813\/revisions"}],"predecessor-version":[{"id":818,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/813\/revisions\/818"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=813"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=813"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=813"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}