El lenguaje de programación Planner, desarrollado a finales de la década de 1960, introdujo una incrustación procedimental del conocimiento que proporcionó una alternativa a los enfoques lógicos existentes en la inteligencia artificial. Este proyecto sirvió como pilar central en la carrera de Carl Eddie Hewitt, un científico informático y matemático cuya investigación, que abarcó más de tres décadas, influyó en el desarrollo de la computación concurrente y la programación lógica.
Base académica en el MIT
Carl Eddie Hewitt obtuvo su doctorado en matemáticas en el Instituto Tecnológico de Massachusetts (MIT) en 1971. Sus supervisores de doctorado incluyeron a Seymour Papert, Marvin Minsky y Mike Paterson. Tras su graduación, se unió al cuerpo docente del MIT en el Departamento de Ingeniería Eléctrica y Ciencias de la Computación, donde enseñó hasta el año académico 1999–2000. Tras su jubilación, se le otorgó el estatus de emérito en el departamento. A lo largo de su mandato, fue mentor de numerosos estudiantes de doctorado, incluidos Gul Agha, Henry Baker, William Clinger, Irene Greif y Akinori Yonezawa.
Desarrollo de Planner
Durante su tiempo en el Laboratorio de Inteligencia Artificial del MIT, Hewitt trabajó en Planner, un lenguaje diseñado para la planificación automatizada y la demostración de teoremas en robots. A diferencia de los métodos lógicos anteriores favorecidos por investigadores como John McCarthy, Planner utilizaba la invocación dirigida por patrones a partir de aserciones y objetivos. Un subconjunto del lenguaje, Micro-Planner, fue implementado por Gerry Sussman, Drew McDermott, Eugene Charniak y Terry Winograd, impulsando posteriormente programas como SHRDLU y varios experimentos de comprensión de historias en lenguaje natural. Hewitt colaboró más tarde en Muddle, una versión extendida de Lisp destinada a refinar la implementación de los conceptos de Planner.
El modelo de actor y la computación concurrente
En 1972, Hewitt cambió su enfoque tras desarrollar el modelo de actor de computación concurrente junto con sus estudiantes de posgrado. Introducido formalmente en un artículo de 1973 en coautoría con Peter Bishop y Richard Steiger, el modelo propuso un nuevo marco para procesos paralelos. Este trabajo influyó en la creación del lenguaje de programación Scheme, donde los investigadores Sussman y Steele notaron que su operador para la creación de actores compartía identidad con el operador de cálculo lambda. El modelo de actor informó posteriormente el desarrollo de varios lenguajes, incluidos E, SALSA y ActorScript, así como el π-cálculo teórico.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Difusión profesional e investigación posterior
Hewitt mantuvo una presencia académica internacional, sirviendo como profesor visitante de la Cátedra IBM en la Universidad de Keio en Japón desde septiembre de 1989 hasta agosto de 1990. También ocupó una cátedra visitante en la Universidad de Stanford. En su última década de investigación, se centró en la robustez ante la inconsistencia, con el objetivo de crear fundamentos rigurosos para sistemas de información que manejen datos persistentemente inconsistentes. Su producción académica abarcó diversas áreas como sistemas de información abiertos, lógica paraconsistente, computación en la nube y sistemas multiagente organizacionales.
Datos rápidos
- Nacimiento: 1944 - Fallecimiento: 2022, Aptos - Ciudadanía: Estados Unidos - Educación: Instituto Tecnológico de Massachusetts - Campo principal: Ciencias de la computación - Obra notable: Planner - Supervisor académico: Marvin Minsky - Profesor visitante: Universidad de Keio
Preguntas frecuentes de los lectores
### ¿Cuál fue el propósito del lenguaje Planner?
Planner fue diseñado para la planificación automatizada y la demostración de teoremas, específicamente para su uso en inteligencia artificial y robótica.
### ¿Cómo contribuyó Hewitt a la programación concurrente?
Desarrolló el modelo de actor, un sistema formal para la computación concurrente que influyó en múltiples lenguajes de programación y en el desarrollo del π-cálculo.
