Knod—a knowledge based approach for process design

Abstract Process design is a multiagent and distributed problem solving activity that can be significantly enhanced by the advent of expert system technology. Although certain types of expert systems can be built in a straightforward fashion, to build knowledge-based systems that will act as intelligent aids in process design is a difficult task. Problems may range from a lack of expressive power in the knowledge representation language to isolation from domain-specific sources of information and computer programs. KNOD is an expert shell in a personal computer that acts as a front end to a modular process simulator running in a remote VAX computer. The shell has been written in LISP. It is a frame-based, object-oriented system. Included are an OPS language and an inexact reasoning facility. It has been used as a research vehicle to test the encoding of heuristic knowledge and strategies oriented to produce the automatic design and simulation of process structures.

[1]  Ming Der Lu A study of general flowsheet synthesis , 1986 .

[2]  R. L. Motard,et al.  Procedures for the initial design of chemical processing systems , 1977 .

[3]  R. L. Motard,et al.  Evolutionary search for an optimal limiting process flowsheet , 1977 .

[4]  Arthur W. Westerberg,et al.  A review of process synthesis , 1981 .

[5]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[6]  G. Powers,et al.  Synthesis of system designs: III. Toward a process concept generator , 1971 .

[7]  Edward H. Shortliffe,et al.  A model of inexact reasoning in medicine , 1990 .

[8]  James M. Douglas,et al.  A hierarchical decision procedure for process synthesis , 1985 .

[9]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[10]  P. Hayes The Logic of Frames , 1981 .

[11]  Lotfi A. Zadeh,et al.  Outline of a New Approach to the Analysis of Complex Systems and Decision Processes , 1973, IEEE Trans. Syst. Man Cybern..

[12]  R. L. Motard,et al.  Computer-aided total flowsheet synthesis , 1985 .

[13]  L. Zadeh Probability measures of Fuzzy events , 1968 .

[14]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[15]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[16]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[17]  Mark Stefik,et al.  An Examination of a Frame-Structured Representation System , 1979, IJCAI.