一句话：主张加强程序分析程序（PAP）的工程基础，并展望规则智能与学习结合的新一代代码智能。
该主旨演讲将 McCarthy 对人工智能的定义专门化，把代码智能（CI）界定为分析其他计算机程序（PAP）的智能程序。演讲据此分为两部分：第一部分主张应更加重视 PAP 的工程基础研究，即为代码智能系统建立编程与执行模型等系统性工程支撑；第二部分展望将当前 PAP 中基于规则的智能与学习能力相结合的新方向。作者认为，新颖的工程基础与增强的智能共同刻画了下一代 PAP 的特征。全文属于立场与展望型主旨报告，未给出具体系统实现或实验评估；其核心贡献在于提出研究议程，强调工程基础与学习增强两条路线对代码智能系统演进的关键作用。
McCarthy defined Artificial Intelligence (AI) as “the science and engineering of making intelligent computer programs”. I define Code Intelligence (CI) by specializing his definition to intelligent computer programs that analyze other computer programs (PAPs for short) and use it to structure the keynote in two parts. The first part argues for more research on engineering foundations of PAPs. The second part outlooks new directions of combining rule-based intelligence of current PAPs with learning capabilities. Together, novel engineering foundations and enhanced intelligence characterize what I think will be the next generation of PAPs.
DOI 原文 ·
@inproceedings{paperbot6365,
title = {Programming and execution models for next generation code intelligence systems (keynote)},
author = {Mira Mezini},
booktitle = {FSE},
year = {2021},
doi = {10.1145/3468264.3478688}
}