Formal modeling of approximate relations in biochemical systems

Michael L. Mavrovouniotis, George Stephanopoulos, Gregory Stephanopoulos

Research output: Contribution to journalArticle

6 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)196-206
Number of pages11
JournalBiotechnology and Bioengineering
Volume34
Issue number2
DOIs
StatePublished - Jan 1 1989
Externally publishedYes

Fingerprint

Automation
Systems Analysis
Fluxes
Kinetics

ASJC Scopus subject areas

  • Biotechnology
  • Bioengineering
  • Applied Microbiology and Biotechnology

Cite this

Formal modeling of approximate relations in biochemical systems. / Mavrovouniotis, Michael L.; Stephanopoulos, George; Stephanopoulos, Gregory.

In: Biotechnology and Bioengineering, Vol. 34, No. 2, 01.01.1989, p. 196-206.

Research output: Contribution to journalArticle

Mavrovouniotis, Michael L. ; Stephanopoulos, George ; Stephanopoulos, Gregory. / Formal modeling of approximate relations in biochemical systems. In: Biotechnology and Bioengineering. 1989 ; Vol. 34, No. 2. pp. 196-206.
@article{c407636578f74adab6d25a4af7d33f76,
title = "Formal modeling of approximate relations in biochemical systems",
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.",
author = "Mavrovouniotis, {Michael L.} and George Stephanopoulos and Gregory Stephanopoulos",
year = "1989",
month = "1",
day = "1",
doi = "10.1002/bit.260340208",
language = "English (US)",
volume = "34",
pages = "196--206",
journal = "Biotechnology and Bioengineering",
issn = "0006-3592",
publisher = "Wiley-VCH Verlag",
number = "2",

}

TY - JOUR

T1 - Formal modeling of approximate relations in biochemical systems

AU - Mavrovouniotis, Michael L.

AU - Stephanopoulos, George

AU - Stephanopoulos, Gregory

PY - 1989/1/1

Y1 - 1989/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0024673722&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0024673722&partnerID=8YFLogxK

U2 - 10.1002/bit.260340208

DO - 10.1002/bit.260340208

M3 - Article

C2 - 18588093

AN - SCOPUS:0024673722

VL - 34

SP - 196

EP - 206

JO - Biotechnology and Bioengineering

JF - Biotechnology and Bioengineering

SN - 0006-3592

IS - 2

ER -