人工智能系列讲座（十五）：From Logic to Learning: A Computational Complexity Perspective

• 报告人：沈榆平 教授（中山大学逻辑与认知研究所）
• 主持人：王以松（贵州大学）
• 时间：2026年7月20日（星期一）9:00—11:00
• 地点：贵州大学至善楼402

报告摘要

从计算复杂性视角审视逻辑与学习，讨论如何识别难以推理或学习的问题，以及借助非单调命题逻辑推进显式困难性研究的最新进展与相关猜想。

报告人简介

沈榆平教授任职于中山大学逻辑与认知研究所，主要研究逻辑与计算、知识表示与推理。