本网讯（新闻中心通讯员 李嘉树）近日，计算机科学与技术学院博士生郑爱华撰写的学术论文Matching State-based Sequence with Rich Temporal Aspects，被第26届AAAI人工智能国际会议录用。这是继2011年博士生孙登第的论文被IJCAI录用后，该院又一篇被录用的国际A类学术会议论文。

论文提出了一种规范的基于状态的时序模式匹配框架。该框架在规范的时序逻辑表达的基础上，首次囊括了状态时序模式匹配中丰富的时序因素，兼顾了状态时序模式匹配中的非时序因素。该方法较全面的解决了状态时序模式匹配问题，演绎说明了现有的热门状态时序模式匹配算法均可看成该框架的特例。实验结果证明该框架有较强的稳定性和适应性。

AAAI成立于1979年，全称为the Association for the Advancement of Artificial Intelligence。 AAAI和IJCAI并列是世界人工智能领域顶尖的两个国际学术会议，会议每年在每个领域上只能录取几篇论文，所录用论文反映国际人工智能研究最高水平成果。