Synthesis of process flowsheets by a theorem proving method

Date

1974

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Events occuring in chemical processing systems are described in terms of an axiomatic second-order theory. The axioms of the theory are mixing, splitting, reaction, change of pressure, change of enthalpy and equality axiom. Theorem proving method based upon the resolution principle is used to test the hypothesis that a required slate of products is a logical consequence of the axioms and available raw materials. The proof, if it exists, yields the process plant flowsheet. The computer implementation of the procedure is in LISP 1.5 programming language. An example of flowsheet synthesis is given.

Description

Keywords

Citation