9月12日下午3点到6点，高思存博士应邀在北京大学理教417教室进行了一场题为”自动推理与人工智能“的讲座。高思存博士结合自己的研究经历，简要介绍了当前自动推理在发展所谓第三代人工智能中的重要性，并且解释自动推理与机器学习之间的关系和共同的发展方向。

       高思存博士的讲座吸引了逻辑学、计算机等许多领域感兴趣的老师和同学前来参加，现场气氛热烈，讨论充分。