Formal order-of-magnitude reasoning in process engineering

M. L. Mavrovouniotis, George Stephanopoulos

Research output: Contribution to journalArticle

93 Citations (Scopus)

Abstract

The O(M) system is aimed at formalizing reasoning with approximate relations among quantities-relations like "much smaller than" or "slightly larger than." O(M) is based on seven primitive relations among quantities, and compound relations formed as implicit disjunctions of consecutive primitives. In the interpretation of the relations, strict interpretation allows exact conservative inferences, while heuristic interpretation allows inferences more aggressive and human-like, by permitting some slack at each inference step. Inference strategies within O(M) are based on propagation of order-of-magnitude relations through properties of the relations, solved or unsolved algebraic constraints and rules. Assumption-based truth-maintenance is used, and the physical dimensions of quantities efficiently constrain the inferences. Statement of goals allows more effective employment of the constraints and focuses the system's opportunistic forward reasoning. O(M) relations permit order-of-magnitude analysis in process engineering. The O(M) system is suitable for many process engineering activities, such as preliminary design of process flowsheets, planning of process operations, design of control structures for chemical plants, fault simulation and diagnosis, process trend analysis and analysis of biochemical pathways.

Original languageEnglish (US)
Pages (from-to)867-880
Number of pages14
JournalComputers and Chemical Engineering
Volume12
Issue number9-10
DOIs
StatePublished - Jan 1 1988
Externally publishedYes

Fingerprint

Process engineering
Flowcharting
Chemical plants
Planning

ASJC Scopus subject areas

  • Chemical Engineering(all)
  • Computer Science Applications

Cite this

Formal order-of-magnitude reasoning in process engineering. / Mavrovouniotis, M. L.; Stephanopoulos, George.

In: Computers and Chemical Engineering, Vol. 12, No. 9-10, 01.01.1988, p. 867-880.

Research output: Contribution to journalArticle

@article{9ac8551051fd4064bdff9ab36f7c78b1,
title = "Formal order-of-magnitude reasoning in process engineering",
abstract = "The O(M) system is aimed at formalizing reasoning with approximate relations among quantities-relations like {"}much smaller than{"} or {"}slightly larger than.{"} O(M) is based on seven primitive relations among quantities, and compound relations formed as implicit disjunctions of consecutive primitives. In the interpretation of the relations, strict interpretation allows exact conservative inferences, while heuristic interpretation allows inferences more aggressive and human-like, by permitting some slack at each inference step. Inference strategies within O(M) are based on propagation of order-of-magnitude relations through properties of the relations, solved or unsolved algebraic constraints and rules. Assumption-based truth-maintenance is used, and the physical dimensions of quantities efficiently constrain the inferences. Statement of goals allows more effective employment of the constraints and focuses the system's opportunistic forward reasoning. O(M) relations permit order-of-magnitude analysis in process engineering. The O(M) system is suitable for many process engineering activities, such as preliminary design of process flowsheets, planning of process operations, design of control structures for chemical plants, fault simulation and diagnosis, process trend analysis and analysis of biochemical pathways.",
author = "Mavrovouniotis, {M. L.} and George Stephanopoulos",
year = "1988",
month = "1",
day = "1",
doi = "10.1016/0098-1354(88)87014-5",
language = "English (US)",
volume = "12",
pages = "867--880",
journal = "Computers and Chemical Engineering",
issn = "0098-1354",
publisher = "Elsevier BV",
number = "9-10",

}

TY - JOUR

T1 - Formal order-of-magnitude reasoning in process engineering

AU - Mavrovouniotis, M. L.

AU - Stephanopoulos, George

PY - 1988/1/1

Y1 - 1988/1/1

N2 - The O(M) system is aimed at formalizing reasoning with approximate relations among quantities-relations like "much smaller than" or "slightly larger than." O(M) is based on seven primitive relations among quantities, and compound relations formed as implicit disjunctions of consecutive primitives. In the interpretation of the relations, strict interpretation allows exact conservative inferences, while heuristic interpretation allows inferences more aggressive and human-like, by permitting some slack at each inference step. Inference strategies within O(M) are based on propagation of order-of-magnitude relations through properties of the relations, solved or unsolved algebraic constraints and rules. Assumption-based truth-maintenance is used, and the physical dimensions of quantities efficiently constrain the inferences. Statement of goals allows more effective employment of the constraints and focuses the system's opportunistic forward reasoning. O(M) relations permit order-of-magnitude analysis in process engineering. The O(M) system is suitable for many process engineering activities, such as preliminary design of process flowsheets, planning of process operations, design of control structures for chemical plants, fault simulation and diagnosis, process trend analysis and analysis of biochemical pathways.

AB - The O(M) system is aimed at formalizing reasoning with approximate relations among quantities-relations like "much smaller than" or "slightly larger than." O(M) is based on seven primitive relations among quantities, and compound relations formed as implicit disjunctions of consecutive primitives. In the interpretation of the relations, strict interpretation allows exact conservative inferences, while heuristic interpretation allows inferences more aggressive and human-like, by permitting some slack at each inference step. Inference strategies within O(M) are based on propagation of order-of-magnitude relations through properties of the relations, solved or unsolved algebraic constraints and rules. Assumption-based truth-maintenance is used, and the physical dimensions of quantities efficiently constrain the inferences. Statement of goals allows more effective employment of the constraints and focuses the system's opportunistic forward reasoning. O(M) relations permit order-of-magnitude analysis in process engineering. The O(M) system is suitable for many process engineering activities, such as preliminary design of process flowsheets, planning of process operations, design of control structures for chemical plants, fault simulation and diagnosis, process trend analysis and analysis of biochemical pathways.

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

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

U2 - 10.1016/0098-1354(88)87014-5

DO - 10.1016/0098-1354(88)87014-5

M3 - Article

AN - SCOPUS:0001463657

VL - 12

SP - 867

EP - 880

JO - Computers and Chemical Engineering

JF - Computers and Chemical Engineering

SN - 0098-1354

IS - 9-10

ER -