逻辑学+人工智能，这场学术会议碰撞思维火花

10月20—22日，由浙江大学主办、浙大城市学院承办的“第四届逻辑与论辩国际会议”(CLAR 2021)暨“新一代人工智能驱动的逻辑学研究高端论坛”(NGL 2021)在浙大城市学院举行。

开幕式上，浙大城市学院校长、杭州城市大脑研究院院长罗卫东致辞，他表示，学校紧贴杭州城市发展和治理的需要，着力服务以“城市大脑”为核心的现代城市治理与建设, 聚焦数字领域新兴专业，积极打造“数字+”新学科群。CLAR国际会议在学校举办是对百强建设的大力支持，有助于学校集聚高水平师资、培养高质量人才、促进区域发展新旧动能转换。

大会开幕式邀请了三位在逻辑学和人工智能领域的知名学者作报告。意大利布雷西亚大学、德国柏林自由大学、中山大学等有关专家学者参加会议。

“2016年AlphaGo战胜李世石以后，人工智能战胜人类的神话已成为现实；2017年泰格马克的奇书《生命3.0》对人工智能赋予生命；2018年霍金对人工智能的发展提出警告：彻底开发人工智能可能导致人类灭亡。”这些“大问题”应该从生命进化、人类心智和人工智能的发展以及人与自然的关系中寻找答案。清华大学心理学系教授、博导，清华大学心理学与认知科学研究中心主任蔡曙山就此问题作了题为“生命进化与人工智能——对生命3.0的质疑”的报告，在达尔文物种进化论和现代综合进化论（基因进化论）的基础上，根据人类认知五层级理论，创立心智进化论，对生命3.0提出质疑。

作为中国古代哲学的遗产，“中庸之道”思想总体呈现道德伦理的内容而远离科学的实践。中国社会科学院哲学研究所研究员、博导，湘潭大学、四川师范大学特聘教授，中国逻辑学会名誉会长邹崇理用丰富的经验作题为“「中庸之道」的方法论作用——计算机科学人工智能和逻辑的时间”的报告，通过“中庸之道”方法在逻辑和计算机人工智能科学实践中应用案例的详细论述，总结出“中庸”方法有关的评价标准和实现方式，发掘“中庸之道”的方法论作用，进而彰显古代哲学在中国文明中的当代价值。

四川大学哲学系、南开大学哲学系博导，四川大学文科讲习教授任晓明就休谟的思想展开，作题为“休谟的因果性问题与因果推断的逻辑”的报告。他认为，休谟不赞同大多数人都相信的思想观点：只要一件事物伴随着另一件事物而来，两件事物之间必然存在着一种关联、后者伴随前者出现。他从因果科学研究的边缘化、概率论和贝叶斯主义的兴起，论述了人们对因果推断及其哲学问题的探索，讲述了因果逻辑和哲学在当代的发展，也回应了休谟关于因果观念的挑战。

据悉，本次大会主题为“逻辑、论辩与人工智能”，由CLAR 2021和NGL 2021共同构成，并以线上线下相结合的形式开展。大会发起人、NGL 2021会议程序主席、浙江大学人文学院教授廖备水表示，这是一次集逻辑、认知、人工智能交叉研究为一体形成系列会议，旨在聚焦新一代人工智能发展瓶颈问题，探究并建立人类推理和交流的逻辑学基础。

其中，CLAR 2021是一场旨在促进逻辑与论辩这两个领域最新研究成果的学术型国际会议，在不同国家的科研人员之间搭建了良好的平台，吸引了世界各地研究人员高质量投稿。本届CLAR经过程序委员会的严格评审，共收录长文20篇、短文10篇会议论文，形成论文集一册（由国际出版社Springer出版）。本次CLAR 2021会议将为期三天，共举行35场报告，内容涵盖疫苗信息学、法学、逻辑学、语言学、计算机科学、神经科学等多学科领域，体现了跨学科的深入交流。

CLAR 2021还特别举办了五场特邀报告

由逻辑和论辩领域的国际著名专家来演讲

可通过ZOOM进行直播观看哦！

01

德国Annette Frank教授：《用以课计算论证分析和生成的知识》

02

意大利Giovanni Sartor教授：《结构化论辩的说服责任和证明标准》

03

日本Ken Satoh教授：《使用PROLEG元解释去实现国际法中的管辖权与法律的选择》

04

阿根廷Guillermo Simari教授：《聚焦论辩过程：在抽象论辩汇总的邻域语义》

05

中国熊明辉教授：《在司法概率中的科恩悖论解决方案》

扫描二维码进入CLAR 2021会议通道

来源 / 城市大脑研究院

责任编辑 / 李冠琳

出品：

投稿邮箱

xcb@zucc.edu.cn

tuī

推

jiàn

荐

yuè

阅

dú

读

为ZUCC点个赞！告诉大家你在看！