Carl Hewitt - Carl Hewitt
Carl Hewitt | |
---|---|
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
- Carl Hewitt (1969). PLANNER: Uma linguagem para provar teoremas em robôs IJCAI'69.
- Carl Hewitt, Peter Bishop e Richard Steiger (1973). A Universal Modular Actor Formalism for Artificial Intelligence IJCAI'73.
- Carl Hewitt e Henry Baker (1977a). Leis para a comunicação de processos paralelos IFIP'77.
- Carl Hewitt e Henry Baker (1977b). Atores e Continuous Functionals Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. 1 a 5 de agosto de 1977.
- William Kornfeld e Carl Hewitt (1981). The Scientific Community Metaphor IEEE Transactions on Systems, Man, and Cybernetics. Janeiro de 1981.
- Henry Lieberman e Carl E. Hewitt (1983). Um coletor de lixo em tempo real baseado na vida útil das comunicações de objetos do ACM, 26 (6).
- Carl Hewitt (1985). O Desafio da Revista Byte de Sistemas Abertos . Abril de 1985. (Reimpresso em The Foundation of Artificial Intelligence - um livro de referência Cambridge University Press. 1990
Veja também
Referências
links externos
- Carl Hewitt no DBLP Bibliography Server
- Carl Eddie Hewitt do Mathematics Genealogy Project
- Blog oficial de Hewitt