Intellektik: Technical report 91-02
A Pool-Based Connection Calculus
Gerd Neugebauer and Torsten Schaub
This paper uses the pool concept to build a powerful connection calculus. The
calculus consists of a few simple rules which provide an elegant logical
description of the underlying methodology. The simplicity of the calculus
allows a short implementation time. An open design leads to an enormous
strategic flexibility. The use of dynamic heuristics, easy subgoal reordering,
and parallelism involving a shared memory model are some of its features.
The extremely short implementation and modification time makes it perfectly
suitable as a test bed for heuristics.