This is an old revision of this page, as edited by CarlHewitt (talk | contribs) at 03:09, 23 June 2005 (→Reference). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Revision as of 03:09, 23 June 2005 by CarlHewitt (talk | contribs) (→Reference)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)Carl Hewitt is an emeritus professor from MIT.
He is known for his design of Planner that was the first Artificial Intelligence programming language based on procedural plans that were invoked using pattern-directed invocation from assertions and goals. Carl (then a student of Marvin Minsky, Seymour Papert and Mike Paterson) championed the "procedural embedding of knowledge" in the form of high level procedural plans in contrast to the logical approach pioneered by John McCarthy (computer scientist) who advocated expressing knowledge declaratively in mathematical logic for Artificial Intelligence. A subset of Planner called Micro Planner was implemented by Gerry Sussman, Eugene Charniak and Terry Winograd. It was used in Terry's famous SHRDLU program, Eugene Charniak's natural language story understanding work and a couple of other projects.
Carl and his students and colleagues are also known for their work on the Actor model. Actors are the universal primitives of concurrent computation. The Actor work built on Lisp, Simula, capability-based systems, packet switching and Smalltalk-71.
Together with his student Bill Kornfeld, he developed the Scientific Community Metaphor. He has also made contributions in the areas of garbage collection (computer science), programming language design and implementation, open systems, negotiation forums, and multi-agency systems with his students and colleagues.
More recently Carl has worked to integrate sociology, anthropology, organization science, the philosophy of science, and services science into information science.
Reference
- Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots IJCAI 1969
- Mike Paterson and Carl Hewitt. Comparative Schematology MIT AI Memo 201. August 1970.
- Carl Hewitt. Procedural Embedding of Knowledge In Planner IJCAI 1971.
- Carl Hewitt. Description and Theoretical Analysis (Using Schemata) of Planner, A Language for Proving Theorems and Manipulating Models in a Robot AI Memo No. 251, MIT Project MAC, April 1972.
- Carl Hewitt, Peter Bishop and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence IJCAI 1973.
- William Kornfeld and Carl Hewitt. The Scientific Community Metaphor MIT AI Memo 641. January 1981.
- Carl Hewitt. The Challenge of Open Systems Byte Magazine. April 1985
- Carl Hewitt and Gul Agha. Guarded Horn clause languages: are they deductive and logical? in Artificial Intelligence at MIT, Vol. 2. MIT Press 1991.