时间：9月12日周二下午3点至6点

地点：理教417教室

主讲人：高思存博士

题目：自动推理与人工智能

讲座的内容是简要介绍当前自动推理在发展所谓第三代人工智能中的重要性，解释自动推理与机器学习之间的关系和共同的发展方向。

English abstract:

We face grand new challenges as computer systems start engaging us physically with high levels of autonomy. For example, it is extremely difficult to build autonomous cars with safety guarantees, for two main reasons. First, their tight integration of computational and mechanical components generates behaviors that are not well-studied in either computer science or control engineering. Second, they are driven by modern AI algorithms that complicate software execution flows with monstrous nonlinear functions and error-prone numerical computation. Interestingly, both aspects of difficulty come from a common source: the hybridization of elements from two distinct domains. One is digital, logical, and discrete, while the other is analog, numerical, and continuous. My research addresses this fundamental difficulty in the cyber-physical domain, using an algorithmic approach that breaks down the barriers between the discrete and the continuous.

I will present the theories, algorithms, and practical tools developed in an automated reasoning framework that tackles the core computational challenges in cyber-physical systems design, by combining the full power of combinatorial search, numerical optimization, and statistical learning. The proposed methods provide formal reliability guarantees that can not be obtained through simulation and testing. I will show examples of successful applications in safe autonomous driving, personalized medicine, and security of critical infrastructures. I will also discuss how the work on design automation for cyber-physical systems can lead to the convergence of the first wave (symbolic reasoning) and second wave (statistical learning) of AI, towards a powerful algorithmic engine that is crucial for solving challenging problems in a broad range of engineering domains.

高思存，美国加州大学圣地亚哥分校计算机系助理教授，卡耐基梅隆大学逻辑学博士，北大逻辑学本科毕业，主页： https://scungao.github.io/

发布时间：2017-09-07 22:52:07