近期，我院朱朝晖教授團隊在人工智能領域國際頂級期刊《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，每年在此期刊上發表的高水平論文僅一百篇左右。