Qualitative reasoning about approximations in quantitative modeling

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 27, Issue 5, 1997, Pages 683-690

  Raghunathan, S ^a  

^a BOWLING GREEN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; MATHEMATICAL MODELS; PROBLEM SOLVING;

QUALITATIVE REASONING; QUANTITATIVE MODELING;

DECISION SUPPORT SYSTEMS;

EID: 0031234121     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.618267     Document Type: Article

References (29)

1. S. Addanki, R. J. Cremonini, and J. S. Penberthy, "Reasoning about assumptions in graphs of models," in Proc. Int. Joint Conf. Artificial Intelligence, 1989, pp. 1432-1438.
2. M. Binbasioglu and M. Jarke, "Domain-specific DSS tools for knowledge-based model building," Decision Support Syst., vol. 2, pp. 213-223, June/July 1986.
3. R. Blanning, A. Whinston, J. M. Holsapple, S. O. Kimbrough, and M. Prietula, "Model management systems," in Information Systems and Decision Processes, E. A. Stohr and B. R. Konsynski, Eds. New York: Academic, 1992.
4. D. G. Bobrow, Qualitative Reasoning About Physical Systems. Cambodge, MA: MIT Press, 1985.
5. J. DeKleer, "An assumption-based TMS," Artif. Intell., pp. 127-162, 1986,.
6. B. Falkenhainer and K. D. Forbus, "Compositional modeling: finding the right model for the job," Artif. Intell., vol. 51, pp. 95-143, 1991.
7. K. D. Forbus, "Qualitative physics: Past, present, and future," in Exploring Artificial Intelligence, H. Shrobe, Ed. San Mateo, CA: Morgan-Kaufmann, 1988.
8. A. M. Geoffrion, "An introduction to structured modeling," Manage. Sci., vol. 33, pp. 547-588, 1987.
9. _, "Integrated modeling systems," Comput. Sci. Econ. Manage., vol. 2, pp. 3-15, 1989.
10. H. J. Greenberg, "A functional description of ANALYZE: A computer-assisted analysis system for linear programming models," ACM Trans. Math. Softw., vol. 9, pp. 18-56, 1983.
11. H. J. Greenberg and F. H. Murphy, "Approaches to diagnosing infeasible linear programs," ORSA J. Comput., vol. 3, pp. 180-201, Summer 1991.
12. Y. Iwasaki, "Reasoning with multiple abstraction models," in Recent Advances in Qualitative Physics, B. Faltings and P. Struss, Eds. Cambridge, MA: MIT Press, 1992.
13. Y. Iwasaki and H. A. Simon, "Causality and model abstraction," Artif. Intell., vol. 67, pp. 143-194, 1994.
14. B. J. Kuipers, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. Reading, MA: Addison-Wesley, 1992.
15. F. Murphy and E. Stohr, "An intelligent system for formulating linear programs," Decision Support Systems, vol. 2, pp. 39-47, June/July 1986.
16. P. Nayak, "Causal approximations," in Proc. 10th Nat. Conf. Artificial Intelligence, 1992, pp. 703-709.
17. P. Nayak, L. Joskowicz, and S. Addanki, "Automated model selection using context-dependent behaviors," in Proc. 10th Nat. Conf. Artificial Intelligence, 1992, pp. 710-716.
18. S. Raghunathan, "A planning aid: An intelligent modeling system for planning problems based on Constraint satisfaction," IEEE Trans. Knowledge Data Eng., vol. 4, pp. 317-336, 1992.
19. S. Raghunathan, R. Krishnan, and J. May, "MODFORM: A knowledge based tool to support the modeling process," Inf. Syst. Res., Nov./Dec. 1993.
20. S. Raghunathan, R. Krishnan, and J. May, "On using belief maintenance systems to assist mathematical modeling," IEEE Trans. Syst., Man, Cybern., vol. 25, pp. 287-303, Feb. 1995.
21. S. Raghunathan, "An application of qualitative reasoning to generate behavior from structure of quantitative models," J. Manage. Inf. Syst., Summer 1994.
22. E. P. Sacks, "Automatic qualitative analysis of dynamic systems using piecewise approximations," Artif. Intell., vol. 41, pp. 313-364, 1990.
23. _, "Automatic qualitative analysis of one parameter planar ordinary differential equations by intelligent numeric simulation," Artif. Intell., vol. 48, pp. 27-56, 1991.
24. L. Schrage, Linear, Integer, and Quadratic Programming with LINDO. Palo Alto, CA: Scientific, 1984.
25. M. Shirley and B. Falkenhainer, "Explicit reasoning about accuracy for approximating physical systems," in Proc. AAAI Workshop Automatic Generation Approximations Abstractions, 1990.
26. A. Vinze, A. Sen, and S. F. T. Liou, "AEROBA: A blackboard approach to model formulation," in Proc. HICSS, Jan. 1992, pp. 551-564.
27. D. S. Weld and J. de Kleer, Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA, Morgan Kaufmann, 1988.
28. D. Weld, "Reasoning about model accuracy," Artif. Intell., vol. 56, pp. 255-300, 1992.
29. D. Weld and S. Addanki, "Query-directed approximation," in Recent Advances in Qualitative Physics, B. Faltings and P. Struss, Eds. Cambridge, MA: MIT Press, 1992.