对话 IJCAI 11卓越研究奖得主 Robert Kowalski ：要实现真正的智慧 AI 必须兼具两种思维

雷锋网 AI 科技评论：今年，IJCAI（国际人工智能联合会议，International Joint Conferences on Artificial Intelligence）将于 8 月 10 日至 16 日在中国澳门隆重召开。作为国际人工智能领域最顶级的学术会议之一，IJCAI 始终都是该领域研究者关注的焦点会议之一。

在迎来 50 岁生日的今年，IJCAI 2019 所承载的意义非凡，而随着会议临近，我们开启了 IJCAI 50 周年两大系列报道：对话 IJCAI“卓越研究奖”获得者和对话 IJCAI“中国学者第一人”。在此前，我们已经先后与 2007 年“卓越研究奖”得主 Alan Bundy、IJCAI“中国参会第一人”林尧瑞、IJCAI“首位发表论文的中国学者”张钹进行了对话，在深入了解他们的职业生涯、研究成果的同时，也从这些见证了 IJCAI 不同阶段历史的学者们口中听到了不少 IJCAI 背后的故事。

Robert Kowalski 作为 2011 年 IJCAI“卓越研究奖”的获得者，同样也是人工智能领域中最杰出的科学家之一。他因在“自动定理证明”、“逻辑程式设计”等领域的杰出贡献而闻名于学术界，取得了包括 SL 分辨率（SL-resolution）、溯因逻辑程式（Abductive Logic Programming）在内的一系列学术成果，对人工智能领域的发展都带来了非常重要的影响。

Robert Kowalski（生于 1941 年 5 月 15 日），逻辑学和电脑科学家，任职于伦敦帝国理工学院。他在定理机器证明（Automated theorem proving）内取得了一系列成果，包括开发出 SL 分辨率、连线图证明程式、霍恩子句过程解释以及霍恩子句最小模型和不动点语义等，此外，他还是溯因逻辑程式（Abductive Logic Programming）的开发者之一。他曾担任 AAAI Fellow、ECCAI Fellow 和 ACM Fellow，并获得了 2011 年 IJCAI “卓越研究奖”以及日本科学促进会“杰出科学家奖”。

在 AI 科技评论与 Robert Kowalski 的对话中，这位已是 78 岁高龄的卓越科学家在回顾自己的研究生涯中，感慨颇多的便是曾经那段个人目标与现实产生冲突的艰难时光，随着个人目标与现实达成和解，Robert Kowalski 最终也得偿所愿地去专注地追逐自己最初的个人目标：应用逻辑来解决人类的现实问题。

时至今日，Robert Kowalski 依旧活跃在人工智能领域研究的最前线，而作为一位传统 AI 研究者的他，也紧密关注著研究动态，对于深度学习等热门的 AI 研究也有着自己的思考，他将认为传统 AI 与当前的热门 AI 实际上更像是人类的两种不同的思维方式——慢思维和快思维，而二者的关系则应该是相辅相成、共同为 AI 带来开创性发展局面的。

对于今年适逢 50 周年的 IJCAI 2019，Robert Kowalski 也表达了对它的祝愿，并向 IJCAI 组委会以及支持者表达了自己最衷心的感谢。