实验室成立于1993年，主要依托王湘浩院士创建的吉林大学数学（国家一级重点学科）和计算机科学与技术（其中计算机软件与理论为国家二级重点学科）两个一级学科。实验室在国内最早开展人工智能研究，是国内唯一以符号计算与知识工程为主要研究方向的教育部重点实验室，在人工智能研究领域享有很高的声誉。

实验室的总体定位是：面向科学前沿和国家重大需求，以人工智能为核心，以多学科交叉为特色，开展基础和应用基础研究。实验室的发展目标是：加强引...