7月13日，由中国计算机学会（CCF）主办，人工智能与模式识别专委会、贵州大学、js4399金沙线共同承办的“知识表示与推理研讨会暨第十届华人学者知识表示与推理国际研讨会”第二阶段在我校成功举办。来自英国牛津大学、上海交通大学、中山大学、杭州电子科技大学、贵州大学的专家学者和我校信息工程学院全体教师七十余人参加了会议。

会议组织委员会主席、中山大学万海教授主持开幕式。学校党委委员、宣传部部长夏鲲出席开幕式并致辞。

会议组织委员会主席、中山大学万海教授主持开幕式 

学校党委委员、宣传部部长夏鲲为大会致辞

本次研讨会分两个阶段进行，第一阶段从7月9日至11日，由贵州大学承办，在贵阳举行；第二阶段7月12日至13日由我校信息工程学院代表学校承办，在我校西区综合楼1202会议室举行。

会议围绕“大语言模型下知识表示与推理”这一主题，展开了深入的交流和讨论。研讨会由6个主题报告组成。各位专家就《DatalogMTL 的高效推理算法和应用》《基于 MAX-SAT 计算限制理论模型 》《表征系统理论（RST）及其应用：多模态数学图表的生成与转换》等进行了充分研讨，为参会人员带来了一场学术盛宴。 

会议现场

首先是上海交通大学长聘教轨助理教授胡畔老师，作了《DatalogMTL 的高效推理算法和应用》报告。他介绍了一种新型的高效推理算法，在知识表示与推理任务上取得了显著的性能提升。他的报告引发了与会者的热烈讨论。

上海交通大学长聘教轨助理教授胡畔作报告

最后，英国剑桥大学的吴连龙副研究员从英国在线为大家作了题为《表征系统理论（RST）及其应用：多模态数学图表的生成与转换》的主题报告。

他详细介绍了表征系统理论的基本概念、原理和应用范围，并通过实际案例展示了如何利用该理论实现多模态数学图表的生成与转换，让与会者深入了解大模型的完整构建过程。报告中，他还介绍了表征系统理论在处理复杂问题时的优势，以及其在知识表示与推理领域的广泛应用前景。 

英国剑桥大学吴连龙副研究员在线作主题报告 

贵州大学特聘教授徐计作主题报告

我校卢涵宇教授作主题报告

研讨会于7月13日圆满落幕。

与会者们纷纷表示，此次研讨会不仅为他们提供了一个宝贵的学术交流平台，也让他们深入了解到了知识表示与推理领域的前沿动态和未来趋势。他们表示将继续关注并参与相关领域的研究和实践工作，为推动知识表示与推理技术的发展贡献自己的力量。 

贵州大学王以松教授作闭幕式总结讲话

本次研讨会的成功举办，不仅为国内外学者提供了一个优质的学术交流机会，也为相关领域的研究和产业发展注入了新的活力。相信在未来的日子里，知识表示与推理技术将迎来更加广阔的发展前景。

与会者合影

党委宣传部（新闻中心）

供稿|信息工程学院

图片|谭青青

编辑|肖花

初审|谭青青

复审|王炯

终审|夏鲲