Order-of-magnitude reasoning with O[M]

Michael L. Mavrovouniotis, George Stephanopoulos

Research output: Contribution to journalArticle

12 Citations (Scopus)

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 languageEnglish (US)
Pages (from-to)106-114
Number of pages9
JournalArtificial Intelligence in Engineering
Volume4
Issue number3
DOIs
StatePublished - Jan 1 1989
Externally publishedYes

Fingerprint

Biochemical engineering
Process engineering

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 journalArticle

L. Mavrovouniotis, Michael ; Stephanopoulos, George. / Order-of-magnitude reasoning with O[M]. In: Artificial Intelligence in Engineering. 1989 ; Vol. 4, No. 3. pp. 106-114.
@article{e17c7b3972aa42ec83bf3f88c7af591c,
title = "Order-of-magnitude reasoning with O[M]",
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.",
keywords = "approximate reasoning, approximate relation, approximation, artificial intelligence, order-of-magnitude reasoning, qualitative reasoning, relative magnitude, semiquantitative reasoning",
author = "{L. Mavrovouniotis}, Michael and George Stephanopoulos",
year = "1989",
month = "1",
day = "1",
doi = "10.1016/0954-1810(89)90007-1",
language = "English (US)",
volume = "4",
pages = "106--114",
journal = "Advanced Engineering Informatics",
issn = "1474-0346",
publisher = "Elsevier Limited",
number = "3",

}

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 -