Abstract
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.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 106-114 |
| Number of pages | 9 |
| Journal | Artificial Intelligence in Engineering |
| Volume | 4 |
| Issue number | 3 |
| DOIs | |
| State | Published - Jan 1 1989 |
| Externally published | Yes |
Fingerprint
Keywords
- approximate reasoning
- approximate relation
- approximation
- artificial intelligence
- order-of-magnitude reasoning
- qualitative reasoning
- relative magnitude
- semiquantitative reasoning
ASJC Scopus subject areas
- Computer Science(all)
- Engineering(all)
Cite this
Order-of-magnitude reasoning with O[M]. / L. Mavrovouniotis, Michael; Stephanopoulos, George.
In: Artificial Intelligence in Engineering, Vol. 4, No. 3, 01.01.1989, p. 106-114.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Order-of-magnitude reasoning with O[M]
AU - L. Mavrovouniotis, Michael
AU - Stephanopoulos, George
PY - 1989/1/1
Y1 - 1989/1/1
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
VL - 4
SP - 106
EP - 114
JO - Advanced Engineering Informatics
JF - Advanced Engineering Informatics
SN - 1474-0346
IS - 3
ER -