CAULDRONS: An Abstraction for Concurrent Problem Solving

Abstract

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 are the cauldron, a mechanism for instantiating reasoning contexts, the frame, a way of modularly describing those contexts and the goal-node, 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.