4月27日晚，浙江财经大学中国金融研究院基金研究中心副主任贾海瑞博士应邀做客数学与统计学院第34期“与信仰对话”讲坛，作题为“归结自动推理的理论与应用”的报告。本期讲坛由数学与统计学院党委副书记王庆林主持，信息与计算科学专业、统计学专业、数据科学与大数据技术专业等200余名学生线上聆听。
报告中，贾海瑞首先从人工智能领域中的一个基本课题——自动推理谈起，对归结自动推理理论及其应用领域进行了介绍。他表示，归结自动推理的研究成果已在人工智能、逻辑编程、软件模型检测与测试、程序自动验证等方面得到了广泛应用。针对归结自动推理的研究基础和实际应用，贾海瑞逐步展开讨论，介绍了语言值代数格、布尔代数、格蕴涵代数、几种典型的格值逻辑代数、基于这些逻辑代数的逻辑系统中的归结自动推理等知识，以丰富的实例阐述归结自动推理的应用方式，生动形象地讲明了如何处理带有不可比较性的现实问题，讲解了不可比较性的一些代数方法、归结自动推理的演绎原理和方法，刻画了归结自动推理在人工智能等领域的重要角色。
讲座最后，贾海瑞畅谈求学时光与工作经历，并建议同学们认真学好基础课程，增强知识更新的紧迫感，多看多学、多思多想、多做多问。他寄语大家要心怀鸿鹄之志，脚踏实地前行，不负时代，不负韶华。
贾海瑞，9I制作厂免费2006级数学与应用数学专业学生，西南交通大学硕博连读，浙江财经大学应用经济学博士后,现为浙江财经大学中国金融研究院基金研究中心副主任。主要研究领域为逻辑推理、自动推理、人工智能、金融科技等。发表学术论文20余篇，其中SCI检索10篇，EI检索8篇，CSCD检索2篇，主持和参与国家项目4项、教育部课题1项、省级课题2项、横向项目4项。
文、图：数学与统计学院 编辑：王燕、朱贺
