{"id":1047,"date":"2011-09-12T13:00:58","date_gmt":"2011-09-12T13:00:58","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1047"},"modified":"2011-09-20T03:23:40","modified_gmt":"2011-09-20T03:23:40","slug":"seminar-session-on-september-19","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2011\/09\/seminar-session-on-september-19\/","title":{"rendered":"Seminar Session on September 19"},"content":{"rendered":"<p><strong>Monday, September 19th<\/strong> at <strong>14:00<\/strong> hrs we will have another session of our seminar: <strong><a href=\"http:\/\/www.imm.dtu.dk\/English\/About_IMM\/Employees.aspx?lg=showcommon&amp;id=27351&amp;type=publications\">Mikkel Birkegaard Andersen<\/a><\/strong> and <strong><a href=\"http:\/\/www.dtu.dk\/Service\/Telefonbog.aspx?lg=showcommon&#038;type=person&#038;id=31230\">Martin Holm Jensen<\/a><\/strong> (Technical University of Denmark) will present their work entitled <strong><a href=\"http:\/\/www2.imm.dtu.dk\/~tb\/bolaea_epis.pdf\">Epistemic Planning<\/a><\/strong> with the below abstract.<\/p>\n<div>\n<p>The meeting will take place in room <strong>G2.02<\/strong> in <strong>Science Park 904<\/strong>.<\/p>\n<h3>Abstract<\/h3>\n<p>Planning is a method for reasoning about one&#8217;s actions with the intent of reaching a desired state of affairs. One way to formalize a planning problem is to define an initial state, a formula describing one or more goal states, and a set of actions. Actions are described by <em>preconditions<\/em>, what must be true for the action to be <em>applicable<\/em>, and the <em>effects<\/em> of applying it. Dynamic Epistemic Logic (DEL) offers a framework for reasoning about the evolution of a (knowledge) system; however DEL does not readily support certain important aspects of planning. In particular, agents must hypothesize about (or entertain the idea of) certain future outcomes while planning, without necessarily knowing which specific outcome will come to pass while acting in the system.<\/p>\n<p>In the first part of this talk we will introduce planning with nondeterminism and partial observability and relate this to similar concepts in Dynamic Epistemic Logic. In the second part we will discuss the extensions to DEL necessary to carry out planning; in particular we will consider notions of <em>run time<\/em> and <em>plan time<\/em> knowledge as well as the notion of a <em>subjective perspective<\/em>. In the last part we will discuss the added benefits of casting planning in this setting.<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Monday, September 19th at 14:00 hrs we will have another session of our seminar: Mikkel Birkegaard Andersen and Martin Holm Jensen (Technical University of Denmark) will present their work entitled Epistemic Planning with the below abstract.<\/p>\n<p>The meeting will take place in room G2.02 in Science Park 904.<br \/>\nAbstract<br \/>\nPlanning is a method for reasoning about one&#8217;s actions [&#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-1047","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\/1047","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=1047"}],"version-history":[{"count":14,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1047\/revisions"}],"predecessor-version":[{"id":1065,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1047\/revisions\/1065"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1047"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1047"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1047"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}