近期，我院朱朝晖教授团队在人工智能领域国际顶级期刊《Artificial Intelligence》（AIJ）发表了题为“A general approach to extension-based semantics in abstract argumentation”的研究论文，提出抽象论辩框架（AAF）扩展上的归约交算子，进一步发展了Grossi和Modgil提出的分级语义。我院2018级博士生谭立兴为论文唯一第一作者，朱朝晖教授为论文唯一通讯作者，这也是我院首次以第一/通讯单位身份在该期刊发表论文。

该文主要工作包括如下两方面：

基于数理逻辑模型论的模超滤子构造思想，提出并较为系统地研究了抽象论辩框架（AAF）扩展上的归约交算子。在对象和元理论层面获得的研究结果表明，该算子下具有封闭性的扩展语义较为普遍，它是一个具有普适性的扩展构造方法，是处理语义泛可定义性、可实现性、等价 AAF 特征以及等价约简等相关理论问题的有用数学工具。

将著名的Dung基础引理推广到AAF分级语义，为分级扩展的不动点构造提供了关键的数学基础。在此基础上，构建了允许集与完全扩展之间的伽罗瓦伴随，进而较系统地建立了各种扩展语义的内在联系和序结构性质，为AAF不同语义之间计算问题求解器的复用提供了必要的理论基础；修正了 Grossi 和 Modgil相关工作（Artificial Intelligence, 2019, 275）中主要理论结果的错误。

据悉，《Artificial Intelligence》创刊于1970年，是传统人工智能领域最好的国际期刊之一，在领域内享有盛誉，同时也是中国计算机学会CCF推荐的A类期刊。该期刊2022年的影响力因子为14.05，每年在此期刊上发表的高水平论文仅一百篇左右。