This is an old revision of this page, as edited by Allan McInnes (talk | contribs) at 03:41, 20 June 2007 (→Biography: keio). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Revision as of 03:41, 20 June 2007 by Allan McInnes (talk | contribs) (→Biography: keio)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Carl E. Hewitt is an Associate Professor (Emeritus) in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology (MIT). Hewitt obtained his PhD in mathematics at MIT in 1971, under the supervision of Seymour Papert, Marvin Minsky, and Mike Paterson. He is known for his design of Planner , which was the first Artificial Intelligence programming language based on procedural plans that were invoked using pattern-directed invocation from assertions and goals. He is also known for his work on the Actor model of computation, which influenced the development of the Scheme programming language and the π calculus, and served as an inspiration for several other programming languages.
Biography
Work on Planner
Hewitt's work on Planner introduced the notion of the "procedural embedding of knowledge", which was an alternative to the logical approach to knowledge encoding for artificial intelligence pioneered by John McCarthy. A subset of Planner called Micro Planner was implemented by Gerry Sussman, Eugene Charniak and Terry Winograd. It was used in Winograd's famous SHRDLU program, and Eugene Charniak's natural language story understanding work.
MIT career
During his time at MIT, Hewitt supervised the studies of a number of doctoral students, including Dr. Russell Atkinson, Dr. Gerald Barber, Dr. Peter Bishop, Professor William Clinger, Dr. Peter de Jong, Dr. Irene Greif, Dr. Kenneth Kahn, and Professor Akinori Yonezawa.
Hewitt was inducted into MIT's Quarter Century Club, marking 25 years of employment at MIT, in March of 1996. He retired from the faculty of the MIT Department of Electrical Engineering and Computer Science during the 1999-2000 school year.
Awards
From September 1989 to August 1990, Hewitt was the IBM Chair Visiting Professor in the Department of Computer Science at Keio University in Japan.
Selected works
- Carl Hewitt (1969). PLANNER: A Language for Proving Theorems in Robots IJCAI'69.
- Carl Hewitt, Peter Bishop and Richard Steiger (1973). A Universal Modular Actor Formalism for Artificial Intelligence IJCAI'73.
- Carl Hewitt and Henry Baker (1977a). Laws for Communicating Parallel Processes IFIP'77.
- Carl Hewitt and Henry Baker (1977b). Actors and Continuous Functionals Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1–5, 1977.
- Carl Hewitt (1977). Viewing Control Structures as Patterns of Passing Messages Journal of Artificial Intelligence. June, 1977.
- William Kornfeld and Carl Hewitt (1981). The Scientific Community Metaphor IEEE Transactions on Systems, Man, and Cybernetics. January 1981.
- Carl Hewitt (1985). The Challenge of Open Systems Byte Magazine. April 1985. (Reprinted in The foundation of artificial intelligence--a sourcebook Cambridge University Press. 1990)
References
- "MIT EECS - Department Faculty and Senior Research Staff". Retrieved 2007-05-29.
- Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots IJCAI. 1969.
- Filman, Robert (1984). "Actors". Coordinated Computing - Tools and Techniques for Distributed Software. McGraw-Hill. pp. pp. 145. ISBN 0-07-022439-0.
Carl Hewitt and his colleagues at M.I.T. are developing the Actor model.
{{cite book}}:|pages=has extra text (help); Unknown parameter|coauthors=ignored (|author=suggested) (help); line feed character in|title=at position 25 (help) - Krishnamurthi, Shriram (December 1994). "An Introduction to Scheme". Crossroads. 1 (2).
- Milner, Robin (January 1993). "ACM Turing Award Lecture: The Elements of Interaction" (PDF). Communications of the ACM. 36 (1).
- Mark S. Miller (2006). "Robust Composition - Towards a Unified Approach to Access Control and Concurrency Control" (PDF). PhD dissertation. Johns Hopkins University. Retrieved 2007-05-26.
{{cite journal}}: Cite journal requires|journal=(help); line feed character in|title=at position 21 (help) - Carl Hewitt. Procedural Embedding of Knowledge In Planner IJCAI. 1971.
- Gerry Sussman and Terry Winograd. Micro-planner Reference Manual AI Memo No, 203, MIT Project MAC, July 1970.
- Terry Winograd. Procedures as a Representation for Data in a Computer Program for Understanding Natural Language MIT AI TR-235. January 1971.
- Marvin Minsky and Seymour Papert. “Progress Report on Artificial Intelligence” MIT AI Memo 252. 1971.
- MIT News Office (April 10, 1996). "Quarter Century Club inducts 73 new members". Retrieved 2007-06-19.
- John V. Guttag (2000). "MIT Reports to the President 1999–2000 - Department of Electrical Engineering and Computer Science". Retrieved 2007-06-19.
- Ryuichiro Ohyama (1991). "Department of Computer Science-Recent and Current Visiting Professors".
{{cite web}}:|access-date=requires|url=(help); Missing or empty|url=(help)
External links
- DBLP has an incomplete set of bibliographic entries for Carl Hewitt that extends only to 1993.
- Future and Recent Hewitt seminars.