Carl Hewitt

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Carl Hewitt
File:Carl Hewitt Crop Rotate Trim.jpg
Carl Hewitt in 2008
Thesis Description and Theoretical Analysis (Using Schemata) of PLANNER, A Language for Proving Theorems and Manipulating Models in a Robot (1971)
Doctoral advisor Seymour Papert
Doctoral students Gul Agha
Henry Baker
William Clinger
Irene Greif
Akinori Yonezawa

Carl Eddie Hewitt (/ˈhjuːɪt/) is a computer scientist who designed the Planner programming language for automated planning[1] and the Actor model of concurrent computation,[2] which have been influential in the development of logic, functional and object-oriented programming. Planner was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. The Actor model influenced the development of the Scheme programming language,[3] the π-calculus,[4] and served as an inspiration for several other programming languages.[5]

Education and career

Hewitt obtained his PhD in mathematics at MIT in 1971, under the supervision of Seymour Papert, Marvin Minsky, and Mike Paterson. Hewitt started his employment at MIT in 1971.[6] He retired from the faculty of the MIT Department of Electrical Engineering and Computer Science during the 1999-2000 school year.[7] Among the doctoral students that Hewitt supervised during his time at MIT are Gul Agha, Henry Baker, William Clinger, Irene Greif, and Akinori Yonezawa.[8]

From September 1989 to August 1990, Hewitt was the IBM Chair Visiting Professor in the Department of Computer Science at Keio University in Japan.[9] He has been a Visiting Professor at Stanford University. In 2000, he became emeritus in the EECS department at MIT.[10]

Research

Hewitt is best known for his work on the Actor model of computation. For the last decade, his work has been in "inconsistency robustness", which aims to provide practical rigorous foundations for systems dealing with pervasively inconsistent information.[11] This work grew out of his doctoral dissertation focused on the procedural (as opposed to logical) embedding of knowledge, which was embodied in the Planner programming language.

His publications also include contributions in the areas of open information systems,[12] organizational and multi-agent systems,[13] logic programming,[1] concurrent programming, paraconsistent logic[14] and cloud computing.[15]

Planner

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

Main article: Planner (programming language)

The Planner language was developed during the late 1960s as part of Hewitt's doctoral research in MIT's Artificial Intelligence Laboratory. Hewitt's work on Planner introduced the notion of the "procedural embedding of knowledge",[16] which was an alternative to the logical approach to knowledge encoding for artificial intelligence pioneered by John McCarthy.[17] Planner has been described as "extremely ambitious".[18] A subset of Planner called Micro-Planner was implemented at MIT by Gerry Sussman, Drew McDermott, Eugene Charniak and Terry Winograd[19] and was used in Winograd's SHRDLU program,[20] Charniak's natural language story understanding work,[21] and L. Thorne McCarty's work on legal reasoning.[22] Planner was almost completely implemented in Popler[23] by Julian Davies at Edinburgh, where (together with earlier work at Edinburgh on Pico-Planner by Bruce Anderson[24]) it influenced Robert Kowalski and Pat Hayes in the development of ideas that later became Prolog.[25][26] Planner also influenced the later development of other AI research languages such as Muddle and Conniver,[18] as well as the Smalltalk object-oriented programming language.[27]

Hewitt's own work on Planner continued with Muddle (later called MDL), which was developed in the early 1970s by Sussman, Hewitt, Chris Reeve, and David Cressey as a stepping-stone towards a full implementation of Planner. Muddle was implemented as an extended version of Lisp, and introduced several features that were later adopted by Conniver, Lisp Machine Lisp, and Common Lisp.[18] However, in late 1972 Hewitt abruptly halted his development of the Planner design in his thesis, when he and his graduate students invented the Actor model of computation.

Actor model

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

Main article: Actor model

Hewitt's work on the Actor model of computation has spanned over 30 years, beginning with the introduction of the model in a 1973 paper authored by Hewitt, Peter Bishop, and Richard Steiger,[28] and including new results on Actor model semantics published as recently as 2006.[29] Much of this work was carried out in collaboration with students in Hewitt's Message Passing Semantics Group at MIT's Artificial Intelligence Lab.[30]

Sussman and Steele developed the Scheme programming language in an effort to gain a better understanding of the Actor model. However, their Scheme interpreter was not capable of fully implementing the Actor model because Actor customers cannot be implemented as lambda calculus continuations and Actors can change their local state in a way that is impossible in the lambda calculus [31][32] A number of programming languages were developed to specifically implement the Actor model, such as ACT-1,[33] SALSA,[34] Caltrop,[35] E[5] and ActorScript.[36] The Actor model also influenced the development of the π-calculus.[37] (See Actor model and process calculi history.)

Selected works

See also

References

  1. ↑ 1.0 1.1 Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots IJCAI. 1969.
  2. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  3. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  4. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  5. ↑ 5.0 5.1 Lua error in package.lua at line 80: module 'strict' not found.
  6. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  7. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  8. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  9. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  10. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  11. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  12. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  13. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  14. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  15. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  16. ↑ Carl Hewitt. Procedural Embedding of Knowledge In Planner IJCAI. 1971.
  17. ↑ Philippe Rouchy, Aspects of PROLOG History: Logic Programming and Professional Dynamics, TeamEthno-Online Issue 2, June 2006, 85-100.
  18. ↑ 18.0 18.1 18.2 Lua error in package.lua at line 80: module 'strict' not found.
  19. ↑ Gerry Sussman and Terry Winograd. Micro-planner Reference Manual AI Memo No, 203, MIT Project MAC, July 1970.
  20. ↑ Terry Winograd. Procedures as a Representation for Data in a Computer Program for Understanding Natural Language MIT AI TR-235. January 1971.
  21. ↑ Marvin Minsky and Seymour Papert. “Progress Report on Artificial Intelligence” MIT AI Memo 252. 1971.
  22. ↑ L. Thorne McCarty. "Reflections on TAXMAN: An Experiment on Artificial Intelligence and Legal Reasoning" Harvard Law Review. Vol. 90, No. 5, March 1977
  23. ↑ Julian Davies. Popler 1.6 Reference Manual University of Edinburgh, TPU Report No. 1, May 1973.
  24. ↑ Bruce Anderson. Documentation for LIB PICO-PLANNER School of Artificial Intelligence, Edinburgh University. 1972.
  25. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  26. ↑ Robert Kowalski Predicate Logic as Programming Language IFIP'74.
  27. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  28. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  29. ↑ Carl Hewitt What is Commitment? Physical, Organizational, and Social COIN@AAMAS. April 27, 2006.
  30. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  31. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  32. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  33. ↑ Henry Lieberman, "Concurrent Object-Oriented Programming in Act 1", In Object-Oriented Concurrent Programming, A. Yonezawa and M. Tokoro, eds., MIT Press, 1987.
  34. ↑ C. Varela and G. Agha. Programming Dynamically Reconfigurable Open Systems with SALSA. OOPSLA 2001 Intriguing Technology Track. ACM SIGPLAN Notices, 36(12):20-34, December 2001.
  35. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  36. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  37. ↑ Robin Milner Elements of interaction: Turing award lecture CACM. January 1993.

External links

Lua error in package.lua at line 80: module 'strict' not found.

Retrieved from "https://infogalactic.com/w/index.php?title=Carl_Hewitt&oldid=722631717"