我校教师团队论文在国际知名期刊发表

近日，信息工程学院王晖教授课题组最新研究成果“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一区。（文/图 王晖 责任编辑 周冠佳 潘旭）

期刊封面