{"id":4361,"date":"2018-06-13T12:56:56","date_gmt":"2018-06-13T04:56:56","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=4361"},"modified":"2018-10-14T22:40:59","modified_gmt":"2018-10-14T14:40:59","slug":"hunter","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2018\/06\/hunter\/","title":{"rendered":"Anthony Hunter: A logic for reasoning about arguments"},"content":{"rendered":"

\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c90\u671f<\/strong><\/p>\n

Date:<\/strong>\u00a018 June 2018 (10:00-11:00)
\nVenue:<\/strong> Room 259, Main Teaching Building, Xixi Campus, Zhejiang University
\nSpeaker:<\/strong>\u00a0Prof. Anthony Hunter (University College London)
\nTitle:<\/strong> A logic for reasoning about arguments<\/p>\n

\u8bb2\u5ea7\u62a5\u9053<\/strong><\/p>\n

2018\u5e746\u670818\u65e5\u4e0a\u5348\uff0c\u201c\u7b2c90\u671f\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u201d\u9080\u8bf7\u7684\u4e3b\u8bb2\u4eba\u662f\u82f1\u56fd\u4f26\u6566\u5927\u5b66\u5b66\u9662\u7684Anthony Hunter\u6559\u6388\u3002Hunter\u5728\u672c\u6b21\u62a5\u544a\u4e2d\u63d0\u51fa\u8ba1\u7b97\u8bed\u8a00\u5b66\u9886\u57df\u5df2\u7ecf\u8d8a\u6765\u8d8a\u5173\u6ce8\u4ece\u81ea\u7136\u8bed\u8a00\u4e2d\u8bc6\u522b\u8bba\u8bc1\u548c\u8bba\u8bc1\u4e4b\u95f4\u7684\u5173\u7cfb\uff0c\u800c\u5176\u4e2d\u5173\u952e\u7684\u6311\u6218\u5c31\u5728\u4e8e\u5bf9\u8868\u8fbe\u8bba\u8bc1\u7684\u76ee\u6807\u5f62\u5f0f\u7684\u9009\u62e9\u3002\u56e0\u6b64\u4ed6\u4e3b\u8981\u63d0\u51fa\u4e86\u4e24\u4e2a\u95ee\u9898\uff0c\u7b2c\u4e00\u4e2a\u95ee\u9898\u662f\u4ece\u81ea\u7136\u8bed\u8a00\u6316\u6398\u8bba\u8bc1\u7684\u76ee\u6807\u8bed\u8a00\u5f62\u5f0f\uff0c\u7b2c\u4e8c\u4e2a\u95ee\u9898\u662f\u8054\u5408\u3001\u89e3\u6784\u548c\u5206\u6790\u4ece\u6587\u672c\u4e2d\u6316\u6398\u51fa\u7684\u8bba\u8bc1\u7684\u65b9\u6cd5\u3002\u4ed6\u9996\u5148\u63d0\u51fa\u4e00\u79cd\u8868\u793a\u8bba\u8bc1\u7ed3\u6784\u7684\u5f62\u5f0f\u5316\u8bed\u8a00\uff0c\u5176\u6b21\u57fa\u4e8e\u8fd9\u79cd\u5f62\u5f0f\u5316\u8bed\u8a00\u63d0\u51fa\u76f8\u5e94\u7684\u8bba\u8bc1\u63a8\u7406\u6846\u67b6\uff0c\u5e76\u4e14\u8be5\u6846\u67b6\u5177\u6709\u5f88\u9ad8\u7684\u7075\u6d3b\u6027\uff0c\u53ef\u4ee5\u9002\u7528\u4e8e\u4e0d\u540c\u7684\u63a8\u7406\u89c4\u5219\u96c6\u3002<\/p>\n

Hunter\u9996\u5148\u8bba\u8ff0\u4e86\u63d0\u51fa\u4e00\u79cd\u65b0\u7684\u5f62\u5f0f\u8bed\u8a00\u7684\u52a8\u673a\u3002\u76ee\u524d\u5e38\u7528\u7684\u62bd\u8c61\u8bba\u8fa9\u7cfb\u7edf\u548c\u903b\u8f91\u8bba\u8fa9\u7cfb\u7edf\u7684\u8868\u8fbe\u529b\u90fd\u4e0d\u80fd\u6ee1\u8db3\u6211\u4eec\u7684\u8981\u6c42\uff0c\u8fd9\u4e24\u8005\u90fd\u5b58\u5728\u4e00\u5b9a\u7684\u7f3a\u9677\uff0c\u56e0\u6b64\u6211\u4eec\u9700\u8981\u4e00\u79cd\u66f4\u597d\u7684\u5f62\u5f0f\u8bed\u8a00\u6765\u8868\u8fbe\u4ece\u81ea\u7136\u8bed\u8a00\u4e2d\u6316\u6398\u4ea7\u751f\u7684\u8bba\u8bc1\u3002\u4e3a\u4e86\u89e3\u51b3\u8fd9\u4e00\u95ee\u9898\uff0c\u4ed6\u63d0\u51fa\u4e86\u4e00\u79cd\u5206\u522b\u8868\u8fbe\u7406\u7531\u548c\u7ed3\u8bba\u7684\u5f62\u5f0f\u8bed\u8a00\uff0c\u4ee5\u53ca\u7528\u8fd9\u79cd\u8bed\u8a00\u8fdb\u884c\u63a8\u7406\u548c\u8fa9\u8bba\u7684\u6846\u67b6\u3002\u5177\u4f53\u7684\u8bf4\uff0c\u8be5\u5f62\u5f0f\u8bed\u8a00\u5728\u547d\u9898\u903b\u8f91\u8bed\u8a00\u7684\u57fa\u7840\u4e0a\u589e\u52a0\u4e86\u4e09\u4e2a\u7b97\u5b50\uff0c\u5206\u522b\u662f\uff1aR\uff08\u00b7\uff09\u3001C\uff08\u00b7\uff09\u548c\u2014\u3002\u57fa\u4e8e\u6b64\u4ea7\u751f\u7684\u57fa\u672c\u8bba\u8bc1\u53ca\u5176\u53cd\u5bf9\u5171\u6709\u56db\u79cd\u8868\u793a\u5f62\u5f0f\uff0c\u5206\u522b\u4e3a\uff1a<\/p>\n

\uff081\uff09R(y) : C(x)\uff1a\u8868\u793ay\u662f\u5f97\u51fa\u7ed3\u8bbax\u7684\u7406\u7531\uff1b<\/p>\n

\uff082\uff09R(y) : \u2212C(x)\uff1a\u8868\u793ay\u662f\u5f97\u4e0d\u51fa\u7ed3\u8bbax\u7684\u7406\u7531\uff1b<\/p>\n

\uff083\uff09\u2212R(y) : C(x)\uff1a\u662f\u8bba\u8bc1\uff081\uff09\u7684\u53cd\u8bba\u8bc1\uff0c\u8868\u793ay\u4e0d\u662f\u5f97\u51fa\u7ed3\u8bbax\u7684\u7406\u7531\uff1b<\/p>\n

\uff084\uff09\u2212R(y) :- C(x)\uff1a\u662f\u8bba\u8bc1\uff082\uff09\u7684\u53cd\u8bba\u8bc1\uff0c\u8868\u793ay\u4e0d\u662f\u5f97\u4e0d\u51fa\u7ed3\u8bbax\u7684\u7406\u7531\u3002<\/p>\n

\u540c\u65f6\uff0chunter\u4e5f\u5b9a\u4e49\u4e86\u57fa\u672c\u7684\u63a8\u7406\u89c4\u5219\uff0c\u6b64\u5916\uff0c\u4ed6\u8868\u793a\u8fd9\u79cd\u65b9\u6cd5\u4e5f\u53ef\u4ee5\u8868\u793a\u8bba\u8bc1\u4e4b\u95f4\u7684\u4e09\u79cd\u653b\u51fb\u5173\u7cfb\uff1a\u53cd\u9a73\u3001\u653b\u51fb\u524d\u63d0\u548c\u5e95\u5207\u3002\u5176\u4e2d\u4e0e\u73b0\u6709\u7684\u8bba\u8bc1\u8ba1\u7b97\u6a21\u578b\u4e0d\u540c\u7684\u4e00\u70b9\u662f\uff0c\u8bba\u8bc1\u4e4b\u95f4\u7684\u653b\u51fb\uff08\u652f\u6301\uff09\u5173\u7cfb\u7531\u4e00\u7ec4\u8bba\u8bc1\u7684\u5916\u90e8\u5173\u7cfb\u6240\u8868\u793a\u3002\u7efc\u4e0a\u6240\u8ff0\uff0chunter\u8868\u793a\u4ed6\u4eec\u63d0\u51fa\u4e86\u4e00\u79cd\u4f7f\u7528\u65b0\u7684\u8868\u8fbe\u8bba\u8bc1\u5e76\u8fdb\u884c\u63a8\u7406\u7684\u903b\u8f91\uff0c\u8be5\u903b\u8f91\u901a\u8fc7\u6316\u6398\u83b7\u5f97\u8bba\u8bc1\u53ca\u5176\u53cd\u5bf9\uff0c\u5e76\u57fa\u4e8e\u76f8\u5e94\u7684\u63a8\u7406\u89c4\u5219\u8fdb\u884c\u5206\u6790\u3002<\/p>\n

Hunter \u901a\u8fc7\u5c06\u4ed6\u4eec\u7684\u65b9\u6cd5\u4e0e\u4f20\u7edf\u7684\u65b9\u6cd5\u8fdb\u884c\u6bd4\u8f83\u8bf4\u660e\uff0c\u6e05\u6670\u7684\u8868\u660e\u4e86\u7814\u7a76\u7684\u52a8\u673a\u548c\u5fc5\u8981\u6027\uff0c\u8fd9\u79cd\u5199\u4f5c\u548c\u62a5\u544a\u7684\u65b9\u5f0f\u975e\u5e38\u503c\u5f97\u6211\u4eec\u5b66\u4e60\u3002\u800c\u4e14\u62a5\u544a\u7684\u5185\u5bb9\u4e5f\u5f88\u6709\u542f\u53d1\u6027\uff0c\u6709\u52a9\u4e8e\u5e2e\u52a9\u540c\u5b66\u4e86\u89e3\u5728\u5927\u6570\u636e\u9886\u57df\u8fdb\u884c\u7814\u7a76\u7684\u601d\u8def\u548c\u65b9\u5f0f\u3002\u5728\u62a5\u544a\u4e2d\uff0c\u8001\u5e08\u540c\u5b66\u90fd\u79ef\u6781\u53c2\u4e0e\u4e86\u8ba8\u8bba\uff0c\u73b0\u573a\u6c14\u6c1b\u975e\u5e38\u70ed\u70c8\uff0c\u62a5\u544a\u7684\u6548\u679c\u4e5f\u5f88\u597d\u3002<\/p>\n

\uff08\u64b0\u7a3f\uff1a\u676d\u9896\u9896\uff1b\u6444\u5f71\uff1a\u4f55\u5a1f\uff09<\/p>\n

\"\"<\/a> \"\"<\/a> \"\"<\/a> \"\"<\/a> \"\"<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c90\u671f Date:\u00a018 June 2018 (10:00-11:00) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker:\u00a0Prof. Anthony Hunter (University College London) Title: A logic for reasoning about arguments \u8bb2\u5ea7\u62a5\u9053 2018\u5e746\u670818\u65e5\u4e0a\u5348\uff0c\u201c\u7b2c90\u671f\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u201d\u9080\u8bf7\u7684\u4e3b\u8bb2\u4eba\u662f\u82f1\u56fd\u4f26\u6566\u5927\u5b66\u5b66\u9662\u7684Anthony Hunter\u6559\u6388\u3002Hunter\u5728\u672c\u6b21\u62a5\u544a\u4e2d\u63d0\u51fa\u8ba1\u7b97\u8bed\u8a00\u5b66\u9886\u57df\u5df2\u7ecf\u8d8a\u6765\u8d8a\u5173\u6ce8\u4ece\u81ea\u7136\u8bed\u8a00\u4e2d\u8bc6\u522b\u8bba\u8bc1\u548c\u8bba\u8bc1\u4e4b\u95f4\u7684\u5173\u7cfb\uff0c\u800c\u5176\u4e2d\u5173\u952e\u7684\u6311\u6218\u5c31\u5728\u4e8e\u5bf9\u8868\u8fbe\u8bba\u8bc1\u7684\u76ee\u6807\u5f62\u5f0f\u7684\u9009\u62e9\u3002\u56e0\u6b64\u4ed6\u4e3b\u8981\u63d0\u51fa\u4e86\u4e24\u4e2a\u95ee\u9898\uff0c\u7b2c\u4e00\u4e2a\u95ee\u9898\u662f\u4ece\u81ea\u7136\u8bed\u8a00\u6316\u6398\u8bba\u8bc1\u7684\u76ee\u6807\u8bed\u8a00\u5f62\u5f0f\uff0c\u7b2c\u4e8c\u4e2a\u95ee\u9898\u662f\u8054\u5408\u3001\u89e3\u6784\u548c\u5206\u6790\u4ece\u6587\u672c\u4e2d\u6316\u6398\u51fa\u7684\u8bba\u8bc1\u7684\u65b9\u6cd5\u3002\u4ed6\u9996\u5148\u63d0\u51fa\u4e00\u79cd\u8868\u793a\u8bba\u8bc1\u7ed3\u6784\u7684\u5f62\u5f0f\u5316\u8bed\u8a00\uff0c\u5176\u6b21\u57fa\u4e8e\u8fd9\u79cd\u5f62\u5f0f\u5316\u8bed\u8a00\u63d0\u51fa\u76f8\u5e94\u7684\u8bba\u8bc1\u63a8\u7406\u6846\u67b6\uff0c\u5e76\u4e14\u8be5\u6846\u67b6\u5177\u6709\u5f88\u9ad8\u7684\u7075\u6d3b\u6027\uff0c\u53ef\u4ee5\u9002\u7528\u4e8e\u4e0d\u540c\u7684\u63a8\u7406\u89c4\u5219\u96c6\u3002 Hunter\u9996\u5148\u8bba\u8ff0\u4e86\u63d0\u51fa\u4e00\u79cd\u65b0\u7684\u5f62\u5f0f\u8bed\u8a00\u7684\u52a8\u673a\u3002\u76ee\u524d\u5e38\u7528\u7684\u62bd\u8c61\u8bba\u8fa9\u7cfb\u7edf\u548c\u903b\u8f91\u8bba\u8fa9\u7cfb\u7edf\u7684\u8868\u8fbe\u529b\u90fd\u4e0d\u80fd\u6ee1\u8db3\u6211\u4eec\u7684\u8981\u6c42\uff0c\u8fd9\u4e24\u8005\u90fd\u5b58\u5728\u4e00\u5b9a\u7684\u7f3a\u9677\uff0c\u56e0\u6b64\u6211\u4eec\u9700\u8981\u4e00\u79cd\u66f4\u597d\u7684\u5f62\u5f0f\u8bed\u8a00\u6765\u8868\u8fbe\u4ece\u81ea\u7136\u8bed\u8a00\u4e2d\u6316\u6398\u4ea7\u751f\u7684\u8bba\u8bc1\u3002\u4e3a\u4e86\u89e3\u51b3\u8fd9\u4e00\u95ee\u9898\uff0c\u4ed6\u63d0\u51fa\u4e86\u4e00\u79cd\u5206\u522b\u8868\u8fbe\u7406\u7531\u548c\u7ed3\u8bba\u7684\u5f62\u5f0f\u8bed\u8a00\uff0c\u4ee5\u53ca\u7528\u8fd9\u79cd\u8bed\u8a00\u8fdb\u884c\u63a8\u7406\u548c\u8fa9\u8bba\u7684\u6846\u67b6\u3002\u5177\u4f53\u7684\u8bf4\uff0c\u8be5\u5f62\u5f0f\u8bed\u8a00\u5728\u547d\u9898\u903b\u8f91\u8bed\u8a00\u7684\u57fa\u7840\u4e0a\u589e\u52a0\u4e86\u4e09\u4e2a\u7b97\u5b50\uff0c\u5206\u522b\u662f\uff1aR\uff08\u00b7\uff09\u3001C\uff08\u00b7\uff09\u548c\u2014\u3002\u57fa\u4e8e\u6b64\u4ea7\u751f\u7684\u57fa\u672c\u8bba\u8bc1\u53ca\u5176\u53cd\u5bf9\u5171\u6709\u56db\u79cd\u8868\u793a\u5f62\u5f0f\uff0c\u5206\u522b\u4e3a\uff1a \uff081\uff09R(y) : C(x)\uff1a\u8868\u793ay\u662f\u5f97\u51fa\u7ed3\u8bbax\u7684\u7406\u7531\uff1b \uff082\uff09R(y) : \u2212C(x)\uff1a\u8868\u793ay\u662f\u5f97\u4e0d\u51fa\u7ed3\u8bbax\u7684\u7406\u7531\uff1b \uff083\uff09\u2212R(y) : …<\/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-4361","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\/4361","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=4361"}],"version-history":[{"count":9,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4361\/revisions"}],"predecessor-version":[{"id":4592,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4361\/revisions\/4592"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=4361"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=4361"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=4361"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}