The Redux' server

Redux' is a subset of the full REDUX model. The latter performs problem solving. In contrast, Redux' 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.<>