4 月26日 上午，西安工程大学理学院数学力学系主任马盈仓教授在我院217报告厅作了题为“粗糙逻辑的计量化研究”的学术报告。报告会由我院徐久成院长主持。计算机学院领导、部分教师及研究生、本科生200余人聆听了讲座。 粗糙逻辑理论是经典人工智能领域的基础理论。 马盈仓 教授首先介绍了数理逻辑的基本概念，给出了相关的命题演算理论，在此基础上分析了模糊逻辑的语义和语构，讨论了粗糙逻辑的语义和语构，给出了一系列蕴涵算子的数学性质；围绕着数理逻辑的计量化问题， 马 教授讨论了语义语构的可靠性与完备性性质，并最终扩展到粗糙逻辑的计量化范畴。 报告结束后， 马 教授与现场师生积极互动，并热情回答了大家的提问。 （计算机与信息工程学院毛文涛/文 王艳军/图）
