| Revision as of 01:42, 1 May 2007 view sourceAllan McInnes (talk | contribs)Extended confirmed users, Pending changes reviewers4,932 edits bio articles are not resumes - not to mention that some of those "Publications of Carl Hewitt" weren't even written by Hewitt (e.g. Sussman and Winograd 1970)← Previous edit | Revision as of 01:43, 1 May 2007 view source Allan McInnes (talk | contribs)Extended confirmed users, Pending changes reviewers4,932 edits something other than a self-reference would be helpful hereNext edit → | ||
| Line 17: | Line 17: | ||
| '''Carl E. Hewitt''' is an Associate Professor (]) in the ] and ] department at the ] (MIT). Hewitt obtained his PhD in mathematics at MIT in 1971, under the supervision of ], ], and Mike Paterson. He is known for his design of ] <ref>Carl Hewitt. IJCAI. 1969.</ref>, which was the first ] ] based on procedural plans that were invoked using pattern-directed invocation from assertions and goals. He is also know for the ] of computation <ref>Carl Hewitt, Peter Bishop and Richard Steiger. ''A Universal Modular Actor Formalism for Artificial Intelligence'' IJCAI. 1973.</ref>. | '''Carl E. Hewitt''' is an Associate Professor (]) in the ] and ] department at the ] (MIT). Hewitt obtained his PhD in mathematics at MIT in 1971, under the supervision of ], ], and Mike Paterson. He is known for his design of ] <ref>Carl Hewitt. IJCAI. 1969.</ref>, which was the first ] ] based on procedural plans that were invoked using pattern-directed invocation from assertions and goals. He is also know for the ] of computation <ref>Carl Hewitt, Peter Bishop and Richard Steiger. ''A Universal Modular Actor Formalism for Artificial Intelligence'' IJCAI. 1973.</ref>. | ||
| Hewitt's work on Planner introduced the notion of the "procedural embedding of knowledge",<ref>Carl Hewitt. ''Procedural Embedding of Knowledge In Planner'' IJCAI. 1971.</ref> |
Hewitt's work on Planner introduced the notion of the "procedural embedding of knowledge",<ref>Carl Hewitt. ''Procedural Embedding of Knowledge In Planner'' IJCAI. 1971.</ref> which was an alternative to the logical approach to knowledge encoding for ] pioneered by ]{{cite needed}}. A subset of Planner called Micro Planner was implemented by ], ] and ].<ref>Gerry Sussman and Terry Winograd. '''''' AI Memo No, 203, MIT Project MAC, July 1970.</ref> It was used in Winograd's famous ] program,<ref>Terry Winograd. '''''' MIT AI TR-235. January 1971.</ref> and Eugene Charniak's natural language story understanding work. (Minsky and Papert ) | ||
| Hewitt's work on the Actor model built on ], ], ], ]<ref>{{cite book|last=Filman|first=Robert|coauthors=Daniel Friedman|title=Coordinated Computing - | Hewitt's work on the Actor model built on ], ], ], ]<ref>{{cite book|last=Filman|first=Robert|coauthors=Daniel Friedman|title=Coordinated Computing - | ||
Revision as of 01:43, 1 May 2007
| Carl Hewitt | |
|---|---|
| File:Carl Hewitt (FLoC 2006).jpgCarl Hewitt at FLoC 2006 | |
| Nationality |  American |
| Alma mater | MIT |
| Known for | Planner Actor model Open Systems Scientific Community Metaphor Unstratified Reflective Paraconsistent Logic Organizational Computing Metaphor |
| Awards | IBM Japan Chair at Keio |
| Scientific career | |
| Fields | Education Mathematics Computer Science Logic Philosophy and Sociology of Science |
| Institutions | MIT (Emeritus) |
| Doctoral advisor | Seymour Papert |
| Doctoral students | Gul Agha Russ Athkinson Henry Baker Gerry Barber Peter Bishop Will Clinger Peter de Jong Irene Greif Kenneth Kahn Bill Kornfeld Aki Yonezawa |
.jpg){kind=link}
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 know for the Actor model of computation .
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. (Minsky and Papert )
Hewitt's work on the Actor model built on Lisp, Simula, capability-based systems, packet switching and Smalltalk '72 , and was influential in the development of the Scheme programming language
Using program schemata in collaboration with Mike Paterson, Hewitt proved that recursion is more powerful than iteration and that parallelism is more powerful than recursion. In collaboration with Henry Baker, he published physical laws for computation which they then used to derive the continuity criterion for computable functions of Dana Scott. Using participatory semantics, he proved that coroutines are more powerful than recursion and that Concurrency is more powerful than parallel coroutines.The Ultraconcurrency Revolution in Hardware and Software
Together with Bill Kornfeld, he developed the Scientific Community Metaphor. He has also made contributions in the areas of garbage collection, programming language design and implementation, open systems, Organizational Computing, logic programming, and denotational semantics of concurrency, and paraconsistent logic Hewitt (2007) with his students and colleagues.
Subsequently Hewitt has worked to integrate sociology, anthropology, organization science, the philosophy of science, and services science into information science.
He has an interest in massive concurrency. The Ultraconcurrency Revolution in Hardware and Software
Selected works
- Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots IJCAI. 1969.
- Carl Hewitt, Peter Bishop and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence IJCAI. 1973.
- Carl Hewitt and Henry Baker Laws for Communicating Parallel Processes IFIP-77, August 1977a.
- Carl Hewitt and Henry Baker Actors and Continuous Functionals Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1–5, 1977b.
- Carl Hewitt. Viewing Control Structures as Patterns of Passing Messages Journal of Artificial Intelligence. June, 1977.
- William Kornfeld and Carl Hewitt. The Scientific Community Metaphor IEEE Transactions on Systems, Man, and Cybernetics. January 1981.
- Carl Hewitt. The Challenge of Open Systems Byte Magazine. April 1985. Reprinted in The foundation of artificial intelligence---a sourcebook Cambridge University Press. 1990.
December 8–13, 1996.
- Carl Hewitt (2006a). The repeated demise of logic programming and why it will be reincarnated What Went Wrong and Why: Lessons from AI Research and Applications. Technical Report SS-06-08. AAAI Press. March 2006.
- Carl Hewitt (2006b) What is Commitment? Physical, Organizational, and Social COIN@AAMAS. (Revised version in Springer Verlag Lecture Notes in Artificial Intelligence. Edited by Javier Vázquez-Salceda and Pablo Noriega. 2007) April 27, 2006.
References
- Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots IJCAI. 1969.
- Carl Hewitt, Peter Bishop and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence IJCAI. 1973.
- 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.
- 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) - Kay, Alan (March 1993). "The Early History of Smalltalk" (PDF). ACM SIGPLAN. 28 (3): 69–75.
See Smalltalk influence
- Krishnamurthi, Shriram (December 1994). "An Introduction to Scheme". Crossroads. 1 (2).
- Mike Paterson and Carl Hewitt. Comparative Schematology MIT AI Memo 201. August 1970.
- Carl Hewitt and Henry Baker Laws for Communicating Parallel Processes IFIP-77, August 1977
- Carl Hewitt and Henry Baker Actors and Continuous Functionals Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1–5, 1977
- William Kornfeld and Carl Hewitt. The Scientific Community Metaphor MIT AI Memo 641. January, 1981.
- Henry Lieberman and Carl Hewitt. A real Time Garbage Collector Based on the Lifetimes of Objects CACM. June, 1983.
- Carl Hewitt. The Challenge of Open Systems Byte Magazine. April 1985. Reprinted in The foundation of artificial intelligence---a sourcebook Cambridge University Press. 1990.
- Carl Hewitt (2006a). The repeated demise of logic programming and why it will be reincarnated What Went Wrong and Why: Lessons from AI Research and Applications. Technical Report SS-06-08. AAAI Press. March 2006.
- ^ Carl Hewitt What is Commitment? Physical, Organizational, and Social COIN@AAMAS. April 27, 2006.
- Marvin Minsky and Seymour Papert. “Progress Report on Artificial Intelligence” MIT AI Memo 252. 1971.
External links
- DBLP has an incomplete set of bibliographic entries for Carl Hewitt that extends only to 1993.
- Future and Recent Hewitt seminars.