<\/p>\n
In an open, dynamic and real environment, logic is an essential tool to build various sophisticated models to enable machines to make rational decisions, to provide effective explanations for human beings, and to ensure that machines behave ethically and legally. It must be combined with Big Data and machine leaning techniques that have been widely used in various forms of a new generation artificial intelligence, such as big data intelligence, swarm intelligence, cross media intelligence, man-machine hybrid enhanced intelligence and autonomous intelligence systems.<\/p>\n
<\/p>\n
The main objectives of the new ‘AI Logic’ corner of the Journal of Logic and Computation are to develop theories and techniques of non-monotonic logics and formal argumentation and apply them to causal reasoning, knowledge graph reasoning, and reasoning about norms and values, in an open, dynamic and real environment. In line with these objectives, a project titled “Research on Logics for New Generation Artificial Intelligence” (LNGAI, 2021-2025) was granted as a major project of the National Social Science Foundation of China in 2020.<\/p>\n
https:\/\/xixilogic.org\/lngai\/<\/span><\/a><\/p>\n This project is in turn associated with an annual workshop, called International Workshop on Logics for New Generation Artificial Intelligence (LNGAI). The first workshop, LNGAI 2021, will take place in Hangzhou on 18-20 June 2021. https:\/\/www.zlaire.net\/events\/previous\/lngai2021\/<\/span><\/a><\/p>\n <\/p>\n In connection to LNGAI 2021, this special issue will invite some submissions selected and extended from the papers presented in the workshop. Meanwhile, any other submissions relevant to the `AI logic’ corner are welcome.<\/p>\n <\/p>\n Topics include but are not limited to the following:<\/p>\n \u2013 Argument mining <\/p>\n All submissions must comply with the submission guidelines of Journal of Logic and Computation (https:\/\/academic.oup.com\/logcom\/pages\/General_Instructions<\/span><\/a>) and will be peer reviewed.<\/p>\n <\/p>\n Editors of this special issue:<\/strong><\/p>\n Beishui Liao, Zhejiang University (‘AI Logic’ corner editor, baiseliao@zju.edu.cn) <\/p>\n <\/p>\n \u5728\u5f00\u653e\u3001\u52a8\u6001\u548c\u771f\u5b9e\u7684\u73af\u5883\u4e0b\uff0c\u4e3a\u4e86\u4f7f\u5f97\u673a\u5668\u80fd\u591f\u4f5c\u51fa\u7406\u6027\u51b3\u7b56\uff0c\u4e3a\u4eba\u7c7b\u63d0\u4f9b\u6709\u6548\u89e3\u91ca\uff0c\u5e76\u786e\u4fdd\u673a\u5668\u884c\u4e3a\u80fd\u591f\u5145\u5206\u6ee1\u8db3\u4eba\u7c7b\u4f26\u7406\u548c\u6cd5\u5f8b\u65b9\u9762\u7684\u8981\u6c42\uff0c\u903b\u8f91\u5b66\u4f5c\u4e3a\u5efa\u6784\u590d\u6742\u6a21\u578b\u7684\u5de5\u5177\u662f\u5fc5\u4e0d\u53ef\u5c11\u7684\u3002\u5728\u5927\u6570\u636e\u3001\u4e91\u8ba1\u7b97\u548c\u673a\u5668\u5b66\u4e60\u7b49\u6280\u672f\u7684\u63a8\u52a8\u4e0b\uff0c\u5927\u6570\u636e\u667a\u80fd\u3001\u7fa4\u4f53\u667a\u80fd\u3001\u8de8\u5a92\u4f53\u667a\u80fd\u3001\u4eba\u673a\u6df7\u5408\u589e\u5f3a\u667a\u80fd\u3001\u81ea\u4e3b\u667a\u80fd\u7cfb\u7edf\u7b49\u65b0\u4e00\u4ee3\u4eba\u5de5\u667a\u80fd\u6280\u672f\u53d6\u5f97\u4e0d\u65ad\u53d1\u5c55\uff0c\u4f46\u4e5f\u9762\u4e34\u91cd\u8981\u95ee\u9898\u3002\u4e3a\u4e86\u8ba9\u903b\u8f91\u5b66\u80fd\u5728\u4e0a\u8ff0\u91cd\u8981\u65b9\u5411\u53d1\u6325\u4f5c\u7528\uff0c\u5fc5\u987b\u628a\u5b83\u4e0e\u5927\u6570\u636e\u548c\u673a\u5668\u5b66\u4e60\u7b49\u524d\u6cbf\u4fe1\u606f\u6280\u672f\u6709\u673a\u878d\u5408\u8d77\u6765\u3002<\/p>\n <\/p>\n \u5728\u8fd9\u6837\u7684\u80cc\u666f\u4e0b\uff0c\u300a\u903b\u8f91\u4e0e\u8ba1\u7b97\u300b\u65b0\u8fd1\u5f00\u8bbe \u201c\u4eba\u5de5\u667a\u80fd\u903b\u8f91\u201d\u4e13\u680f\uff08AI Logic corner\uff09\uff0c\u6070\u9022\u5176\u65f6\u3002\u5b83\u65e8\u5728\u4fc3\u8fdb\u7ecf\u5178\u975e\u5355\u8c03\u903b\u8f91\u3001\u5f62\u5f0f\u8bba\u8fa9\u7b49\u4eba\u5de5\u667a\u80fd\u903b\u8f91\u6838\u5fc3\u65b9\u5411\u7684\u53d1\u5c55\uff0c\u5e76\u63a2\u7d22\u5f00\u653e\u3001\u52a8\u6001\u548c\u771f\u5b9e\u73af\u5883\u4e0b\u7684\u56e0\u679c\u63a8\u7406\u3001\u77e5\u8bc6\u56fe\u8c31\u63a8\u7406\u3001\u89c4\u8303\u4e0e\u4ef7\u503c\u63a8\u7406\u7b49\u65b0\u4e00\u4ee3\u4eba\u5de5\u667a\u80fd\u91cd\u8981\u63a8\u7406\u65b9\u5411\u7684\u5efa\u6a21\u548c\u5e94\u7528\u3002\u8fd9\u4e9b\u76ee\u6807\u4e0e\u56fd\u5bb6\u793e\u79d1\u57fa\u91d1\u91cd\u5927\u9879\u76ee\u201c\u65b0\u4e00\u4ee3\u4eba\u5de5\u667a\u80fd\u9a71\u52a8\u7684\u903b\u8f91\u5b66\u7814\u7a76\u201d\uff082021-2025\uff09\u5b8c\u5168\u543b\u5408\u3002\u4e0e\u8be5\u9879\u76ee\u76f8\u8054\u7cfb\uff0c\u201c\u65b0\u4e00\u4ee3\u4eba\u5de5\u667a\u80fd\u903b\u8f91\u56fd\u9645\u7814\u8ba8\u4f1a\u201d\u8ba1\u5212\u6bcf\u5e74\u53ec\u5f00\u4e00\u6b21\u3002\u9996\u5c4a\u4f1a\u8bae\u5c06\u4e8e2021\u5e748\u670818-20\u65e5\u5728\u676d\u5dde\u53ec\u5f00\u3002<\/p>\n <\/p>\n \u4e0e\u201c\u65b0\u4e00\u4ee3\u4eba\u5de5\u667a\u80fd\u903b\u8f91\u56fd\u9645\u7814\u8ba8\u4f1a\u201d\u76f8\u8054\u7cfb\uff0c\u672c\u6b21\u4e13\u520a\u6b22\u8fce\u5728\u8be5\u4f1a\u8bae\u4e0a\u9648\u8ff0\u7684\u7ecf\u8fc7\u6269\u5c55\u7684\u9ad8\u8d28\u91cf\u8bba\u6587\u3002\u540c\u65f6\uff0c\u4e5f\u6b22\u8fce\u4e0e\u201c\u4eba\u5de5\u667a\u80fd\u903b\u8f91\u201d\u4e13\u680f\u76f8\u5173\u7684\u5176\u4ed6\u6295\u7a3f\u3002<\/p>\n <\/p>\n \u5907\u6ce8\uff1a\u300a\u903b\u8f91\u4e0e\u8ba1\u7b97\u300b\uff08Journal of Logic and Computation\uff09\u6742\u5fd7\u662f\u7531\u725b\u6d25\u5927\u5b66\u51fa\u7248\u793e\u51fa\u7248\u7684\u903b\u8f91\u5b66\u9886\u57df\u7684\u56fd\u9645\u77e5\u540dSCI\u671f\u520a\u3002<\/p>\n <\/p>\n \u4e13\u520a\u7f16\u8f91<\/b><\/strong><\/p>\n \u5ed6\u5907\u6c34\uff1a\u6d59\u6c5f\u5927\u5b66 \u6559\u6388\uff08baiseliao@zju.edu.cn\uff09<\/p>\n \u5218\u594b\u8363\uff1a\u6e05\u534e\u5927\u5b66 \u6559\u6388\uff08fenrong@tsinghua.edu.cn\uff09<\/p>\n Leendert van der Torre\uff1a\u5362\u68ee\u5821\u5927\u5b66 \u6559\u6388\uff08leon.vandertorre@uni.lu\uff09<\/p>\n \u5468\u71a0\uff1a\u4e0a\u6d77\u8111\u79d1\u5b66\u4e0e\u7c7b\u8111\u7814\u7a76\u4e2d\u5fc3 \u7814\u7a76\u5458\uff08yzhou@bsbii.cn\uff09<\/p>\n <\/p>\n","protected":false},"excerpt":{"rendered":" Call for Papers: Special Issue on Logics for New Generation Artificial Intelligence ‘AI Logic’ corner, Journal of Logic and Computation Initial submissions due: August 31, 2021 In an open, dynamic and real environment, logic is an essential tool to …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":7215,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[10],"tags":[],"class_list":["post-7210","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-community"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/7210","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=7210"}],"version-history":[{"count":8,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/7210\/revisions"}],"predecessor-version":[{"id":7673,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/7210\/revisions\/7673"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media\/7215"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=7210"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=7210"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=7210"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n\u2013 Answer set programming
\n\u2013 Autonomous agents and multi-agent systems
\n\u2013 Causation\/Causal inference
\n\u2013 Commonsense reasoning
\n\u2013 Conditional logics
\n\u2013 Connection between machine-learning and causal inference
\n\u2013 Default logics
\n\u2013 Deontic logic
\n\u2013 Description logics
\n\u2013 Ethical approaches
\n\u2013 Explanation in AI and law
\n\u2013 Formal argumentation
\n\u2013 Graphical causal models\/Bayesian networks
\n\u2013 Human-agent explanation
\n\u2013 Knowledge graphs
\n\u2013 Knowledge graph embedding
\n\u2013 Legal argumentation
\n\u2013 Logic-based AI platforms
\n\u2013 Logics in AI applications
\n\u2013 Logics for ethical AI
\n\u2013 Logics for explainable AI
\n\u2013 Markov logic network
\n\u2013 New logics for AI
\n\u2013 Nonmonotonic logics
\n\u2013 Reasoning about Norms and values
\n\u2013 Reasoning about actions and change
\n\u2013 Reasoning about knowledge graphs
\n\u2013 Subgraph reasoning
\n\u2013 Uncertain reasoning<\/p>\n
\nFenrong Liu, Tsinghua University (guest editor, fenrong@tsinghua.edu.cn)
\nLeendert van der Torre, University of Luxembourg (‘AI Logic’ corner editor, leon.vandertorre@uni.lu)
\nYi Zhou, Shanghai Center for Brain Science and Brain-Inspired Technology (guest editor, yzhou@bsbii.cn)<\/p>\n <\/h3>\n
\u300a<\/b><\/strong>\u903b\u8f91\u4e0e\u8ba1\u7b97<\/b><\/strong>\u300b<\/b><\/strong>\u6742\u5fd7<\/b><\/strong>\uff0c<\/b><\/strong>\u201c\u4eba\u5de5\u667a\u80fd\u903b\u8f91\u201d\u4e13\u680f<\/b><\/strong><\/h3>\n
\u6295\u7a3f\u622a\u6b62<\/b><\/strong>\u65e5\u671f<\/b><\/strong>\uff1a<\/b><\/strong>2021<\/b><\/strong>\u5e74<\/b><\/strong>8<\/b><\/strong>\u6708<\/b><\/strong>31<\/b><\/strong>\u65e5<\/b><\/strong><\/h4>\n