Carl Hewitt - Carl Hewitt

Carl Hewitt
Hewitt-Carl-2008.jpg
Carl Hewitt em 2008
Alma mater MIT
Conhecido por Modelo de ator Planejador de
robustez de inconsistência ( programas lógicos ) Esquematologia comparativa

Carreira científica
Campos Ciência da computação
Lógica matemática
Modelo de computação
Linguagens de programação
Filosofia da lógica
Instituições MIT
Keio University
Stanford University
Orientador de doutorado Seymour Papert
Outros conselheiros acadêmicos Marvin Minsky
Mike Paterson
Alunos de doutorado Gul Agha
Henry Baker
William Clinger
Irene Greif
Akinori Yonezawa

Carl Eddie Hewitt ( / h j u ɪ t / ) é um cientista da computação norte-americana que projetou a linguagem de programação Planner para o planejamento automatizado e o modelo do ator de computação concorrente , que têm sido influentes no desenvolvimento da lógica , funcional e orientada a objeto programação . Planner foi a primeira linguagem de programação baseada em planos de procedimentos invocados usando invocação direcionada a padrões a partir de asserções e objetivos. O modelo de ator influenciou o desenvolvimento da linguagem de programação Scheme , o π-calculus , e serviu de inspiração para várias outras linguagens de programação.

Educação e carreira

Hewitt obteve seu PhD em matemática no MIT em 1971, sob a supervisão de Seymour Papert , Marvin Minsky e Mike Paterson . Ele começou seu emprego no MIT naquele ano e se aposentou do corpo docente do Departamento de Engenharia Elétrica e Ciência da Computação do MIT durante o ano letivo de 1999–2000. Ele se tornou emérito no departamento em 2000. Entre os alunos de doutorado que Hewitt supervisionou durante seu tempo no MIT estão Gul Agha , Henry Baker , William Clinger , Irene Greif e Akinori Yonezawa .

De setembro de 1989 a agosto de 1990, Hewitt foi Professor Visitante IBM Chair no Departamento de Ciência da Computação da Universidade Keio no Japão. Ele também foi professor visitante na Universidade de Stanford .

Pesquisar

Hewitt é mais conhecido por seu trabalho no modelo de ator de computação. Durante a última década, seu trabalho tem sido em "robustez de inconsistência", que visa fornecer fundamentos práticos rigorosos para sistemas que lidam com informações amplamente inconsistentes. Este trabalho surgiu de sua dissertação de doutorado focada na incorporação procedural (em oposição à lógica) de conhecimento, que foi incorporada na linguagem de programação Planner .

Suas publicações também incluem contribuições nas áreas de sistemas de informação abertos , sistemas organizacionais e multiagentes , programação lógica , programação simultânea , lógica paraconsistente e computação em nuvem .

Planejador

A linguagem Planner foi desenvolvida durante o final dos anos 1960 como parte da pesquisa de doutorado de Hewitt no Laboratório de Inteligência Artificial do MIT. O trabalho de Hewitt no Planner introduziu a noção de "incorporação procedimental de conhecimento", que era uma alternativa à abordagem lógica para codificação de conhecimento para inteligência artificial iniciada por John McCarthy . O Planner foi descrito como "extremamente ambicioso". Um subconjunto do Planner chamado Micro-Planner foi implementado no MIT por Gerry Sussman , Drew McDermott , Eugene Charniak e Terry Winograd e foi usado no programa SHRDLU do Winograd , no trabalho de compreensão de histórias em linguagem natural de Charniak e no trabalho de L. Thorne McCarty sobre raciocínio jurídico. O Planner foi quase completamente implementado em Popler por Julian Davies em Edimburgo. O Planner também influenciou o desenvolvimento posterior de outras linguagens de pesquisa de IA, como Muddle e Conniver, bem como a linguagem de programação orientada a objetos Smalltalk .

O próprio trabalho de Hewitt no Planner continuou com Muddle (mais tarde chamado de MDL), que foi desenvolvido no início dos anos 1970 por Sussman, Hewitt, Chris Reeve e David Cressey como um trampolim para uma implementação completa do Planner. Muddle foi implementado como uma versão estendida do Lisp e introduziu vários recursos que foram posteriormente adotados pelo Conniver, Lisp Machine Lisp e Common Lisp. No entanto, no final de 1972, Hewitt interrompeu abruptamente o desenvolvimento do design do Planner em sua tese, quando ele e seus alunos de pós-graduação inventaram o modelo de ator de computação.

Modelo de ator

O trabalho de Hewitt no modelo de ator de computação se estende por mais de 30 anos, começando com a introdução do modelo em um artigo de 1973 de autoria de Hewitt, Peter Bishop e Richard Steiger, e incluindo novos resultados na semântica do modelo de ator publicado recentemente em 2006. Muito desse trabalho foi realizado em colaboração com alunos do Message Passing Semantics Group da Hewitt no Artificial Intelligence Lab do MIT.

Sussman e Steele desenvolveram a linguagem de programação Scheme em um esforço para obter uma melhor compreensão do modelo de ator. No entanto, seu interpretador de Scheme não foi capaz de implementar totalmente o modelo de ator porque clientes de ator não podem ser implementados como continuações de cálculo lambda e os atores podem alterar seu estado local de uma forma que é impossível no cálculo lambda. Uma série de linguagens de programação foram desenvolvidas especificamente para implemente o modelo de ator, como ACT-1, SALSA , Caltrop, E e ActorScript. O modelo de ator também influenciou o desenvolvimento do cálculo π . (Veja o modelo de ator e o histórico de cálculos do processo .)

Trabalhos selecionados

Veja também

Referências

links externos