Addition to Knowledge Sharing Papers

Charles Petrie <>
Date: Thu, 12 Nov 1992 07:38:47 -0800
Message-id: <>
Comment: SRKB Distribution List
Errors-To: neches@ISI.EDU
Reply-To: <>
Sender: srkb-list@ISI.EDU
Version: 5.5 -- Copyright (c) 1991/92, Anastasios Kotsikonas
From: Charles Petrie <>
To: Multiple recipients of list <srkb-list@ISI.EDU>
Subject: Addition to Knowledge Sharing Papers
The paper below is now available through anonymous ftp from  Be aware that this is one of the most heavily
used anonymous ftp systems on the network and it may take several
tries to make a guest connection, especially if you attempt a
connection during working hours, 8am-5pm PST.  The following abstract
is taken from pub/k-sharing-papers/README.

------ [REDUX']    ftp: /pub/k-sharing-papers/

C. Petrie, The Redux' Server. Submitted to the 1st Internat. Conf. on
Intelligent and Cooperative Information Systems

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.