{"id":4093,"date":"2020-08-14T15:03:58","date_gmt":"2020-08-14T13:03:58","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=4093"},"modified":"2021-01-06T19:14:52","modified_gmt":"2021-01-06T18:14:52","slug":"lira-session-online-only-malvin-gattinger","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2020\/08\/lira-session-online-only-malvin-gattinger\/","title":{"rendered":"LIRa session (online only): Malvin Gattinger"},"content":{"rendered":"<p>Speaker: <a href=\"https:\/\/malv.in\/\">Malvin Gattinger<\/a><\/p>\n<p>Date and Time: Thursday, September&nbsp;24th 2020, 16:30-18:30, <a href=\"https:\/\/www.timeanddate.com\/time\/zone\/netherlands\/amsterdam\" target=\"_blank\" rel=\"noopener noreferrer\">Amsterdam time<\/a>.<\/p>\n<p>Venue: <strong><a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a><\/strong>.<\/p>\n<p><strong>Title: Shifting perspectives without possible worlds<\/strong><\/p>\n<p><em>Abstract<\/em>. Recent work on Epistemic Planning uses Dynamic Epistemic Logic to solve multi-agent planning problems. For this it is often necessary to compute perspective shifts to let agents take into account the knowledge of others. So far, these perspective shifts are usually defined on explicit Kripke models which may grow exponentially.<\/p>\n<p>This talk will discuss methods to compute perspective shifts without explicit Kripke models. Instead, we will define perspective shifting on symbolic structures and succinct models. Both are compact representations from previous literature showing how to speed up model checking DEL. Our new definitions thus aim to make multi-agent epistemic planning more efficient in the future. Time permitting, we will also show how symbolic perspective shifting is implemented in <a href=\"https:\/\/github.com\/jrclogic\/smcdel\">SMCDEL<\/a>.<\/p>\n<p>See\u00a0<a href=\"https:\/\/video.uva.nl\/media\/LIRa+seminar+on+24-09-2020+by+Malvin+Gattinger+\/0_isqrkv9a\">here<\/a>\u00a0for the recording of the talk.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Malvin Gattinger<br \/>\nDate and Time: Thursday, September&nbsp;24th 2020, 16:30-18:30, Amsterdam time.<br \/>\nVenue: online.<br \/>\nTitle: Shifting perspectives without possible worlds<br \/>\nAbstract. Recent work on Epistemic Planning uses Dynamic Epistemic Logic to solve multi-agent planning problems. For this it is often necessary to compute perspective shifts to let agents take into account the knowledge of others. So far, these perspective [&#8230;]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-4093","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\/4093","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\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=4093"}],"version-history":[{"count":6,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4093\/revisions"}],"predecessor-version":[{"id":4222,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/4093\/revisions\/4222"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=4093"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=4093"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=4093"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}