一、讲座题目

逻辑表示与机器计算

二、主讲人及介绍

赵希顺，教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师。

三、讲座时间

2024年5月31日 19:00-21：00

四、讲座地点

中心校区知新楼A1618

五、讲座内容

赵希顺教授的研究方向是数理逻辑及其在计算机科学和人工智能中的应用。本次报告将介绍其研究工作。逻辑系统的表达能力研究通常关注问题在该逻辑系统中的可表示性。可计算性理论通常关注问题的可判定性。然而，问题在逻辑系统的表示需要逻辑资源，如逻辑联结词、一阶量词、高阶量词，等等；而计算机判定一个问题要消耗时间、空间等资源。本报告介绍当考虑资源限制时逻辑表示与机器计算之间的内在联系，介绍国际上的相关研究成果以及报告人的研究工作。报告人为赵希顺，教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师。赵希顺教授的研究方向是数理逻辑及其在计算机科学和人工智能中的应用。