20世纪60年代末开发的Planner编程语言引入了一种过程化的知识嵌入方式，为人工智能中现有的逻辑方法提供了替代方案。该项目是卡尔·埃迪·休伊特（Carl Eddie Hewitt）职业生涯的核心支柱，他是一位计算机科学家和数学家，其研究跨越了三十多年，影响了并发计算和逻辑编程的发展。
麻省理工学院的学术基础
卡尔·埃迪·休伊特于1971年在麻省理工学院（MIT）获得数学博士学位。他的博士导师包括西摩尔·派珀特（Seymour Papert）、马文·明斯基（Marvin Minsky）和迈克·帕特森（Mike Paterson）。毕业后，他加入了麻省理工学院电气工程与计算机科学系，一直任教到1999–2000学年。退休后，他被授予该系名誉教授身份。在他的任期内，他指导了众多博士生，包括古尔·阿加（Gul Agha）、亨利·贝克（Henry Baker）、威廉·克林格（William Clinger）、艾琳·格雷夫（Irene Greif）和米泽明宪（Akinori Yonezawa）。
Planner的发展
在麻省理工学院人工智能实验室工作期间，休伊特致力于Planner的研究，这是一种为机器人自动规划和定理证明而设计的语言。与约翰·麦卡锡（John McCarthy）等研究人员所青睐的传统逻辑方法不同，Planner利用了基于断言和目标的模式导向调用。该语言的一个子集Micro-Planner由格里·萨斯曼（Gerry Sussman）、德鲁·麦克德莫特（Drew McDermott）、尤金·查尼亚克（Eugene Charniak）和特里·威诺格拉德（Terry Winograd）实现，随后为SHRDLU等程序以及各种自然语言故事理解实验提供了动力。休伊特后来合作开发了Muddle，这是Lisp的一个扩展版本，旨在完善Planner概念的实现。
参与者模型与并发计算
1972年，休伊特在与研究生共同开发了并发计算的参与者模型后，改变了研究重点。该模型在与彼得·毕晓普（Peter Bishop）和理查德·斯泰格（Richard Steiger）合著的1973年论文中正式提出，为并行处理提供了一个新的框架。这项工作影响了Scheme编程语言的创建，研究人员萨斯曼和斯蒂尔指出，他们的参与者创建运算符与lambda演算运算符具有相同的标识。参与者模型随后为包括E、SALSA和ActorScript在内的多种语言以及理论π演算的发展提供了参考。
专业外联与后期研究
休伊特保持着国际学术影响力，曾于1989年9月至1990年8月在日本庆应义塾大学担任IBM讲座客座教授。他还曾在斯坦福大学担任客座教授。在他研究的最后十年里，他专注于不一致鲁棒性，旨在为处理普遍不一致数据的信息系统建立严谨的基础。他的学术成果涵盖了开放信息系统、次协调逻辑、云计算和组织多智能体系统等多个领域。
快速事实
- 出生：1944年 - 去世：2022年，阿普托斯 - 国籍：美国 - 教育：麻省理工学院 - 主要领域：计算机科学 - 著名作品：Planner - 学术导师：马文·明斯基 - 客座教授：庆应义塾大学
读者常见问题
### Planner语言的目的是什么？
Planner旨在用于自动规划和定理证明，特别是用于人工智能和机器人技术。
### 休伊特如何为并发编程做出贡献？
他开发了参与者模型，这是一种用于并发计算的形式系统，影响了多种编程语言和π演算的发展。
