A belief framework for order-of-magnitude reasoning and other qualitative relations

Artificial Intelligence in Engineering

Volumn 11, Issue 2, 1997, Pages 121-134

  Mavrovouniotis, Michael L ^a  

^a Northwestern University   (United States)

Author keywords

Approximate reasoning; Approximate relations; Belief; Dempster Shafer; Likelihood; Order of magnitude reasoning; Order of magnitude relations; Qualitative reasoning; Uncertainty

Indexed keywords

APPROXIMATION THEORY; FORMAL LOGIC; FUNCTION EVALUATION; KNOWLEDGE ENGINEERING; PROBABILITY DENSITY FUNCTION;

QUALITATIVE REASONING;

KNOWLEDGE REPRESENTATION;

EID: 0031126231     PISSN: 09541810     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0954-1810(96)00021-0     Document Type: Article

References (16)

1. Raiman, O., Order of magnitude reasoning. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86). Morgan Kaufmann, Palo Alto, 1986, pp. 100-4.
2. Mavrovouniotis, M. L. & Stephanopoulos, G., Reasoning with orders of magnitude and approximate relations. Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87). Morgan Kaufman, Palo Alto, 1987, pp. 626-30.
3. Dague, P., Deves, P. & Raiman, O., Troubleshooting: when modeling is in trouble. Proceedings of the 6th National Conference on Artificial Intelligence (AAAI-87). Morgan Kaufmann, Palo Alto, 1987, pp. 600-5.
4. Mavrovouniotis, M. L. & Stephanopoulos, G., Formal order-of-magnitude reasoning in process engineering analysis. Computers and Chemical Engineering, 1988, 12, 867-80. Also appeared as Chapter 3.6 in Readings in Qualitative Physics, ed. J. de Kleer and D. Weld. Morgan Kaufmann, Palo Alto, 1990, pp. 323-36.
5. Mavrovouniotis, M. L. & Stephanopoulos, G., Formal order-of-magnitude reasoning in process engineering analysis. Computers and Chemical Engineering, 1988, 12, 867-80. Also appeared as Chapter 3.6 in Readings in Qualitative Physics, ed. J. de Kleer and D. Weld. Morgan Kaufmann, Palo Alto, 1990, pp. 323-36.
6. Mavrovouniotis, M. L., Stephanopoulos, G. & Stephanopoulos, G., Formal modeling of approximate relations in biochemical systems. Biotechnology and Bioengineering, 1989, 34, 196-206.
7. Raiman, O., Order-of-magnitude reasoning. Artificial Intelligence, 1991, 51, 11-38.
8. Dague, P., Symbolic reasoning with relative orders of magnitude. Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93). AAAI Press, 1993, pp. 1509-14.
9. Mavrovouniotis, M. L., Constraint propagation with N-ary semiquantitative relations. Proceedings of the Seventh Conference of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB-89). Pitman Publishing, London, 1989, pp. 33-9.
10. Dague, P., Numeric reasoning with relative orders of magnitude. Proceedings of the 12th National Conference on Artificial Intelligence (AAAI-93). AAAI Press, 1993, pp. 541-7.
11. Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, Palo Alto, 1988.
12. Halpern, J. Y. & Fagin, R., Two views of belief: belief as generalized probability and belief as evidence. Artificial Intelligence, 1992, 54, 275-317.
13. Shafer, G., A Mathematical Theory of Evidence. The University Press, Princeton, 1976.
14. Davies, E., Constraint propagation with interval labels. Artificial Intelligence, 1987, 32, 281-331.
15. Williams, B. C. & Raiman, O., Decompositional modeling through caricatural reasoning. Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-94). AAAI Press, 1994, pp. 1199-204.
16. Forbus, K. D., Qualitative process theory. Artificial Intelligence, 1984, 24, 85-168.