### 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

*Artificial Intelligence in Engineering*,

*4*(3), 106-114. https://doi.org/10.1016/0954-1810(89)90007-1

**Order-of-magnitude reasoning with O[M].** / L. Mavrovouniotis, Michael; Stephanopoulos, George.

Research output: Contribution to journal › Article

*Artificial Intelligence in Engineering*, vol. 4, no. 3, pp. 106-114. https://doi.org/10.1016/0954-1810(89)90007-1

}

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 -