Automated modeling of complex systems to answer prediction questions

Artificial Intelligence

Volumn 93, Issue 1-2, 1997, Pages 201-260

  Rickel, Jeff ^a   Porter, Bruce ^b  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^b University of Texas at Austin   (United States)

Author keywords

Automated modeling; Large knowledge bases; Reasoning about physical systems

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; KNOWLEDGE BASED SYSTEMS;

AUTOMATED MODELING;

KNOWLEDGE ENGINEERING;

EID: 0031169677     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(96)00052-5     Document Type: Article

References (57)

1. S. Addanki, R. Cremonini and J.S. Penberthy, Graphs of models, Artificial Intelligence 51 (1991) 145-177.
2. T.F.H. Allen and T.B. Starr, Hierarchy (University of Chicago Press, Chicago, 1982).
3. J. Amsterdam, Automated qualitative modeling of dynamic physical systems, Ph.D. Thesis, Technical Report 1412, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA (1993).
4. C.A. Catino, Automated modeling of chemical plants with application to hazard and operability studies, Ph.D. Thesis, University of Pennsylvania (1993).
5. D.J. Clancy and B.J. Kuipers, Behavior abstraction for tractable simulation, in: Proceedings 7th International Workshop on Qualitative Reasoning about Physical Systems, Orcas Island, WA (1993) 57-64.
6. J.W. Collins and K.D. Forbus, Reasoning about fluids via molecular collections, in: Proceedings AAAI-87, Seattle, WA (1987) 590-595.
7. T.H. Cormen, C.E. Leiserson and R.L. Rivest, Introduction to Algorithms (McGraw-Hill, New York, 1989).
8. R. Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24 (1984) 347-410.
9. T. Ellman, J. Keane and M. Schwabacher, Intelligent model selection for hillclimbing search in computer-aided design, in: Proceedings AAAI-93, Washington, DC (1993) 594-599.
10. B. Falkenhainer, Modeling without amnesia: Making experience-sanctioned approximations, in: Proceedings 6th International Workshop on Qualitative Reasoning about Physical Systems, Edinburgh, Scotland (1992) 44-55.
11. B. Falkenhainer, Ideal physical systems, in: Proceedings AAAI-93, Washington, DC (1993) 600-605.
12. B. Falkenhainer and K.D. Forbus, Compositional modeling: Finding the right model for the job, Artificial Intelligence 51 (1991) 95-143.
13. A. Farquhar, Automated modeling of physical systems in the presence of incomplete knowledge, Ph.D. Thesis, Technical Report AI93-207, Department of Computer Science, University of Texas at Austin, TX (1993).
14. A. Farquhar, A qualitative physics compiler, in: Proceedings AAAI-94, Seattle, WA (1994) 1168-1174.
15. K.D. Forbus, Qualitative process theory, Artificial Intelligence 24 (1984) 85-168.
16. K.D. Forbus, Qualitative physics: Past, present and future, in: D.S. Weld and J. de Kleer, eds., Readings in Qualitative Reasoning about Physical Systems (Morgan Kaufmann, San Mateo, CA, 1990) 11-39.
17. K.D. Forbus and B. Falkenhainer, Self-explanatory simulations: An integration of qualitative and quantitative knowledge, in: in: Proceedings AAAI-93, Boston, MA (1990) 380-387.
18. J.W. Forrester, Principles of Systems (Wright-Allen Press, Cambridge, MA, 1968).
19. H.J. Gold, Mathematical Modeling of Biological Systems (Wiley, New York, 1977).
20. A.C. Guyton, Textbook of Medical Physiology (W.B. Saunders, Philadelphia, PA, 1981).
21. Y. Iwasaki, Reasoning with multiple abstraction models, in: B. Faltings and P. Struss, eds., Recent Advances in Qualitative Physics (MIT Press, Cambridge, MA, 1992) 67-82.
22. Y. Iwasaki and I. Bhandari, Formal basis for commonsense abstraction of dynamic systems, in: Proceedings AAAI-88, St. Paul, MN (1988) 307-312.
23. Y. Iwasaki and A.Y. Levy, Automated model selection for simulation, in: Proceedings AAAI-94, Seattle, WA (1994) 1183-1190.
24. Y. Iwasaki and H.A. Simon, Causality and model abstraction, Artificial Intelligence 67 (1) (1994) 143-194.
25. S.J. Kline, Similitude and Approximation Theory (McGraw-Hill, New York, 1965).
26. P.V. Kokotovic, R.E. O'Malley Jr and P. Sannuti, Singular perturbations and order reduction in control theory - an overview, Automatica 12 (1976) 123-132.
27. B.J. Kuipers, Qualitative simulation, Artificial Intelligence 29 (1986) 289-338.
28. B.J. Kuipers, Abstraction by time scale in qualitative simulation, in: Proceedings AAAI-87, Seattle, WA (1987) 621-625.
29. B.J. Kuipers, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge (MIT Press, Cambridge, MA, 1994).
30. S.A. Lapp and G.J. Powers, Computer-aided synthesis of fault trees, IEEE Trans. Reliability (April 1977).
31. J. Lester, Generating natural language explanations from large-scale knowledge bases, Ph.D. Thesis, Department of Computer Science, University of Texas at Austin, TX (1994).
32. J. Lester and B. Porter, Developing and empirically evaluating robust explanation generators: the knight experiments, Computational Linguistics, to appear.
33. J. Lester and B. Porter, Scaling up explanation generation: Large-scale knowledge bases and empirical studies, in: Proceedings AAAI-96, Portland, OR (1996) 416-423.
34. A.Y. Levy, Irrelevance reasoning in knowledge based systems, Ph.D. Thesis, Report No. STAN-CS-93-1482, Department of Computer Science, Stanford University, Stanford, CA (1993).
35. C.C. Lin and L.A. Segal, Mathematics Applied to Deterministic Problems in the Natural Sciences (Macmillan, New York, 1974).
36. S.-k.R. Ling, Using a domain theory to guide automated modeling of complex physical phenomena, in: Proceedings IJCAI-95, Montreal, Que. (1995) 1766-1772.
37. S. Mittal and B. Falkenhainer, Dynamic constraint satisfaction problems, in: Proceedings AAAI-90, Boston, MA (1990) 25-32.
38. P.P. Nayak, Causal approximations, Artificial Intelligence 70 (1994) 277-334.
39. P.P. Nayak and L. Joskowicz, Efficient compositional modeling for generating causal explanations, Artificial Intelligence 83 (1996) 193-227.
40. R.V. O'Neill, D.L. DeAngelis, J.B. Waide and T.F.H. Allen, A Hierarchical Concept of Ecosystems (Princeton University Press, Princeton, NJ, 1986).
41. J. Pearl, Heuristics: Intelligent Search Strategies for Computer Problem Solving (Addison-Wesley, Reading, MA, 1984).
42. B. Porter, J. Lester, K. Murray, K. Pittman, A. Souther, L. Acker and T. Jones, AI research in the context of a multifunctional knowledge base: the botany knowledge base project, Technical Report AI88-88, University of Texas at Austin, TX (1988).
43. C.J. Puccia and R. Levins, Qualitative Modeling of Complex Systems (Harvard University Press, Cambridge, MA, 1985).
44. J. Rickel, Automated modeling of complex systems to answer prediction questions, Ph.D. Thesis, Technical Report AI95-234, Department of Computer Science, University of Texas at Austin, TX (1995).
45. J. Rickel and B. Porter, Automated modeling for answering prediction questions: selecting the time scale and system boundary, in: Proceedings AAAI-94, Seattle, WA (1994) 1191-1198.
46. N. Roberts, D. Andersen, R. Deal, M. Garet and W. Shaffer, Introduction to Computer Simulation (Addison-Wesley, Reading, MA, 1983).
47. T. Rosswall, R.G. Woodmansee and P.G. Risser, eds., Scales and Global Change: Spatial and Temporal Variability in Biospheric Processes (Wiley, New York, 1988).
48. V.R. Saksena, J. O'Reilly and P.V. Kokotovic, Singular perturbations and time-scale methods in control theory: survey 1976-1983, Automatica 20 (3) (1984) 273-293.
49. L.A. Segal, ed., Mathematical Models in Molecular and Cellular Biology, Chapter 3 (Cambridge University Press, Cambridge, MA, 1980).
50. M. Shirley and B. Falkenhainer, Explicit reasoning about accuracy for approximating physical systems, in: T. Ellman, R. Keller and J. Mostow, eds., Working Notes of the AAAI Workshop on Automatic Generation of Approximations and Abstractions (1990) 153-162.
51. H.A. Simon and A. Ando, Aggregation of variables in dynamic systems, Econometrica 29 (1961) 111-138.
52. D.S. Weld, Reasoning about model accuracy, Artificial Intelligence 56 (1992) 255-300.
53. D.S. Weld and J. de Kleer, eds., Readings in Qualitative Reasoning about Physical Systems (Morgan Kaufmann, San Mateo, CA, 1990).
54. B.C. Williams, Critical abstraction: Generating simplest models for causal explanation, in: Proceedings 5th International Workshop on Qualitative Reasoning about Physical Systems, Austin, TX (1991) 77-92.
55. B.C. Williams and O. Raiman, Decompositional modeling through caricatural reasoning, in: Proceedings AAAI-94, Seattle, WA (1994) 1199-1204.
56. K.M.-k. Yip, Model simplification by asymptotic order of magnitude reasoning, in: Proceedings AAAI-93, Washington, DC (1993) 634-641.
57. K.M.-k. Yip, Model simplification by asymptotic order of magnitude reasoning. Artificial Intelligence 80 (1996) 309-348.