TY - JOUR

T1 - Order-of-magnitude reasoning with O[M]

AU - L. Mavrovouniotis, Michael

AU - Stephanopoulos, George

N1 - Funding Information:
The financial support of the Biotechnology Process Engineering Center of the Massachusetts Institute of Technology is gratefully acknowledged. The authors are also grateful in the paper's referees for their constructive reviews.

PY - 1989/7

Y1 - 1989/7

N2 - The O[M] formalism for Order-of-Magnitude reasoning is described. O[M] is based on seven primitive relations among absolute magnitudes of quantities: 'much less than' (< <), 'moderately less than' (- <), 'slightly less than' (∼ <), 'equal to' (= =), 'slightly greater than' (> ∼), 'moderately greater than' (> -), and 'much greater than' (> >). 21 compound relations are formed as implicit disjunctions of consecutive primitive relations. A strict interpretation of the relations allows exact conservative inferences, while a heuristic interpretation allows more aggressive and human-like inferences, by permitting some slack at each inference step. Inference strategies are based on propagation of order-of-magnitude relations through properties of the relations, algebraic constraints, and rules. O[M] operates mainly in the data-driven direction with assumption-based truth-maintenance for the resolution of contradictions. O[M] provides efficient integration of quantitative and qualitative knowledge in the expression and solution of engineering problems. The system has been applied in process engineering and biochemical engineering.

AB - The O[M] formalism for Order-of-Magnitude reasoning is described. O[M] is based on seven primitive relations among absolute magnitudes of quantities: 'much less than' (< <), 'moderately less than' (- <), 'slightly less than' (∼ <), 'equal to' (= =), 'slightly greater than' (> ∼), 'moderately greater than' (> -), and 'much greater than' (> >). 21 compound relations are formed as implicit disjunctions of consecutive primitive relations. A strict interpretation of the relations allows exact conservative inferences, while a heuristic interpretation allows more aggressive and human-like inferences, by permitting some slack at each inference step. Inference strategies are based on propagation of order-of-magnitude relations through properties of the relations, algebraic constraints, and rules. O[M] operates mainly in the data-driven direction with assumption-based truth-maintenance for the resolution of contradictions. O[M] provides efficient integration of quantitative and qualitative knowledge in the expression and solution of engineering problems. The system has been applied in process engineering and biochemical engineering.

KW - approximate reasoning

KW - approximate relation

KW - approximation

KW - artificial intelligence

KW - order-of-magnitude reasoning

KW - qualitative reasoning

KW - relative magnitude

KW - semiquantitative reasoning

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

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

U2 - 10.1016/0954-1810(89)90007-1

DO - 10.1016/0954-1810(89)90007-1

M3 - Article

AN - SCOPUS:0024706261

SN - 0954-1810

VL - 4

SP - 106

EP - 114

JO - Artificial Intelligence in Engineering

JF - Artificial Intelligence in Engineering

IS - 3

ER -