A linguagem de programação Planner, desenvolvida no final da década de 1960, introduziu uma incorporação procedimental de conhecimento que forneceu uma alternativa às abordagens lógicas existentes em inteligência artificial. Este projeto serviu como um pilar central na carreira de Carl Eddie Hewitt, um cientista da computação e matemático cuja pesquisa, abrangendo mais de três décadas, influenciou o desenvolvimento da computação concorrente e da programação lógica.
Base acadêmica no MIT
Carl Eddie Hewitt obteve seu doutorado em matemática no Instituto de Tecnologia de Massachusetts (MIT) em 1971. Seus supervisores de doutorado incluíram Seymour Papert, Marvin Minsky e Mike Paterson. Após sua graduação, ele ingressou no corpo docente do MIT no Departamento de Engenharia Elétrica e Ciência da Computação, onde lecionou até o ano acadêmico de 1999–2000. Após sua aposentadoria, ele recebeu o status de emérito no departamento. Ao longo de seu mandato, ele orientou numerosos alunos de doutorado, incluindo Gul Agha, Henry Baker, William Clinger, Irene Greif e Akinori Yonezawa.
Desenvolvimento do Planner
Durante seu tempo no Laboratório de Inteligência Artificial do MIT, Hewitt trabalhou no Planner, uma linguagem projetada para planejamento automatizado e prova de teoremas em robôs. Ao contrário dos métodos lógicos anteriores favorecidos por pesquisadores como John McCarthy, o Planner utilizava invocação direcionada por padrões a partir de asserções e objetivos. Um subconjunto da linguagem, Micro-Planner, foi implementado por Gerry Sussman, Drew McDermott, Eugene Charniak e Terry Winograd, impulsionando posteriormente programas como SHRDLU e vários experimentos de compreensão de histórias em linguagem natural. Hewitt colaborou mais tarde no Muddle, uma versão estendida do Lisp destinada a refinar a implementação dos conceitos do Planner.
O modelo de ator e a computação concorrente
Em 1972, Hewitt mudou seu foco após desenvolver o modelo de ator de computação concorrente junto com seus alunos de pós-graduação. Introduzido formalmente em um artigo de 1973 em coautoria com Peter Bishop e Richard Steiger, o modelo propôs uma nova estrutura para processos paralelos. Este trabalho influenciou a criação da linguagem de programação Scheme, onde os pesquisadores Sussman e Steele notaram que seu operador para criação de atores compartilhava identidade com o operador de cálculo lambda. O modelo de ator informou posteriormente o desenvolvimento de várias linguagens, incluindo E, SALSA e ActorScript, bem como o π-cálculo teórico.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Alcance profissional e pesquisa posterior
Hewitt manteve uma presença acadêmica internacional, servindo como professor visitante da Cátedra IBM na Universidade Keio, no Japão, de setembro de 1989 a agosto de 1990. Ele também ocupou uma cátedra visitante na Universidade de Stanford. Em sua última década de pesquisa, ele se concentrou na robustez contra inconsistências, visando criar fundamentos rigorosos para sistemas de informação que lidam com dados persistentemente inconsistentes. Sua produção acadêmica abrangeu diversas áreas como sistemas de informação abertos, lógica paraconsistente, computação em nuvem e sistemas multiagentes organizacionais.
Fatos rápidos
- Nascimento: 1944 - Falecimento: 2022, Aptos - Cidadania: Estados Unidos - Educação: Instituto de Tecnologia de Massachusetts - Campo principal: Ciência da Computação - Obra notável: Planner - Supervisor acadêmico: Marvin Minsky - Professor visitante: Universidade Keio
Perguntas dos leitores
### Qual foi o propósito da linguagem Planner?
O Planner foi projetado para planejamento automatizado e prova de teoremas, especificamente para uso em inteligência artificial e robótica.
### Como Hewitt contribuiu para a programação concorrente?
Ele desenvolveu o modelo de ator, um sistema formal para computação concorrente que influenciou múltiplas linguagens de programação e o desenvolvimento do π-cálculo.
