Premium
Formal modeling of approximate relations in biochemical systems
Author(s) -
Mavrovouniotis Michael L.,
Stephanopoulos George,
Stephanopoulos Gregory
Publication year - 1989
Publication title -
biotechnology and bioengineering
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.136
H-Index - 189
eISSN - 1097-0290
pISSN - 0006-3592
DOI - 10.1002/bit.260340208
Subject(s) - biochemical engineering , computational biology , management science , biological system , computer science , chemistry , biology , engineering
Abstract Aiming to satisfy the need for the formalization of semiquantitative reasoning in the analysis of biochemical systems, the O[M] formalism for reasoning with orders of magnitude and approximate relations has been developed. It is based on seven primitive relations among quantities and compound relations which are formed as implicit disjunctions of primitives. O[M] can perform inferences by using formal approximate relations, algebraic equations, inequalities, if–then rules, assumptions, and goals. The applications discussed include Michaelis–Menten kinetics, different modes of inhibition of an enzymatic reaction, analysis of fluxes in biochemical networks, and identification of rate‐limiting steps of biochemical pathways. In these applications, O[M] provides a medium for acquisition and formalization of previously informal concepts, analysis of systems at the order‐of‐magnitude level of detail, and automation of commonsense reasoning.