{"id":2001,"date":"2020-10-25T10:45:15","date_gmt":"2020-10-25T02:45:15","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=2001"},"modified":"2020-11-10T12:48:06","modified_gmt":"2020-11-10T04:48:06","slug":"online-workshop-logic-with-vector-space-models","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/online-workshop-logic-with-vector-space-models\/","title":{"rendered":"Online Workshop: Logic with Vector Space Models, Nov. 13, 2020"},"content":{"rendered":"\n

<\/p>\n\n\n\n

General Information:<\/h2>\n\n\n\n

Vector space, as a mathematical structure, is perhaps much more understood by human beings than any other field of mathematics, and it finds its natural usage in a number of wildly different areas, including physics, computer science, numerical analysis, linguistics, to name a few. Logic, on the other hand, is the canonical tool for talking about and reasoning in different structures. Given that vector space is used as the fundamental structure at various places, a complete analysis of it using logical tools and the development of logical systems with vector space models will be beneficial.<\/p>\n\n\n\n

The goal of this workshop is to bring together worldwide scholars who share a common interest in this topic but with varying perspectives, collaborating to develop tools for logical analysis of vector spaces or logical systems with vector space models. We hope this workshop will broaden our views on the matter of subject, and ultimately put logic and logical methods in a place of wider applications.<\/p>\n\n\n\n

\u5411\u91cf\u7a7a\u95f4\u51e0\u4e4e\u662f\u4e3a\u4eba\u7c7b\u6240\u7406\u89e3\u5f97\u6700\u6e05\u695a\u7684\u4e00\u7c7b\u6570\u5b66\u6a21\u578b\uff0c\u5176\u5e94\u7528\u4e5f\u975e\u5e38\u7684\u5e7f\u6cdb\u3002\u5728\u7269\u7406\u5b66\u3001\u8ba1\u7b97\u673a \u79d1\u5b66\u3001\u6570\u503c\u5206\u6790\u3001\u8bed\u8a00\u5b66\u9886\u57df\u7b49\u8bb8\u591a\u622a\u7136\u4e0d\u540c\u7684\u9886\u57df\u5f53\u4e2d\u90fd\u80fd\u77a5\u89c1\u5176\u8eab\u5f71\u3002\u903b\u8f91\u5b66\u662f\u4eba\u4eec\u5bf9\u5e7f\u6cdb\u7684 \u6570\u5b66\u6a21\u578b\u8fdb\u884c\u63a8\u7406\u5206\u6790\u7684\u91cd\u8981\u5de5\u5177\u3002\u7531\u4e8e\u5411\u91cf\u7a7a\u95f4\u5728\u5e94\u7528\u6570\u5b66\u9886\u57df\u5177\u6709\u5982\u6b64\u91cd\u8981\u7684\u5730\u4f4d\uff0c\u91c7\u7528\u903b\u8f91 \u5b66\u7684\u5de5\u5177\u5bf9\u5411\u91cf\u7a7a\u95f4\u8fdb\u884c\u6df1\u5165\u5730\u7814\u7a76\u3001\u53d1\u5c55\u76f8\u5173\u7684\u57fa\u4e8e\u5411\u91cf\u7a7a\u95f4\u6a21\u578b\u7684\u903b\u8f91\u7cfb\u7edf\u90fd\u4f1a\u5bf9\u903b\u8f91\u5b66\u7684\u7814 \u7a76\u4ea7\u751f\u5f88\u5927\u7684\u5e2e\u52a9\u3002<\/p>\n\n\n\n

\u672c\u6b21\u5de5\u4f5c\u574a\u5e0c\u671b\u5c06\u5168\u7403\u5bf9\u8fd9\u4e2a\u4e3b\u9898\u6709\u5171\u540c\u5174\u8da3\u4f46\u89c2\u70b9\u5404\u5f02\u7684\u5b66\u8005\u805a\u96c6\u5230\u4e00\u8d77\uff0c\u5171\u540c\u8ba8\u8bba\u4ee5\u63a8\u8fdb\u903b\u8f91 \u65b9\u6cd5\u5bf9\u5411\u91cf\u7a7a\u95f4\u7684\u7814\u7a76\u3001\u53d1\u5c55\u65b0\u7684\u57fa\u4e8e\u5411\u91cf\u7a7a\u95f4\u7684\u903b\u8f91\u7cfb\u7edf\u7b49\u3002\u6211\u4eec\u5e0c\u671b\u672c\u6b21\u5de5\u4f5c\u574a\u80fd\u591f\u6269\u5c55\u6211\u4eec \u5bf9\u76f8\u5173\u95ee\u9898\u601d\u8003\u7684\u5e7f\u5ea6\u4e8e\u6df1\u5ea6\uff0c\u6700\u7ec8\u63a8\u52a8\u903b\u8f91\u5b66\u5728\u5176\u4ed6\u9886\u57df\u5f53\u4e2d\u66f4\u4e3a\u5e7f\u6cdb\u7684\u5e94\u7528\uff0c\u540c\u65f6\u5c06\u903b\u8f91\u5b66\u7684 \u7814\u7a76\u65b9\u6cd5\u5e26\u5165\u5404\u4e2a\u9886\u57df\u5f53\u4e2d\u3002<\/p>\n\n\n\n

Speakers:<\/h2>\n\n\n\n

1. Johan van Benthem<\/strong><\/p>\n\n\n\n

\u91d1\u5cb3\u9716\u8bb2\u5e2d\u6559\u6388\uff0c\u65af\u5766\u798f\u5927\u5b66 Henry Waldgrave Stuart \u6559\u6388\uff0c\u963f\u59c6\u65af\u7279\u4e39\u5927\u5b66\u8363\u4f11\u6559\u6388<\/p>\n\n\n\n

Title: Logics of Space, a brief history of interfaces. \u7a7a\u95f4\u7684\u903b\u8f91\uff0c\u9886\u57df\u4ea4\u53c9\u7b80\u53f2<\/p>\n\n\n\n

2. Hannes Leitgeb<\/strong><\/p>\n\n\n\n

\u6155\u5c3c\u9ed1\u5927\u5b66\u903b\u8f91\u4e0e\u8bed\u8a00\u54f2\u5b66\u7cfb\u4e3b\u4efb\uff0c\u6155\u5c3c\u9ed1\u6570\u5b66\u54f2\u5b66\u4e2d\u5fc3\u7684\u8054\u5408\u4e3b\u4efb<\/p>\n\n\n\n

Title: On the Logic of Vector Space Models. \u5411\u91cf\u6a21\u578b\u7684\u903b\u8f91<\/p>\n\n\n\n

3. Nick Bezhanishvili <\/strong><\/p>\n\n\n\n

\u963f\u59c6\u65af\u7279\u4e39\u5927\u5b66\u903b\u8f91\u3001\u8bed\u8a00\u4e8e\u8ba1\u7b97\u7814\u7a76\u4e2d\u5fc3\u52a9\u7406\u6559\u6388<\/p>\n\n\n\n

Title: Exploring Modal Perspectives on Vector Spaces. \u63a2\u7d22\u5411\u91cf\u7a7a\u95f4\u7684\u6a21\u6001\u903b\u8f91<\/p>\n\n\n\n

4. Anand Pillay<\/strong><\/p>\n\n\n\n

\u8bfa\u7279\u4e39\u5927\u5b66\u6570\u5b66\u7cfb\u6559\u6388<\/p>\n\n\n\n

Title: Vector-space-like Structures in Model Theory. \u6a21\u578b\u8bba\u4e2d\u7684\u7c7b\u5411\u91cf\u6a21\u578b<\/p>\n\n\n\n

5. Huanfang Dong<\/strong><\/p>\n\n\n\n

\u6e05\u534e\u5927\u5b66\u54f2\u5b66\u7cfb\u535a\u58eb\u751f<\/p>\n\n\n\n

Title: A Brief Review of Vector Space Models in Natural Language Processing. \u81ea\u7136\u8bed\u8a00\u5904\u7406\u4e2d\u7684\u5411\u91cf\u6a21\u578b\u7efc\u8ff0<\/p>\n\n\n\n

6. Lingyuan Ye<\/strong><\/p>\n\n\n\n

Title: Duality in Logic and Vector Space. \u903b\u8f91\u4e0e\u5411\u91cf\u7a7a\u95f4\u4e2d\u7684\u5bf9\u5076<\/p>\n\n\n\n

Program:<\/h2>\n\n\n\n
Speaker<\/strong><\/td>CET, UTC+1<\/strong><\/td>EST, UTC-5<\/strong><\/td>CST, UTC+8<\/strong><\/td>Title<\/strong><\/td><\/tr>
Johan van Benthem<\/td>12:00 \u2013 12:45<\/td>6:00 \u2013 6:45<\/td>19:00 \u2013 19:45<\/td>Logics of Space, a brief history of interfaces<\/td><\/tr>
Huanfang Dong<\/td>12:45 \u2013 13:30<\/td>6:45 \u2013 7:30<\/td>19:45 \u2013 20:30<\/td>A Brief Review of Vector Space Models in Natural Language Processing<\/td><\/tr>
Hannes Leitgeb<\/td>13:30 \u2013 14:15<\/td>7:30 \u2013 8:15<\/td>20:30 \u2013 21:15<\/td>On the Logic of Vector Space Models<\/td><\/tr>
——– Break ———-<\/td>14:15 \u2013 14:30<\/td>8:15 \u2013 8:30<\/td>21:15 \u2013 21:30<\/td>—————————————————————————–<\/td><\/tr>
Lingyuan Ye<\/td>14:30 \u2013 15:15<\/td>8:30 \u2013 9:15<\/td>21:30 \u2013 22:15<\/td>Duality in Logic and Vector Space<\/td><\/tr>
Nick Bezhanishvili<\/td>15:15 \u2013 16:00<\/td>9:15 \u2013 10:00<\/td>22:15 \u2013 23:00<\/td>Exploring Modal Perspectives on Vector Spaces<\/td><\/tr>
Anand Pillay<\/td>16:00 \u2013 16:45<\/td>10:00 \u2013 10:45<\/td>23:00 \u2013 23:45<\/td>Vector-space-like Structures in Model Theory<\/td><\/tr>
——– Finale ———<\/td>16:45 \u2013 17:00<\/td>10:45 \u2013 11:00<\/td>23:45 \u2013 24:00<\/td>—————————————————————————–<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

If you are interested in participating in the workshop, please contact yely18@mails.tsinghua.edu.cn<\/a> to register for the event.<\/p>\n","protected":false},"excerpt":{"rendered":"

General Information: Vector space, as a mathematical st […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[10,1],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/2001"}],"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=2001"}],"version-history":[{"count":7,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/2001\/revisions"}],"predecessor-version":[{"id":2987,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/2001\/revisions\/2987"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=2001"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=2001"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=2001"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}