本报讯6月22日，第7届华人学者知识表示与推理学术研讨会在计算机与信息科学学院软件学院召开。
　　本次国际研讨会邀请了阿尔伯塔大学犹嘉槐教授、格里菲斯大学王克文教授、香港科技大学林方真教授等26位海内外的专家学者。研讨会共安排了15场精彩的报告，围绕程序验证、知识图谱、认知逻辑、回答集编程、描述逻辑等研究主题，与会者深入交流了自己团队一年以来取得的研究进展。针对当前由于机器学习和统计算法领域的显著成果所带来的人工智能全面复兴，与会者对知识表示与推理领域面临的挑战和机遇进行了讨论，并对下一步工作形成若干共识。（计算机与信息科学学院 软件学院供稿）