近日，我校信息科学技术学院计算机科学系青年教师、广东省数量金融大数据工程技术研究中心人工智能领域科研骨干方良达博士以第一作者身份在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篇，一定程度上提升了我校在人工智能、机器学习等领域的国际知名度。这些论文的发表也表明我校和该工程中心的科研水平和青年教师的培养在高水平大学建设战略下得到非常显著的提升。

(信息科学技术学院)