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

Forthcoming Stanford Summer Institute Workshop on Semantic Integration

Issues and opportunities raised by Semantic Integration including technical, social, and economic.

Date: July 23, 2009
ORGANIZER: Carl Hewitt

Click here to see video overview of workshop.

Description:

Computer information is currently stored in isolated silos:

• 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, spread sheets, proposals, job applications, health records, photos, videos, gift lists, memos, purchasing, contracts, articles)
• contacts (including social graphs and reputation)
• search results (including rankings and ratings)
• data bases (including relational and geospatial)

• marketing and advertising relevance (influenced by all of the above)

Technology is now at hand to Semantically Integrate all of the above information for individuals, groups and organizations raising important economic, social, and technical issues.

Program Structure:

Who Should Participate:

In addition to researchers from Stanford, participants will mainly come from companies that in the future will provide Semantic Integration enabled and enhanced applications and services for:

• Individuals
• Groups
• Organizations
• Equipment
• Media
• Advertising

Workshop Fees:
The cost includes all materials, breakfasts, coffee breaks, and snacks. Participants will visit campus eateries in groups for lunch.

To register please go to the registration page.

Short Videos

• What is Cloud Computing? 28 seconds
• Further information:  ORGs for Scalable, Robust, Privacy-Friendly Client Cloud Computing IEEE Internet Computing September/October 2008.
• Clients "all the way up" in Cloud Computing 43 seconds
• Further information:  Perfect Disruption:  The Paradigm Shift from Mental Agents to ORGs IEEE Internet Computing. Jan/Feb 2009. pp. 90-93.
• Privacy-friendly Client Cloud Computing 1 minute 4 seconds
• Further information: A historical perspective on developing foundations for client cloud computing: The Paradigm Shift from "Inconsistency Denial" to "Rapid Recovery" Google Knol.
• Privacy, Performance, and Robustness Issues for Client Cloud Computing 1 minute 34 seconds
• Further information: Common sense for concurrency and strong paraconsistency using unstratified inference and reflection ArXiv. December 30, 2008.
• Privacy-friendly Client Semantic Integration of Diverse Sources of Information 57 seconds
• Further information: ORGs (Organizations of Restricted Generality^TM): Strong Paraconsistency and Participatory Behavioral Model Checking Google Knol.
• "Perfect Disruption" of the Computer Industry 55 seconds
• Further information: Perfect Disruption:  The Paradigm Shift from Mental Agents to ORGs IEEE Internet Computing.  Jan/Feb 2009.  pp. 90-93.

Long Videos

• Scalable Privacy-Friendly Client Cloud Computing: a gathering "Perfect Storm" Stanford Computer Systems Colloquium. Oct. 22, 2008. There is a video recording here.
• Further information: A historical perspective on developing foundations for client cloud computing: The Paradigm Shift from "Inconsistency Denial" to "Rapid Recovery" Google Knol.

 

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 ActorScript^TM [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 Generality^TM) [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   Ontological Natural Language^TM [Hewitt 2009b]

• Interdependent Message-Passing ORGs: Jon Udell's Interviews with Innovators Recorded November 18, 2008.  There is an audio recording here
• Further information: A historical perspective on developing foundations for client cloud computing: The Paradigm Shift from "Inconsistency Denial" to "Rapid Recovery" Google Knol
• The World that Wikipedia Made: The Ethics and Values of Public Knowledge Thursday 15 May 2008 at de Saisset Museum, Santa Clara University
• Further information: Corruption of Wikipedia Google Knol

Semantic Integration in Privacy-friendly Client Cloud Computing

Background reading:

A historical perspective on developing foundations for privacy-friendly client cloud computing: the paradigm shift from “inconsistency denial” to “semantic integration” ArXiv January 30, 2009. Also available on Google Knol.

Hewitt's recent work has centered on foundations for privacy-friendly client cloud computing. (See Video recording of Scalable Privacy-Friendly Client Cloud Computing: a gathering Perfect Disruption) This approach to cloud computing focuses on clients that are “privacy-friendly” because of the following

• by default clients store information in the cloud that can only be unencrypted using the client's private key [Hewitt 2008c]
• Semantic Integration of diverse sorts of information (calendar, email, contacts, documents, search results, presence information, etc.) is performed on the clients [Hewitt 2009]

This work has resulted in the following developments: [Hewitt 2009]

• strongly paraconsistent logic using Direct Logic^TM [Hewitt 2008e] to more safely reason about pervasively inconsistent information
• concurrent reasoning using ActorScript^TM [Hewitt 2008e] for many-core processors (e.g. Larrabee) that cannot be implemented using logical deduction. (Although strongly paraconsistent and Bayesian inference are used together locally, they are inadequate to accomplish the overall results of concurrent reasoning. See A historical perspective on developing foundations for client cloud computing: The Paradigm Shift from "Inconsistency Denial" to "Rapid Recovery".)

Recent Publications

• ActorScript^TM: Integratisng  local and nonlocal concurrency
• Perfect Disruption: The Paradigm Shift from Mental Agents to ORGs
• “A historical perspective on developing foundations for privacy-friendly client cloud computing: The paradigm shift from “inconsistency denial” to “semantic integration”
• Corruption of Wikipedia
• Common sense for concurrency and strong paraconsistency using unstratified inference and reflection
• Norms and Commitments for ORGs (Organizations of Restricted Generality^TM): Strong Paraconsistency and Participatory Behavioral Model Checking
• Middle History of Logic Programmin
• ORGs for Scalable, Robust, Privacy-Friendly Client Cloud Computing

o   Carl Hewitt's academic biography

o   Carl Hewitt's publications

o   Carl Hewitt on Blogger

o   Perfect Disruption: Causing the Paradigm Shift from Mental Agents to ORGs Stanford Logic Group. 3 December 2008. 

o   Development of Logic Programming: What went wrong, What was done about it, and What it might mean for the future What Went Wrong and Why Workshop. AAAI'08. July 13, 2008.

o   "History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future" Stanford CSLI CogLunch. 12 noon-1:30 PM on Thur. 8 May 2008.

o   "The Logical Necessity of Inconsistency" Edinburgh LFCS. 11th September 2007

o   "The Logical Necessity of Inconsistency" Stanford Logic Group. 26 September 2007.

References

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). ORGs (Organizations of Restricted Generality^TM): Strong Paraconsistency and Participatory Behavioral Model Checking Google Knol.

o   Carl Hewitt (2008e) Common sense for concurrency and strong paraconsistency using unstratified inference and reflection ArXiv. December 30, 2008.

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. January 30, 2009.

o   Carl Hewitt (2009b) Middle History of Logic Programming. ArXiv.  0904.3036.