Updated Paper in Archives

Charles Petrie <petrie@mcc.com>
Date: Fri, 12 Feb 1993 06:56:09 -0800
Message-id: <CMM.>
Comment: List name: SRKB-LIST (do not use email address as name)
Originator: srkb-list@isi.edu
Errors-To: neches@ISI.EDU
Reply-To: <petrie@mcc.com>
Sender: srkb-list@ISI.EDU
Version: 5.5 -- Copyright (c) 1991/92, Anastasios Kotsikonas
From: Charles Petrie <petrie@mcc.com>
To: Multiple recipients of list <srkb-list@ISI.EDU>
Subject: Updated Paper in Archives
There is a new version of the following paper in the archives.  It
includes some minor corrections.  The ps file is unix PostScript. The
tex file does not include some ps figures created with fig. These can
be emailed upon request to "petrie@sunrise.stanford.edu".

------ [REDUX']    ftp: /pub/knowledge-sharing/papers/redux-prime.tex,.ps

C. Petrie, The Redux' Server. To appear in the Proceedings of the
First International Conference on Intelligent and Cooperative Systems,
Rotterdam, May 12-14, 1993.

Abstract:  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.