报告题目：多值逻辑演算理论及应用

报告摘要：主要介绍上一世纪九十年代由国内学者王国俊教授提出的一个多值逻辑演算系统，称之为形式演绎系统L*。首先介绍经典命题演算系统L的研究框架及主要结论；然后，介绍形式演绎系统L*及其语义代数--R0代数的提出及主要结论；最后，介绍逻辑重言式在智能系统设计中的应用。

报告人：刘华文，山东大学数学学院，教授，博士生导师 。近几年致力于不确定性推理、非经典数理逻辑与模糊系统分析的研究工作，已主持完成国家自然科学基金面上项目2项、省部级自然科学基金项目3项;目前正在主持的项目:国家自然科学基金面上项目(No.61573211)和国家自然科学基金重点项目（No.11531009）的子课题项目。共发表学术论文100余篇，其中单篇最高SCI他引157次，并得到了国际著名的模糊系统及不确定性理论专家Dubois, Prade, Yager和Mesiar等同行的评价与引用。曾被聘为“全国优秀博士学位论文评选”通讯评议评审专家和教育部学位中心“学科评估”专家。

报告时间：2017年11月7日（周二）下午4:00

报告地点：长清校区B434伟德国际1946源自英国报告厅

欢迎各位老师和同学参加！