报告题目: 多值逻辑演算理论

报告人：刘华文 教授

                雷火竞技数学学院

报告时间：2017年06月29日下午15:00-16:00

报告地点：网络楼报告厅

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

报告人简介：刘华文教授，现为雷火竞技数学学院教授，博士生导师。刘教授近几年一直致力于不确定性推理、非经典数理逻辑与模糊系统分析的研究工作，已主持完成国家自然科学基金(Nos.60774100,61174099)、中国博士后科学基金（No.20070410374）和山东省自然科学基金(No.Y2007A15)项目的研究,共发表学术论文100余篇，其中单篇最高SCI他引157次，并得到了国际著名的模糊系统及不确定性理论专家Dubois, Prade, Yager和Mesiar等同行的评价与引用。曾被聘为“全国优秀博士学位论文评选”通讯评议评审专家和教育部学位中心“学科评估”专家。