人工智能系列讲座(十六):神经—符号系统及应用

人工智能系列讲座(十六)
  • 报告人:吴茂念 教授(湖州师范大学)
  • 主持人:王以松(贵州大学)
  • 时间:2026年7月20日(星期一)9:00—11:00
  • 地点:贵州大学至善楼402

报告摘要

系统审视神经—符号融合范式,介绍符号约束、分工协作与隐空间逻辑嵌入三种合作方式,并结合 AlphaGeometry 等案例讨论关键研究问题。

报告人简介

吴茂念教授任湖州师范大学人工智能系主任和专业负责人,研究人工智能及其应用。

王以松
王以松
教授,博士生导师

贵州大学计算机科学与技术学教授、博士研究生导师,香港科技大学博士后,加拿大Alberta 大学博士后。