Accession Number : ADA194128

Title :   Cauldrons: An Abstraction for Concurrent Problems Solving. Revision.

Descriptive Note : Memorandum rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Haase, Ken

PDF Url : ADA194128

Report Date : Sep 1986

Pagination or Media Count : 45

Abstract : The abstractions we have for serial programming are powerful: concepts like data types, variable binding, generalized operators, the subroutine. We do not yet have the same sort of powerful abstractions for distributed computation, but I believe that the place to look for them is the same place that we found many of our abstractions for serial computation--in our own minds. This research extends a tradition of distributed theories of mind into the implementation of a distributed problem solver. In this problem solver a number of ideas from Minsky's Society of Mind are implemented and are found to provide powerful abstractions for the programming of distributed systems. These abstractions ar the cauldron, a mechanism for instantiating reasoning contexts, the frame, a way of modularly describing those contexts and the goal-mode, a mechanism for bringing a particular context to bear on a specific task. The implementation of both these abstractions and the distributed problem solver in which they run is described, accompanied by examples of their application to various domains.

Descriptors :   *COMPUTER PROGRAMMING, *REASONING, COMPUTATIONS, DISTRIBUTION, SUBROUTINES, THEORY, VARIABLES, PROBLEM SOLVING

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE