6月18日下午，俄罗斯科学院西伯利亚分院马特罗索夫系统动力学与控制理论研究所Evgeny Cherkashin博士 和Anton V. Ushakov博士应邀来院进行交流访问并做学术报告，副院长王莹洁主持，部分骨干教师和学生代表参加。

Evgeny Cherkashin主要探讨了当前Prolog实现中存在的问题和解决方法，以及在附加的对象扩展层中解决这些问题的方式，介绍了一种新的面向对象的逻辑编程语言Logtalk并展示了相关应用实例。

Anton V. Ushakov介绍了基于中心聚类的相关数学方法。他从数学的组合优化角度出发，依次讲解了k-means和k-medoids的相关内容，并探讨了数学优化如何帮助建立最先进的聚类算法。会后，两位博士与在场的师生就相关领域的问题进行了深入探讨和交流。

报告人介绍：Evgeny Cherkashin graduated from Irkutsk State Technical University (nowadays, National Research Irkutsk Technical University) with specialization on Computer Science, namely, system engineer, in 1996. Since that time he participates in educational processes of a number of Irkutsk universities: Irkutsk State Technical University (Institute for Information Technologies and Data Analysis), Irkutsk State University (Institute for Mathematics and Informational Technologies, IMIT ISU), Irkutsk Transport University. My main occupation is in Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences (ISDCT SB RAS). He prefers personal (relatively independent) scientific research on developing information technologies (IT) related to logical inference application, e.g., knowledge-based systems; natural language processing (a new field) and synthesis of program structures on the base of a declarative description represented in a general form, e.g. UML-2.4, SysML, BPMN-2.0, et

Anton Ushakov received the MSc degree in applied mathematics from the Irkutsk State University and the PhD degree in applied mathematics from the Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences (ISDCT), Irkutsk, Russia, in 2009 and 2016, respectively. He held a position of visiting researcher in the Institute of Mathematics, University of' Seville, Spain in 2011 anc2012. He is now a senior researcher in ISDCT, His current research interests fall primarily into the areas of combinatorial optimization, integer programming, mathematical modeling, machine learning, artificial intelligence, parallel and distributed computations.

作者：王莹洁 责任编辑：马文明 审核：段昕