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
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