The Redux model is novel came out of experiments by me and studies of previous attemps to use a Truth Maintenance System for design synthesis. I conluded that some intermediate model was required and the Redux model resulted in 1992, based upon three years of experimentation.
The technically closest model to Redux seems to be the MINERVA work done also in 1992 by S. W. Director, <director@umich.edu>, "Design process management for CAD frameworks", 29th ACM/IEEE Design Automation Conference, Washington D.C. IEEE Computer Society Press (1992). He is now a Dean at the U. of Michigan and continues this work in the general area of process management.
Verisions of Redux have been used at other industrial sites. In 1994-5, I worked with Bob Seliger <seliger@aic.hrl.hac.com> at Hughes along with SHAI to build a version of Redux for case-based design. Another consultant who worked on system, SHAI <stottler@shai.com>, generated a C-version of Redux under government contract. The University of Kaiserslautern has generated several systems based upon the Redux model, one being COMMOKIT. Via transfer by hiring graduates from Kaiserslautern, some of the general Redux ideas are also in use at the the Daimler Benz Research Institute in Berlin by Ruediger Klein <klein@dbag.bln.daimlerbenz.com>. The most specific and recent industrial applications have been for Toshiba in design process management[Mori 1998].
The basic idea of ProcessLink is to use KQML agent communications and a common model to unify and integrate heterogeneous systems. There is good precedent for the success of this approach, though with a model different from Redux. The O-Plan was the model used in an experiment that also used KQML agent technology to integrate systems from sevral different places. This was a 1997 demonstration for the US DARPA and USAF of using agents for planning, scheduling, and reactive control. Austin Tate's O-Plan, from the University of Edinburgh, was used as the unifying model with which systems from SRI, Klein Associates, University of Massachusetts, MAYA, ISX Corporation, the University of Edinburgh, Information Sciences Institute, and Carnegie Mellon University. were integrated. The O-plan model has strong similarities with Redux, as does more recent work at Edinburgh by Peter Jarvis.
Some External Citations for "Context Maintenance", "Constrained Decision Revision" and "The Redux' Server"
S. Sohrabi, S. Mcilraith, "Optimizing Web Service Composition While Enforcing Regulations", A. Bernstein et al. (eds.) ISWC 2009, LNCS 5823, pp. 601-617, Springer-Verlag, Berlin Heidelberg, 2009.
F. Maurer, B. Dellen, F. Bendeck, S. Goldmann, H. Holz, K. Kötting "Project Planning and Web-enabled Dynamic Workflow Technologies", IEEE Internet Computing, 4(3):65-74, IEEE Press, 2000.
J. Hullen, R. Bergmann, F. Weberskrich, "WebPlan: Dynamic Planning for Domain-Specific Search in the Internet ", in Workshop Planen und Konfigurieren (PuK-99) , 1999.
H. Munoz-Avila, J. Hendler, D. Aha, "Towards a Conversational Case-based Planning Tool", 1998.
S. Kambhampati, "On the Relations between Intelligent Backtracking and Failure-driven Explanation Based Learning in Constraint Satisfaction and Planning", 1998.
T. Mori, "Agent-Based Collaborative Design Of Parts In Assembly", Proc. of '98 ASME Design Engineering Technical Conferences (DETC98/CIE-5697), ASME, Atlanta, Georgia, September 13-16, 1998.
W. Wood, M. Yang, M. Cutkosky, A. Agogino, "Design Information Retrieval: Improving Access to the Informal Side of Design" Proc. of '98 ASME Design Engineering Technical Conferences (DETC98/CIE-5697), ASME, Atlanta, Georgia, September 13-16, 1998.
D. Ndumu, J.M.H. Tah, "Agents in Computer-Assisted Collaborative Design", BT Labs, UK, 1998.
B. Dellen, F. Maurer, J. Münch, M. Verlage, "Enriching Software Process Support by Knowledge-based Techniques", Journal of Software Engineering and Knowledge Engineering, 1997.
S. Goldmann,
"Procura: A Project Management Model
of Concurrent Planning and Design" (PostScript)
/
(HTML), Proc. The
Project Coordination Workshop of the WETICE `96, Stanford, USA, June 1996.
CoMoKit: B. Dellen, F. Maurer, "Integrating Process Planning and Execution", WETICE `96, Stanford, USA, June 1996.
H. Munoz-Avila, F. Weberskirch, "A Specification of the Domain of Process Planning: Properties, Problems and Solutions", 1996.
M. Verlage, B. Dellen, F. Maurer, J. Münch, "A Synthesis of Two Process Support Approaches", 1996.
CoMoKit: F. Maurer, "Project Coordination in Design Processes", WETICE `96, Stanford, USA, June 1996.
W. Birmingham, J. D'Ambrosio, T. Darr, "Hierarchical Concurrent Engineering", 1996.
H. Munoz-Avila, F. Weberskrich, "A Specification of the Domain of Process Planning: Properties, Problems and Solutions", 1996.
S. Kambhampati, "Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search", In Proceedings of AAAI-96 , 1996.
N.I. Karacapilidis, "Planning under Uncertainty: A Qualitative Approach", Pinto-Ferreira and N.J. Mamede (eds.), Progress in Artificial Intelligence, Springer-Verlag, LNAI Series 990 , 1995.
N. I. Karacapilidis, D. Papadias, "A TMS-based Approach for Efficient Conflict Resolution and Replanning in Resource Allocation Problems", in Proceedings of 6th International Conference on Manufacturing Engineering (ICME-95 , 1995.
D. Bahler, C. Dupot, J. Bowen, "A Mixed Quantitative/Qualitative Method for Evaluating Compromise Solutions to Conflicts in Collaborative Design", AIEDAM 9(4):325-336, 1995.
F. Maurer and J. Paulokat, "Operationalizing Conceptual Models Based on a Model of Dependencies", in: A. Cohn (Ed.): ECAI 94. 11th European Conference on Artificial Intelligence, pp. 508-515, John Wiley & Sons, Ltd, 1994.
J. Paulokat and S. Wess, "Planning for Machining Workpieces with a
Partial-Order, Nonlinear Planner", AAAI Fall Symposium on
Planning and Learning, AAAI Press, Menlo Park, CA, 1994.
urn:nbn:de:hbz:386-kluedo-1159.
H. Park, M. Cutkosky, A. Conru, S.H. Lee, "An Agent-Based Approach to Concurrent Cable Harness Design", 1994.
B. Faltings, D. Haroud, I. Smith, "Dynamic Constraint Propagation", in Proc. of the Europ. Conf. on Artificial Intelligence (ECAI'92) , 1992.