{"id":3733,"date":"2017-11-28T20:53:14","date_gmt":"2017-11-28T12:53:14","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=3733"},"modified":"2018-10-14T22:46:22","modified_gmt":"2018-10-14T14:46:22","slug":"thomas-bolander-epistemic-planning-with-implicit-coordination-2017-12-1","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2017\/11\/thomas-bolander-epistemic-planning-with-implicit-coordination-2017-12-1\/","title":{"rendered":"Thomas Bolander: Epistemic Planning With Implicit Coordination [2017-12-1]"},"content":{"rendered":"

\"\"<\/a>\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c75\u671f<\/strong><\/p>\n

Speaker:<\/strong>\u00a0Thomas Bolander\u00a0(Technical University of Denmark)<\/a>
\nDate & Time:<\/strong> 1 December 2017 (Friday), 14:30 \u2013 17:30
\nPlace:<\/strong> Room 259, Main Teaching Building, Zhejiang University
\nTitle:<\/strong> Epistemic Planning With Implicit Coordination<\/p>\n

Abstract:<\/strong>
\nAutomated planning is a branch of artificial intelligence concerned with computing plans (sequences of actions) leading to some desired goal. An agent (human or robot) could e.g. have the goal of picking up a parcel at the postal office, and then the problem becomes to find a succesful sequence of actions achieving this. Epistemic planning is the enrichment of planning with epistemic notions, that is, knowledge and beliefs. The agent might have to reason about epistemic aspects such as: Do I know at which postal office the parcel is? If not, who would be relevant to ask? Maybe the parcel is a birthday present for my daughter, and I want to ensure that she doesn’t get to know, and have to plan my actions accordingly.<\/p>\n

Dynamic epistemic logic (DEL) offers a very expressive formal framework for epistemic planning. In the talk, I will present a version of DEL-based epistemic planning in which a group of agents are individually planning towards a joint goal, and where coordination is only achieved implicitly. Implicit coordination means that the agents are not negotiating or announcing their respective plans, but coordination is achieved exclusively by observing the actions of others (including announcement actions). Such implicit coordination is often observed among humans collaborating to achieve a joint goal. We investigate the conditions under which the goal can be guaranteed to be reached by implicitly coordinating agents.<\/p>\n

This is joint work with Thorsten Engesser, Robert Mattm\u00fcller and Bernhard Nebel.<\/p>\n

Reference 1<\/a> <\/strong>
\nReference 2 <\/strong><\/a><\/p>\n

\"\"<\/a> \"\"<\/a> \"\"<\/a> \"\"<\/a><\/p>\n

\u4f1a\u540e\u62a5\u9053\uff1a<\/strong><\/p>\n

2017\u5e7412\u67081\u65e5\u4e0b\u5348\uff0c\u7b2c75\u671f \u201c\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u201d\u9080\u8bf7\u7684\u4e3b\u8bb2\u4eba\u662f\u4e39\u9ea6\u6280\u672f\u5927\u5b66\uff08DTU\uff09\u5e94\u7528\u6570\u5b66\u548c\u8ba1\u7b97\u673a\u79d1\u5b66\u7684\u526f\u6559\u6388Thomas Bolander\u3002\u4ed6\u7684\u7814\u7a76\u9886\u57df\u662f\u903b\u8f91\u4e0e\u4eba\u5de5\u667a\u80fd\uff0c\u4e3b\u8981\u4fa7\u91cd\u4e8e\u4f7f\u7528\u903b\u8f91\u6765\u523b\u753b\u5177\u6709\u793e\u4f1a\u6027\u7684\u4eba\u5de5\u667a\u80fd\uff0c\u4f7f\u5f97\u673a\u5668\u7075\u6d3b\u5730\u9002\u5e94\u793e\u4f1a\u573a\u666f\u3002Bolander\u672c\u6b21\u62a5\u544a\u7684\u4e3b\u9898\u662f\u201c\u5185\u9690\u534f\u8c03\u7684\u8ba4\u77e5\u89c4\u5212\u201d\uff0c\u4ed6\u9996\u5148\u660e\u786e\u7684\u63d0\u51fa\u4e86\u7814\u7a76\u7684\u95ee\u9898\uff0c\u5e76\u8be6\u7ec6\u5b9a\u4e49\u4e86\u6d89\u53ca\u5230\u7684\u57fa\u672c\u6982\u5ff5\u548c\u65b9\u6cd5\uff1b\u5176\u6b21\u5728\u52a8\u6001\u8ba4\u77e5\u903b\u8f91\u7684\u57fa\u7840\u4e0a\u5efa\u6784\u57fa\u672c\u7684\u534f\u8c03\u8ba4\u77e5\u6a21\u578b\u548c\u66f4\u65b0\u89c4\u5219\uff0c\u5728\u6b64\u57fa\u7840\u4e0a\u6269\u5c55\u4e3a\u5185\u9690\u534f\u8c03\u7684\u8ba4\u77e5\u89c4\u5212\u6a21\u578b\uff0c\u5e76\u4fee\u6b63\u4e86\u66f4\u65b0\u89c4\u5219\u3002\u5728\u62a5\u544a\u4e2d\u4ed6\u63d0\u51fa\u5185\u9690\u534f\u8c03\u662f\u6307\u591a\u4e2a\u4e3b\u4f53\u57fa\u4e8e\u5171\u540c\u76ee\u6807\u7684\u524d\u63d0\uff0c\u901a\u8fc7\u89c2\u5bdf\u5176\u4ed6\u4eba\u7684\u884c\u4e3a\uff08\u5305\u62ec\u6697\u793a\u3001\u5ba3\u544a\u7b49\uff09\u5bf9\u81ea\u5df1\u548c\u4ed6\u4eba\u7684\u884c\u52a8\u8fdb\u884c\u9690\u542b\u7684\u63a8\u7406\u8fc7\u7a0b\uff0c\u800c\u4e0d\u6d89\u53ca\u76f4\u63a5\u7684\u534f\u5546\u8ba8\u8bba\u7b49\u884c\u52a8\u3002\u8fd9\u79cd\u534f\u8c03\u65b9\u5f0f\u4e0e\u7ecf\u5178\u7684\u3001\u7531\u516c\u5171\u77e5\u8bc6\uff08common knowledge\uff09\u6240\u523b\u753b\u7684\u534f\u8c03\u65b9\u5f0f\u4e0d\u540c\uff0c\u5b83\u901a\u8fc7\u5c06\u6240\u6709\u53ef\u80fd\u7684\u6c9f\u901a\u76f4\u63a5\u5efa\u6a21\u4e3a\u53ef\u89c4\u5212\u7684\u884c\u4e3a\uff0c\u5e76\u4f9d\u9760\u81ea\u4e3b\u6027\u4e3b\u4f53\u89c6\u89d2\u8f6c\u53d8\u7684\u80fd\u529b\uff0c\u66f4\u52a0\u5408\u7406\u7684\u89e3\u51b3\u591a\u4e3b\u4f53\u4e4b\u95f4\u7684\u5185\u9690\u534f\u8c03\u95ee\u9898\u3002\u591a\u4e3b\u4f53\u7cfb\u7edf\u7684\u91cd\u8981\u4efb\u52a1\u662f\u591a\u4e2a\u81ea\u4e3b\u6027\u4e3b\u4f53\u5408\u4f5c\u5b9e\u73b0\u4e00\u4e2a\u8054\u5408\u76ee\u6807\uff08joint goal\uff09\uff0c\u5728\u6bcf\u4e00\u4e2a\u4efb\u52a1\u4e2d\uff0c\u6bcf\u4e2a\u4e3b\u4f53\u4e0d\u4ec5\u9700\u8981\u63a8\u7406\u81ea\u5df1\u7684\u884c\u52a8\uff0c\u4e5f\u9700\u8981\u63a8\u7406\u5176\u4ed6\u4e3b\u4f53\u7684\u6709\u52a9\u4e8e\u8fbe\u6210\u76ee\u6807\u7684\u884c\u52a8\u3002<\/p>\n

Bolander\u57fa\u4e8e\u52a8\u6001\u8ba4\u77e5\u903b\u8f91\uff08DEL\uff09\u63d0\u51fa\u4e86\u5185\u9690\u534f\u8c03\u7684\u8ba4\u77e5\u89c4\u5212\u6846\u67b6\u3002\u9996\u5148\u4ed6\u5728\u7ecf\u5178\u6846\u67b6\u57fa\u7840\u4e0a\u7ed9\u51fa\u4e86\u4e00\u79cd\u65b0\u7684\u52a8\u6001\u516c\u5f0f\uff08a\uff09\u03c6\uff1a\u5b83\u8868\u793a\u82e5\u4e00\u7c7b\u52a8\u4f5ca\u53ef\u5e94\u7528\uff08applicable\uff09\uff0c\u5219\u03c6\u6210\u7acb\u3002\u540c\u65f6\u4ed6\u7528\u79ef\u66f4\u65b0\u6765\u5177\u4f53\u8868\u793a\u5f53\u67d0\u4e00\u7c7b\u52a8\u4f5c\u5e94\u7528\u5728\u5f53\u524d\u72b6\u6001\u540e\u4ea7\u751f\u7684\u540e\u7ee7\u72b6\u6001\u3002\u5176\u6b21\uff0c\u4e3a\u4e86\u8fdb\u4e00\u6b65\u523b\u753b\u591a\u4e3b\u4f53\u4e4b\u95f4\u7684\u534f\u8c03\u89c4\u5212\u4efb\u52a1\uff0c\u4ed6\u5f15\u5165\u03c9\uff08a\uff09\u6765\u8868\u793a\u6267\u884c\u52a8\u4f5ca\u7684\u4e3b\u4f53\uff0c\u901a\u8fc7\u8fd9\u79cd\u65b9\u5f0f\u5b9a\u4e49\u7684\u6bcf\u4e00\u4e2a\u52a8\u4f5c\u90fd\u6709\u552f\u4e00\u7684\u6267\u884c\u4e3b\u4f53\u3002\u518d\u6b21\uff0c\u4ed6\u63d0\u51fa\u534f\u8c03\u89c4\u5212\u7684\u6700\u7b80\u5355\u7684\u89e3\u51b3\u65b9\u6848\u53ef\u4ee5\u8868\u793a\u4e3a\u4e00\u7cfb\u5217\u52a8\u4f5c\u7684\u6709\u5e8f\u5e8f\u5217 (a1<\/sub>, . . . ,an<\/sub>)\uff08\u6807\u51c6\u5e8f\u5217\u89c4\u5212\uff09\uff0c\u5176\u4e2d\u8981\u6c42\u5728\u521d\u59cb\u72b6\u6001\u4e0a\u6267\u884c\u7684\u6bcf\u4e2a\u52a8\u4f5c\u90fd\u5fc5\u987b\u662f\u53ef\u5e94\u7528\u7684\uff0c\u5e76\u4f7f\u5f97\u6700\u7ec8\u72b6\u6001\u6ee1\u8db3\u76ee\u6807\u3002\u6700\u7ec8\uff0c\u5728\u6b64\u57fa\u7840\u4e0a\uff0c\u4ed6\u9012\u5f52\u5b9a\u4e49\u4e86\u5185\u9690\u534f\u8c03\u5e8f\u5217 (a1<\/sub>, . . . ,an<\/sub>)\uff0c\u5176\u4e2d\u03c9\uff08a1<\/sub>\uff09\u5fc5\u987b\u77e5\u9053a1<\/sub>\u662f\u53ef\u5e94\u7528\u7684\uff0c\u5e76\u4e14\u53ef\u4ee5\u786e\u4fdd (a2<\/sub>, . . . ,an<\/sub>) \u4e5f\u662f\u5185\u9690\u534f\u8c03\u5e8f\u5217\u3002\u6362\u53e5\u8bdd\u8bf4\uff0c\u03c9\uff08a1<\/sub>\uff09\u77e5\u9053\u5f53a1 <\/sub>\u88ab\u6267\u884c\u540e\uff0c\u53ef\u4ee5\u786e\u4fdd\u03c9\uff08a2<\/sub>\uff09\u77e5\u9053\u52a8\u4f5ca2 <\/sub>\u662f\u53ef\u4ee5\u5e94\u7528\u7684\uff0c\u5e76\u4e14\u5728\u6267\u884c\u4e86\u52a8\u4f5ca2<\/sub>\u4e4b\u540e\u6709\u52a9\u4e8e\u6700\u7ec8\u76ee\u6807\u7684\u5b9e\u73b0\uff0c\u540e\u7eed\u7684\u52a8\u4f5c\u6267\u884c\u8005\u4e5f\u6ee1\u8db3\u6b64\u8981\u6c42\u3002<\/p>\n

\u5bf9\u672c\u6b21\u62a5\u544a\u7684\u8bc4\u4ef7\uff0c\u4ece\u62a5\u544a\u4eba\u6765\u770b\uff0cBolander\u8868\u8fbe\u98ce\u8da3\u5e7d\u9ed8\uff0c\u8fc7\u7a0b\u4e2d\u7ed3\u5408\u751f\u52a8\u7684\u6848\u4f8b\u5206\u6790\uff0c\u4e0d\u4ec5\u6e05\u6670\u5730\u9610\u8ff0\u4e86\u62a5\u544a\u7684\u5185\u5bb9\uff0c\u800c\u4e14\u5341\u5206\u6ce8\u91cd\u548c\u540c\u5b66\u4eec\u7684\u4ea4\u6d41\uff0c\u5bf9\u5728\u5ea7\u7684\u540c\u5b66\u6765\u8bf4\u5177\u6709\u5f88\u5927\u7684\u542f\u53d1\u6027\uff0c\u662f\u4e00\u573a\u975e\u5e38\u7cbe\u5f69\u7684\u62a5\u544a\uff1b\u4ece\u73b0\u573a\u6c14\u6c1b\u6765\u770b\uff0c\u5728\u62a5\u544a\u8fc7\u7a0b\u4e2d\uff0c\u540c\u5b66\u548c\u8001\u5e08\u90fd\u79ef\u6781\u7684\u53c2\u4e0e\u4e86\u8ba8\u8bba\uff0c\u4e89\u76f8\u53d1\u8868\u81ea\u5df1\u7684\u60f3\u6cd5\uff0c\u6c1b\u56f4\u975e\u5e38\u81ea\u7531\uff1b\u4ece\u83b7\u76ca\u7a0b\u5ea6\u6765\u770b\uff0c\u672c\u6b21\u62a5\u544a\u7684\u53d7\u4f17\u9762\u6bd4\u8f83\u5e7f\uff0c\u5927\u90e8\u5206\u540c\u5b66\u90fd\u53ef\u4ee5\u6709\u8f83\u597d\u7684\u6536\u83b7\uff0c\u4e00\u65b9\u9762\u662f\u903b\u8f91\u65b9\u6cd5\u7684\u6b63\u786e\u5e94\u7528\uff0c\u53e6\u4e00\u65b9\u9762\u662f\u7814\u7a76\u7684\u521b\u65b0\u6027\uff0c\u90fd\u6709\u503c\u5f97\u6211\u4eec\u5b66\u4e60\u7684\u5730\u65b9\u3002<\/p>\n

\uff08\u676d\u9896\u9896 \u62a5\u9053\uff09<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"

\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c75\u671f Speaker:\u00a0Thomas Bolander\u00a0(Technical University of Denmark) Date & Time: 1 December 2017 (Friday), 14:30 \u2013 17:30 Place: Room 259, Main Teaching Building, Zhejiang University Title: Epistemic Planning With Implicit Coordination Abstract: Automated planning is a branch of artificial intelligence concerned …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-3733","post","type-post","status-publish","format-standard","hentry","category-invited-talks"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/3733","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=3733"}],"version-history":[{"count":15,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/3733\/revisions"}],"predecessor-version":[{"id":3845,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/3733\/revisions\/3845"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=3733"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=3733"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=3733"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}