{"id":1410,"date":"2019-03-08T13:20:52","date_gmt":"2019-03-08T05:20:52","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=1410"},"modified":"2019-03-08T17:34:44","modified_gmt":"2019-03-08T09:34:44","slug":"talk-logics-of-knowing-how-yanjing-wang-2","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/talk-logics-of-knowing-how-yanjing-wang-2\/","title":{"rendered":"[talk] Logics of Knowing How (Yanjing Wang)"},"content":{"rendered":"<blockquote><p><strong>Time:<\/strong> 2019 March. 29,\u00a013:30-16:00<br \/>\n<strong>Venue:<\/strong>\u00a0Xinzhai 324, Tsinghua Univ.<\/p><\/blockquote>\n<p><strong>Speaker:<\/strong>\u00a0<b>Yanjing Wang<\/b>\u00a0(Peking University)<\/p>\n<p><img decoding=\"async\" loading=\"lazy\" class=\"size-large wp-image-1417 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG6-400x267.jpeg\" alt=\"\" width=\"400\" height=\"267\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG6-400x267.jpeg 400w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG6-200x133.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG6-768x512.jpeg 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2019\/03\/WechatIMG6.jpeg 1600w\" sizes=\"(max-width: 400px) 100vw, 400px\" \/><\/p>\n<p><strong>Title:\u00a0Logics of Knowing How<\/strong><\/p>\n<p><strong>Abstract:\u00a0<\/strong>Standard epistemic logic studies the inference patterns regarding propositional knowledge expressed by &#8220;knowing that&#8221;. However, knowledge is also expressed in natural language by &#8220;knowing how&#8221;, &#8220;knowing why&#8221;, &#8220;knowing what&#8221;, and so on. The &#8220;knowing how&#8221; expressions are in particular interesting for not only philosophers but also linguists and AI researchers. In this talk, I survey the recent developments of the logic of knowing how inspired by discussions in epistemology and automated planning in AI. We propose several types of semantics of the \u201cknowing how\u201d operator based on various notions of planning, and then unify them in a very general framework. For each of them, we show a complete axiomatization of the logic and its decidability. We conclude with further directions.<\/p>\n<p><strong>Key References:\u00a0<\/strong><\/p>\n<ul>\n<li class=\"m_1806651606251134195m_5829228995436553250gmail-ql-long-72112\">Yanjing Wang: A logic of goal-directed knowing how,\u00a0<em>Synthese\u00a0<\/em>\u00a0195 (10): 4419-4439. 2018.<\/li>\n<li class=\"m_1806651606251134195m_5829228995436553250gmail-ql-long-72112\">Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang: Strategically knowing how. In\u00a0<em>Proceedings of IJCAI<\/em>\u00a02017:1031-1038, AAAI<\/li>\n<li>Yanjing Wang: Beyond knowing that: a new generation of epistemic logics, in\u00a0<i>Jaakko Hintikka on knowledge and game-theoretical semantics<\/i>, 499-533, (2018) Springer<\/li>\n<\/ul>\n<p><strong>CV:<\/strong><\/p>\n<p>\u738b\u5f66\u6676\uff0c\u963f\u59c6\u65af\u7279\u4e39\u5927\u5b66\/CWI\u903b\u8f91\u5b66\u535a\u58eb(2010)\uff0c<wbr \/>\u73b0\u4efb\u5317\u4eac\u5927\u5b66\u54f2\u5b66\u7cfb\u957f\u8058\u526f\u6559\u6388\uff0c\u526f\u7cfb\u4e3b\u4efb\uff0c<wbr \/>\u5317\u4eac\u5927\u5b66\u54f2\u5b66\u4e0e\u4eba\u7c7b\u672a\u6765\u4e2d\u5fc3\u526f\u4e3b\u4efb\uff0c<wbr \/>\u4e2d\u56fd\u903b\u8f91\u5b66\u4f1a\u73b0\u4ee3\u903b\u8f91\u4e13\u4e1a\u59d4\u5458\u4f1a\u79d8\u4e66\u957f\uff0c<wbr \/>\u4e2d\u56fd\u6570\u5b66\u5b66\u4f1a\u6570\u7406\u903b\u8f91\u4e13\u4e1a\u59d4\u5458\u4f1a\u59d4\u5458\u3002<wbr \/>\u5165\u9009\u56fd\u5bb6\u4e07\u4eba\u8ba1\u5212\u9752\u5e74\u62d4\u5c16\u4eba\u624d\u652f\u6301\u8ba1\u5212\u3002\u4e13\u957f\u4e3a\u6a21\u6001\u903b\u8f91\uff08<wbr \/>Modal Logic\uff09\uff0c\u7279\u522b\u662f\u77e5\u8bc6\u903b\u8f91\uff08Epistemic Logic\uff09\uff0c\u5728Synthese\u3001Artificial Intelligence\u3001Review of Symbolic Logic\u3001Advances in Modal Logic\u3001IJCAI\u3001TARK\u7b49\u56fd\u9645\u4e00\u6d41\u54f2\u5b66\u3001\u903b\u8f91\u5b66\u3001<wbr \/>\u4eba\u5de5\u667a\u80fd\u671f\u520a\u53ca\u9876\u7ea7\u4f1a\u8bae\u8bba\u6587\u96c6\u53d1\u8868\u82f1\u6587\u8bba\u658740\u4f59\u7bc7\u3002<wbr \/>\u8fd1\u4e94\u5e74\u6765\u7cfb\u7edf\u6027\u7684\u63d0\u51fa\u5e76\u63a8\u52a8\u4e86\u5173\u4e8e\u77e5\u9053\u662f\u5426\u3001\u77e5\u9053\u5982\u4f55\u3001<wbr \/>\u77e5\u9053\u4e3a\u4f55\u3001\u77e5\u9053\u662f\u8c01\u7b49\u77e5\u8bc6\u8868\u8fbe\u5f0f\u7684\u65b0\u4e00\u4ee3\u77e5\u8bc6\u903b\u8f91\u7684\u7814\u7a76\uff0c<wbr \/>\u63d0\u51fa\u4e86\u91cf\u8bcd\u4e0e\u6a21\u6001\u8bcd\u7ed3\u5408\u7684\u201c\u6253\u5305\u7b97\u5b50\u201d\u7684\u601d\u60f3\uff0c<wbr \/>\u5e76\u7531\u6b64\u53d1\u73b0\u4e86\u4e00\u7cfb\u5217\u65b0\u7684\u4e00\u9636\u6a21\u6001\u903b\u8f91\u7684\u53ef\u5224\u5b9a\u7247\u6bb5\u3002<wbr \/>\u5b66\u672f\u7814\u7a76\u4e4b\u5916\uff0c\u7740\u529b\u63a8\u52a8\u903b\u8f91\u5b66\u5728\u4e2d\u56fd\u7684\u5b66\u672f\u5171\u540c\u4f53\u5efa\u8bbe\uff0c<wbr \/>\u66fe\u62c5\u4efb\u4e24\u5c4a\u5168\u56fd\u73b0\u4ee3\u903b\u8f91\u5b66\u672f\u7814\u8ba8\u4f1a\u7a0b\u5e8f\u59d4\u5458\u4f1a\u4e3b\u5e2d\uff0c<wbr \/>\u4e25\u683c\u5b66\u672f\u6807\u51c6\uff0c\u4f20\u64ad\u5b66\u672f\u4f26\u7406\u77e5\u8bc6\u3002\u4e2a\u4eba\u4e3b\u9875\uff1a<a href=\"http:\/\/www.wangyanjing.com\/\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=http:\/\/www.wangyanjing.com&amp;source=gmail&amp;ust=1552108189659000&amp;usg=AFQjCNHnvD7eKY2nyCQcfg-FLtZvzEemLA\">www.<wbr \/>wangyanjing.com<\/a><\/p>\n<p><strong>Organization:<br \/>\n<\/strong>Tsinghua University &#8211; University of Amsterdam Joint Research Centre for Logic<br \/>\nDepartment of Philosophy, Tsinghua University<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Time: 2019 March. 29,\u00a013:30-16:00 Venue:\u00a0Xinzhai 324, T [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1410"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=1410"}],"version-history":[{"count":3,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1410\/revisions"}],"predecessor-version":[{"id":1419,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/1410\/revisions\/1419"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=1410"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=1410"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=1410"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}