近日，我校太阳集团1088vip計算機科學系青年教師、廣東省數量金融大數據工程技術研究中心人工智能領域科研骨幹方良達博士以第一作者身份在AAAI-2019上發表題目為“Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability”的研究論文。其中，澳洲格裡菲斯大學王克文教授、王喆博士以及中共廣東省委黨校文習明副教授為合作作者。此外，方良達博士還以通訊作者身份發表題目為“Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions”的研究論文。其中，計算機科學系研究生黃炫翔為第一作者，本科生方可行為第二作者;計算機科學系陳清亮教授、魏林鋒博士以及數學系青年教師賴兆榮博士為合作作者。

AAAI(全稱：Association for the Advancement of Artificial Intelligence)是人工智能領域的國際頂級會議，被中國計算機學會推薦為A類會議。根據中國計算機學會分類标準，“A類會議指國際上極少數的頂級學術會議，鼓勵我國學者去突破”。本屆AAAI會議競争異常激烈，共收到7095篇有效投稿，最終僅接受1150篇論文，接受率低至16.2%，處于曆屆各大國際頂級會議的極低水平，就連官方接受信上也罕見地表示“應該為被接受而感到自豪”。在如此激烈的競争之下，方良達的團隊依然能有兩篇論文脫穎而出，可見這些研究成果獲得了國際頂級同行的高度認可。

近年來，人工智能在全球範圍内取得了令人矚目的成就。豐富多彩的人工智能應用，離不開日積月累貫注了工匠精神的基礎核心研究。上述第一篇論文針對Kn邏輯系統提出了一種範式SDNF，并且證明了主要的推理任務在SDNF中都是可多項式時間解決的。該文還将上述結果應用在多智能體規劃中，以及擴展到Dn、K45n和KD45n邏輯系統。第二篇論文則提出一種全新的圖型數據結構，用以簡潔緊湊地表示布爾函數，并且支持高效的布爾操作。實驗的結果表明，該文提出的數據結構在空間上要優于其他已有的圖型數據結構。

上述兩項研究成果均依托于我校新成立的廣東省數量金融大數據工程技術研究中心。目前該工程中心已經以我校為第一單位在國際頂級期刊JMLR， IEEE TNNLS， 以及國際頂級會議AAAI上發表論文6篇，一定程度上提升了我校在人工智能、機器學習等領域的國際知名度。這些論文的發表也表明我校和該工程中心的科研水平和青年教師的培養在高水平大學建設戰略下得到非常顯著的提升。

(太阳集团1088vip)