MLA2023

报告信息

题目：Are AI's Key Challenges Solved?

报告人：Stephen Muggleton 教授，Imperial College London

摘要：Generative Pre-trained Transformer models (GPT) are a form of Large-Language model which has recently attracted wide-scale interest based on general open-ended query-answering. In this talk I will look at some remaining challenges for the field of Artificial Intelligence. In particular, I will argue that although widely available systems, such as ChatGPT, partially address Alan Turing's "Imitation Game" [1950 paper in the Journal Mind] (now called the "Turing Test") they fall short of the "Supercriticality Challenge" which Turing provided within the same paper. While Turing's paper initiated the modern discussions on these topics, it was John McCarthy [1956] who named the field "Artificial Intelligence". In a 2006 keynote speech at the Inductive Logic Programming conference, McCarthy introduced a "Discovery Challenge" which is closely related to Turing's Supercriticality. I will exemplify a range of human discoveries in Science, Engineering and Mathematics, and argue that neither Turing's nor McCarthy's challenges are addressed by existing GPT techniques. By contrast, to enable progress on Discovery Systems, further work is required on development of methods for identifying and explaining rare phenomena. Some initial work and directions for further studies will be described.