近日,信息工程学院王晖教授课题组最新研究成果“Formalizing rough sets using a new non-contingency axiomatic system”被JCR一区期刊《International Journal of Intelligent Systems》接收发表,邓少波博士为该论文第一作者,王晖教授为通讯作者,南昌工程学院信息工程学院为第一署名单位。
期刊封面
该文针对当前逻辑系统形式化粗糙集理论所存在的问题,建立了一种新的逻辑的公理化系统,给出新的公理模式与推导规则,证明了可靠性定理与完备性定理;在形式化粗糙集理论过程中,证明了该公理化系统的模态词对应两种等价类,以及形式化系统的可靠性与完备性。
据悉,《International Journal of Intelligent Systems》属于智能计算、机器学习与人工智能领域的国际知名期刊,该期刊2021年SCI影响因子8.709,位列于JCR一区。
文图|王晖
编辑|黄颖
责任编辑 周冠佳 潘旭
终审|洪恩强 邹颖佳
往期回顾
寻乌县委蓝贤林书记一行来我校交流
我校2021年基层党支部书记培训班圆满结束
我校教师获全国成像光谱对地观测学术研讨会优秀学术报告奖
学生工作部(处)组织开展辅导员工作室内涵式建设专题交流学习活动