6月13日上午，第八届华人知识表示与推理研讨会（The 8th Chinese Scholar Workshop on Knowledge Representation and Reasoning）开幕式在我院行政楼东一楼会议室举行。此次研讨会由我院数学与统计学院、计算机与信息学院，黔南州数学学会和黔南州计算机学会主办，共邀请了香港科技大学林方真教授、福冈工业大学曾超教授、纽约城市大学周能法教授、中科院沈一栋研究员、阿尔伯塔大学犹嘉槐教授、东南大学漆桂林教授等来自中国、 美国、澳大利亚、加拿大、日本、香港等多个国家和地区，从事知识表示与推理领域研究的近40位海内外知名专家学者参会。

院长石云辉教授出席开幕式并致辞。他首先对参加本次学术研讨会的海内外各位专家学者表示热烈欢迎。随后介绍了我院的办学定位、办学历程、办学理念、办学成果、学校发展情况，并对召开本次研讨会的意义作了简要阐述。他指出，希望各位专家学者以此次学术研讨会为契机，关心和支持我院发展，对我院人工智能研究等工作进行指导，并诚挚祝愿本次国际学术研讨会取得圆满成功。

开幕式结束后，参会专家学者将分别围绕程序验证、知识图谱、认知逻辑、回答集编程、描述逻辑等研究主题作18场专题学术报告，报告内容涉及知识表示与推理、逻辑、机器学习等人工智能的最新研究成果。参会学者也将深入交流个人及团队一年以来取得的最新研究成果，对知识表示与推理领域面临的挑战和机遇进行深入探讨，就下一步人工智能领域等研究重点及方向达成新共识。

本次学术研讨会将为人工智能领域的知识表示与推理方向的世界华人学者提供一个交流合作的平台，对扩大我院办学知名度和影响力具有重要意义。

出席开幕式还有我院数学与统计学院、计算机与信息学院党政领导班子成员、师生代表及黔南州数学学会、黔南州计算机学会部分专家学者。

石云辉致辞

专家代表林方真教授作专题报告