The Redux'  Server
Charles Petrie

Redux' is a subset of the full REDUX model.  The latter performs
problem solving. In contrast Redux' does not and acts only as a
decision maintenance server.  It takes objects of types defined in an
ontology of decision components and maintains dependencies between
them.  Redux' is domain-independent. The dependency relationships are
maintained on the basis of proposition type and not content, except
for some string matching.  Redux' servers are proposed as a mechanism
for federating heterogeneous design agents by encapsulating their
design decisions within a simple model and providing coordination
services, especially for design revision. This proposal is described
within the context of the SHADE and PACT projects.