Carl Hewitt's homepage (http://carlhewitt.info)

MIT EECS (Emeritus)

Carl Hewitt is Emeritus in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology (MIT). He obtained his PhD in mathematics at MIT in 1971, under the supervision of Seymour Papert (adviser), Marvin Minsky, and Mike Paterson. He is known for his work on the following:
* the design of Planner (a pioneering programming language based on plans invoked by assertions and goals)
* comparative schematology
* Lightly Structured Natural Language(TM)
* the Actor model of computation
* ActorScript(TM) concurrent programming language
* the Scientific Community Metaphor
* automatic storage reclamation (garbage collection)
* Organizations of Restricted Generality(TM)
* participatory semantics with Carl Manning
* organizational commitment
* strongly paraconsistent logic
* privacy-friendly client cloud computing
* Practical Semantic Integration(TM)
* participatory behavioral model checking

Carl Hewitt (2008)
 

 

"Semantic Integration" at Stanford Media X on 8 Oct. '09


Organizer: Carl Hewitt
Technology is now at hand to semantically integrate digital personal information for individuals, groups and organizations including calendars and to-do lists, email, SMS and Twitter archives, presence information (including physical, psychological and social), maps (including firms, points of interest, traffic, parking, and weather), events (including alerts and status), documents (including presentations, spreadsheets, proposals, job applications, health records, photos, videos, gift lists, memos, purchasing, contracts, articles), contacts (including social graphs and reputation) and search results (including rankings and ratings).

Practical Semantic IntegrationTM

There is tremendous value in semantically integrating all this information. However,

“We want consumers to be able to take advantage of all of the new technologies without the technologies taking advantage of the consumers. Right now, that balance is not there,”  Pam Dixon, executive director of the World Privacy Forum. Privacy Groups Urge Congress to Toughen Up on Online Ads  Wall Street Journal. Sept. 1. 2009.

Doing semantic integration on clients’ clouds can provide the right kind of balance between consumers, merchants, and aggregators like Google, Microsoft, Facebook, etc. See Is intimate personal information a toxic asset in cloud datacenters? O’Reilly Radar. Aug. 17, 2009

Schedule

 

 

8:00

Welcome and introductions

8:30

Discussion of Is intimate personal information a toxic asset in cloud datacenters?

9:00

Discussion of Cyberwarfare

9:30

Break

9:45

Discussion of A historical perspective on developing foundations for privacy-friendly client-cloud computing:  the paradigm shift from "Inconsistency Denial" to "Practical Semantic IntegrationTM"

11:15

Communal Lunch at Byte Café (Dutch treat)

12:15

Division into working groups based on issues developed in morning sessions

12:30

Working groups convene (bring your laptop!)

1:30

Break

1:45

Presentations of working groups

2:45

Reflections on the Previous Paradigm Shift presented by Dr. Jeff Rulifson.  (Unfortunately, because of other pressing duties, Jeff was unable to participate.)

3:30

Workshop adjourned

Presenters
Carl Hewitt, Emeritus at MIT in the Electrical Engineering and Computer Science department, is known for his research including the following recent publications:

Jeff Rulifson is director for the VLSI Research Group in Sun Microsystems Laboratories. Jeff is a Fellow of the Association for Computing Machinery and a member of the SRI International Hall of Fame, with almost fifty years experience in computer technology. He holds a Ph.D. in Computer Science from Stanford University,

 

Short Videos

 

Long Videos

 

 

 

Carl Hewitt is Emeritus in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology (MIT). He obtained his PhD in mathematics at MIT in 1971, under the supervision of Seymour Papert (adviser), Marvin Minsky, and Mike Paterson. From September 1989 to August 1990, Hewitt was the IBM Chair Visiting Professor in the Department of Computer Science at Keio University in Japan. He is known for his work on the following:

o   logic programming [Hewitt 1985, Hewitt and Agha 1991, Hewitt 2009] including the design of Planner (a pioneering programming language based on plans invoked by assertions and goals) [Hewitt 1969, 1971, 1972]

o   comparative schematology  [Paterson and Hewitt 1970; Hewitt 1970]

o   knowledge representation [Hewitt 1975]

o   concurrency theory: the Actor model [Hewitt, Bishop, and Steiger 1973; Hewitt 1985; Hewitt and Baker 1977a, 1977b; Hewitt and Agha 1991; Hewitt 2007]

o   concurrent programming [Hewitt and Atkinson 1977, 1979] including futures [Baker and Hewitt 1977c] and ActorScriptTM [Hewitt 2008e]

o   open information systems [Hewitt 1986]

o   the Scientific Community Metaphor [Kornfeld and Hewitt 1981]

o   automatic storage reclamation (garbage collection) [Lieberman and Hewitt 1983]

o   ORGs (Organizations of Restricted GeneralityTM) [Hewitt and Inman 1991; Hewitt and Manning 1994; Hewitt 2008a, 2008c, 2008d, 2008e, 2000a, 2009b]

o   participatory semantics [Hewitt and Manning 1994, 1996; Hewitt 2008d]

o   organizational commitment [Hewitt 2007, 2008d]

o   strongly paraconsistent logic (Direct Logic) [Hewitt 2008a, 2008d, 2008e]

o   privacy-friendly client cloud computing [Hewitt 2008c, 2009a, 2009b]

o   participatory behavioral model checking [Hewitt 2008d]

o   semantic integration [Hewitt 2008a, 2008c, 2008c, 2008d, 2008e, 2009a, 2009b]

o   Lightly Structured Natural LanguageTM e.g. Lightly Structured EnglishTM

 

Podcasts

 
 
 

Recent Publications

 

    Major Publications
    o   Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots IJCAI'69
    o   Mike Paterson and Carl Hewitt. Comparative Schematology MIT AI Memo 201. August 1970.
    o   Carl Hewitt. More Comparative Schematology MIT AI Memo 207. 1970.
    o   Carl Hewitt. Procedural Embedding of Knowledge In Planner IJCAI. 1971.
    o   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
    o   Carl Hewitt, Peter Bishop, and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence IJCAI'73.
    o   Carl Hewitt. Stereotypes as an Actor approach towards solving the problem of procedural attachment in frame theories Theoretical Issues In Natural Language Processing. SIGART and Association for Computational Linguistics 1975.
    o   Carl Hewitt and Henry Baker (1977a). Laws for Communicating Parallel Processes IFIP'77.
    o   Carl Hewitt and Henry Baker (1977b). Actors and Continuous Functionals IFIP Working Conference on Formal Description of Programming Concepts. August 1–5, 1977.
    o   Carl Hewitt. Viewing Control Structures as Patterns of Passing Messages Journal of Artificial Intelligence. 1977.
    o   Henry Baker and Carl Hewitt (1977c) The Incremental Garbage Collection of Processes Proceeding of the Symposium on Artificial Intelligence Programming Languages. SIGPLAN Notices 12, August 1977.
    o   William Kornfeld and Carl Hewitt. The Scientific Community Metaphor IEEE Transactions on Systems, Man, and Cybernetics. January 1981.
    o   Carl Hewitt. Offices are Open Systems ACM Transaction on Information Systems. 1986.
    o   Carl Hewitt and Gul Agha. Guarded Horn clause languages: are they deductive and Logical? International Conference on Fifth Generation Computer Systems, Ohmsha 1988. Tokyo. Also in Artificial Intelligence at MIT, Vol. 2. MIT Press 1991.
    o   Carl Hewitt and Carl Manning. Negotiation Architecture for Large-Scale Crisis Management AAAI-94 Workshop on Models of Conflict Management in Cooperative Problem Solving. Seattle, WA. Aug. 4, 1994.
    o   Carl Hewitt and Carl Manning. Synthetic Infrastructures for Multi-Agency Systems Proceedings of ICMAS '96. Kyoto, Japan. December 8–13, 1996.
    o   Carl Hewitt (2007) What is Commitment? Physical, Organizational, and Social (Revised) Pablo Noriega .et. al. editors. LNAI 4386. Springer-Verlag. 2007.
    o   Carl Hewitt (2008a) Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency Coordination Organizations, Institutions, and Norms in Agent Systems III. Jaime Sichman, Pablo Noriega, Julian Padget and Sascha Ossowski (ed.). Springer-Verlag.
    o   Carl Hewitt (2008c). ORGs for Scalable, Robust, Privacy-Friendly Client Cloud Computing IEEE Internet Computing September/October 2008.
    o   Carl Hewitt (2008d). Norms and Commitment for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking ArXiv 0906.2756.
    o   Carl Hewitt (2009a) Perfect Disruption: The Paradigm Shift from Mental Agents to ORGs IEEE Internet Computing.  Jan/Feb 2009. pp. 90-93.
    o   Carl Hewitt (2009b) A historical perspective on developing foundations for client cloud computing: The Paradigm Shift from "Inconsistency Denial" to "Rapid Recovery"  (Revised version of "Development of Logic Programming: What went wrong, What was done about it, and What it might mean for the future" AAAI Workshop on What Went Wrong. AAAI-08.) ArXiv 0901.4934.
    o   Carl Hewitt (2009b) Middle History of Logic Programming. ArXiv  0904.3036.
     
    Academic Biography 

     See Carl Hewitt's academic biography

    Past Seminars and Panels
     
    o   "The Logical Necessity of Inconsistency" Edinburgh LFCS. 11th September 2007
    o   "The Logical Necessity of Inconsistency" Stanford Logic Group. 26 September 2007.

     

    Past Publications
    See Carl Hewitt's past publications

    Comments

    Comments are moderated, and will not be visible until one of the authors of this knol approves.


    Anonymous

    Looking fro artcle: "ActorScript(TM) Integrating local and nonlocal concurrency"

    Hi. I am looking for the article "ActorScript(TM) Integrating local and nonlocal concurrency". The link from this page:
    http://knol.google.com/k/carl-hewitt-httpcarlhewittinfo/actorscripttm/pcxtp4rx7g1t/18#

    takes me to a blank and/or corrupted PDF page:
    http://actorscript.carlhewitt.info/

    Regards,
    Mike
    mbiggerstaff at g mail com

    Last edited May 7, 2009 3:31 AM
    Report abusive comment
    ©2009 Google