2019年11月16日晚上20:00，受西南大学逻辑与智能研究中心主任郭美云教授的邀请，中山大学逻辑与认知研究所赵希顺教授为师生们带来了一场精彩的学术报告。此次报告由中心主任郭美云教授主持，中心成员李章吕副教授以及逻辑学专业的研究生共二十余人参加了此次报告会。

本次报告主要讨论了人工智能研究领域中的相关问题以及计算机科学中可计算性问题和计算复杂度问题，大体可分为以下两部分：

一方面，赵教授从近些来年随着人工智能的发展成果中，预想到人工智能可能会带来的一系列危机,比如类似于“技术奇点”1的问题，介绍了未来可能会出现的新情况，以及如何防患于未然，防止机器人制造技术达到或超越这一技术奇点。

另一方面，赵教授系统地介绍了可计算性理论和计算复杂性理论。可计算性理论的重心在于问题能否解决，而不用管到底需要多少资源。而计算复杂性理论所研究的是，所需的资源消耗情况，比如时间（要通过多少步才能解决问题）和空间（在解决问题时需要多少内存）以及如何尽可能的节省这些资源。

整场报告在师生们热情洋溢的讨论中结束，同学们对人工智能与计算机逻辑方面的问题有了更深入的理解。

（西南大学逻辑与智能研究中心 毛位亮 供稿，李章吕 供图，熊作军 审核 ）

1 技术奇点（Technological Singularity）：指拥有人类智能的机器人不断改进自己，并且能制造或繁殖越来越聪明、越来越强大的机器人，最终达到人类不可预测、无法控制的地步。