近日，PA视讯平台王晖教授课题组最新研究成果“Formalizing rough sets using a new non-contingency axiomatic system”被JCR一区期刊International Journal of Intelligent Systems接收发表，邓少波博士为该论文第一作者，王晖教授为通讯作者，PA视讯平台(中国区)官方网站-Made in PlayacePA视讯平台为第一署名单位。

该文针对当前逻辑系统形式化粗粗集理论所存在的问题，建立了一种新的逻辑的公理化系统，给出新的公理模式与推导规则，证明了可靠性定理与完备性定理；在形式化粗粗集理论过程中，证明了该公理化系统的模态词对应两种等价类，以及形式化系统的可靠性与完备性。

International Journal of Intelligent Systems属于智能计算、机器学习与人工智能领域的国际知名期刊，该期刊2021年SCI影响因子8.709，位列于JCR一区。（文/图 王晖）

期刊封面