Carl Hewitt

Die Programmiersprache Planner, die in den späten 1960er Jahren entwickelt wurde, führte eine prozedurale Einbettung von Wissen ein, die eine Alternative zu bestehenden logischen Ansätzen in der künstlichen Intelligenz bot. Dieses Projekt diente als zentraler Pfeiler in der Karriere von Carl Eddie Hewitt, einem Informatiker und Mathematiker, dessen Forschung über drei Jahrzehnte hinweg die Entwicklung von nebenläufigen Berechnungen und logischer Programmierung beeinflusste.

Akademisches Fundament am MIT

Carl Eddie Hewitt promovierte 1971 in Mathematik am Massachusetts Institute of Technology (MIT). Zu seinen Doktorvätern gehörten Seymour Papert, Marvin Minsky und Mike Paterson. Nach seinem Abschluss trat er in das Lehrkörper des MIT im Fachbereich Elektrotechnik und Informatik ein, wo er bis zum akademischen Jahr 1999–2000 lehrte. Nach seiner Pensionierung wurde ihm der Status eines emeritierten Professors im Fachbereich verliehen. Während seiner Amtszeit betreute er zahlreiche Doktoranden, darunter Gul Agha, Henry Baker, William Clinger, Irene Greif und Akinori Yonezawa.

Entwicklung von Planner

Während seiner Zeit am MIT Artificial Intelligence Laboratory arbeitete Hewitt an Planner, einer Sprache, die für automatisierte Planung und Theorembeweise in Robotern konzipiert war. Im Gegensatz zu früheren logischen Methoden, die von Forschern wie John McCarthy bevorzugt wurden, nutzte Planner eine mustergesteuerte Aufrufmethode basierend auf Behauptungen und Zielen. Eine Teilmenge der Sprache, Micro-Planner, wurde von Gerry Sussman, Drew McDermott, Eugene Charniak und Terry Winograd implementiert und trieb anschließend Programme wie SHRDLU und verschiedene Experimente zum Verständnis von Geschichten in natürlicher Sprache an. Hewitt arbeitete später an Muddle mit, einer erweiterten Version von Lisp, die darauf abzielte, die Implementierung von Planner-Konzepten zu verfeinern.

Das Akteur-Modell und nebenläufige Berechnungen

Im Jahr 1972 änderte Hewitt seinen Fokus, nachdem er zusammen mit seinen Doktoranden das Akteur-Modell für nebenläufige Berechnungen entwickelt hatte. Das Modell, das 1973 in einem gemeinsam mit Peter Bishop und Richard Steiger verfassten Papier offiziell vorgestellt wurde, schlug einen neuen Rahmen für parallele Prozesse vor. Diese Arbeit beeinflusste die Schaffung der Programmiersprache Scheme, wobei die Forscher Sussman und Steele feststellten, dass ihr Operator zur Erstellung von Akteuren die Identität mit dem Lambda-Kalkül-Operator teilte. Das Akteur-Modell informierte anschließend die Entwicklung verschiedener Sprachen, darunter E, SALSA und ActorScript, sowie den theoretischen π-Kalkül.

Professionelle Reichweite und spätere Forschung

Hewitt unterhielt eine internationale akademische Präsenz und war von September 1989 bis August 1990 als IBM Chair Visiting Professor an der Keio-Universität in Japan tätig. Er hatte auch eine Gastprofessur an der Stanford University inne. In seinem letzten Jahrzehnt der Forschung konzentrierte er sich auf Inkonsistenz-Robustheit mit dem Ziel, rigorose Grundlagen für Informationssysteme zu schaffen, die mit durchgehend inkonsistenten Daten umgehen. Seine akademische Arbeit umfasste verschiedene Bereiche wie offene Informationssysteme, parakonsistente Logik, Cloud Computing und organisatorische Multi-Agenten-Systeme.

Fakten auf einen Blick

- Geboren: 1944 - Gestorben: 2022, Aptos - Staatsbürgerschaft: Vereinigte Staaten - Ausbildung: Massachusetts Institute of Technology - Hauptfach: Informatik - Bedeutendes Werk: Planner - Akademischer Betreuer: Marvin Minsky - Gastprofessor: Keio-Universität

Fragen von Lesern

### Was war der Zweck der Planner-Sprache?

Planner wurde für automatisierte Planung und Theorembeweise konzipiert, speziell für den Einsatz in der künstlichen Intelligenz und Robotik.

### Wie trug Hewitt zur nebenläufigen Programmierung bei?

Er entwickelte das Akteur-Modell, ein formales System für nebenläufige Berechnungen, das mehrere Programmiersprachen und die Entwicklung des π-Kalküls beeinflusste.