Skip to main content
SpringerLink
Log in

Qualitative modeling of physical systems in AI research

  • Conference paper
  • First Online:
Artificial Intelligence and Symbolic Mathematical Computing (AISMC 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 737))

  • 182 Accesses

Abstract

Much of human reasoning about the physical world, in every-day life as well as in science and engineering, is performed at a conceptual and non-quantitative level. Providing formalisms, languages, and systems for the acquisition and use of qualitative models is the goal of a very active research area in Artificial Intelligence. In this introductory survey, we discuss motivations for this research, illustrate different approaches by presenting some “classical” systems, point out some issues in relation to mathematics, and provide some references to current work in research and applications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Addanki, S., Cremonini, R., Penberthy, J.S.: Graphs of models. Artificial Intelligence 51 (1–3), October 1991.

    Google Scholar 

  2. Berleant, D., Kuipers, B.: Combined Qualitative and Numerical Simulation with Q3. In: [Faltings-Struss 92].

    Google Scholar 

  3. Bobrow, D.: Qualitative Reasoning about Physical Systems. Artificial Intelligence 24 (1–3), 1984.

    Google Scholar 

  4. Chiu, C., Kuipers, B.: Comparative analysis and qualitative integral representations. In: [Faltings-Struss 92].

    Google Scholar 

  5. Computational Intelligence 8(2), 1992.

    Google Scholar 

  6. Crawford, J., Farquhar, A., Kuipers, B.: QPC: A Compiler from Physical Models into Qualitative Differential Equations. In: [Faltings-Struss 92].

    Google Scholar 

  7. Dague, P.: Order of Magnitude Revisited. 2nd Workshop on Qualitative Physics, Paris, August 1988.

    Google Scholar 

  8. Dague, P., Deves, P., Raiman, O.: Troubleshooting: When Modeling is the Trouble. AAAI 1987.

    Google Scholar 

  9. Davis, R.: Expert Systems: Where Are We? And Where Do We Go From Here? The AI Magazine, Spring 1982.

    Google Scholar 

  10. Davis, R.: Diagnostic Reasoning Based on Structure and Behavior. Artificial Intelligence 24 (1–3), 1984.

    Google Scholar 

  11. Davis, E.: Order of Magnitude Reasoning in Qualitative Differential Equations. New York Univ. Tech. Report #312, 1987.

    Google Scholar 

  12. DeCoste, D.: Dynamic Across-Time Measurement Interpretation. Artificial Intelligence 51 (1–3), October 1991.

    Google Scholar 

  13. de Kleer, J., Brown, J.S.: A Qualitative Physics Based on Confluences. Artificial Intelligence 24 (1–3), 1984.

    Google Scholar 

  14. de Kleer, J., Williams, B.C. (eds.): Artificial Intelligence (Special Volume on Qualitative Reasoning About Physical Systems II), 51(1–3), 1991.

    Google Scholar 

  15. Doordan, O.: Mathematical Problems Arising in Qualitative Simulation of a Differential Equation. Artificial Intelligence 55 (1), 1992.

    Google Scholar 

  16. Downing, K.: The Qualitative Criticism of Circulatory Models Via Bipartite Teleological Analysis. In: [Faltings-Struss 92].

    Google Scholar 

  17. Doyle, R.J., et al.: A Focused, Context-Sensitive Approach to Monitoring. In: Proceedings of IJCAI 1989.

    Google Scholar 

  18. Doyle, R.J., et al.: Sensor Selection in Complex System Monitoring Using Information Quantification and Causal Reasoning. In: [Faltings-Struss 92].

    Google Scholar 

  19. Dvorak, D., Kuipers, B.: Model-Based Monitoring of Dynamic Systems. IJCAI 1989.

    Google Scholar 

  20. Falkenhainer, B., Forbus, K.D., Compositional Modeling of of Physical Systems. Artificial Intelligence 51 (1–3), October 1991. Also in: [Faltings-Struss 92].

    Google Scholar 

  21. Faltings, B., Struss, P. (eds.): Recent Advances in Qualitative Physics. MIT Press, 1992.

    Google Scholar 

  22. Forbus, K. D.: Qualitative Process Theory. Artificial Intelligence 24 (1–3), 1984.

    Google Scholar 

  23. Forbus, K. D.: Interpreting Measurements of Physical Systems. In: Proc. 5th National Conf. on Artificial Intelligence, Philadelphia, PA, 1986.

    Google Scholar 

  24. Forbus, K.D.: Introducing Actions into Qualitative Simulation. In: Proceedings of IJCAI 1989.

    Google Scholar 

  25. Forbus, K.D.: The Qualitative Process Engine. In: [Weld-de Kleer 90].

    Google Scholar 

  26. Forbus, K.D.: Pushing the Edge of the (QP) Envelope. In: [Faltings-Struss 92].

    Google Scholar 

  27. Forbus, K.D., FalkenhainerW B.: Self-explanatory Simulations: Integrating Qualitative and Quantitative Knowledge. In: [Faltings-Struss 92].

    Google Scholar 

  28. Forbus, K.D., Nielsen, P., Faltings, B.: Qualitative Spatial Reasoning: the CLOCK Project. Artificial Intelligence 51 (1–3), October 1991.

    Google Scholar 

  29. Fouche, R., Kuipers, B.: An Assessment of Current Qualitative Simulation Techniques. In: [Faltings-Struss 92].

    Google Scholar 

  30. Hamscher, W.: Modeling Digital Circuits for Troubleshooting. Artificial Intelligence, 51 (1–3), 1991.

    Google Scholar 

  31. Hamscher, W., de Kleer, J., Console, L. (eds.): Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function. Morgan Kaufmann, San Mateo, 1992.

    Google Scholar 

  32. Hayes, P.: The Naive Physics Manifesto. In: Michie, D. (ed.): Expert Systems in the Micro-Electronic Age. Edinburgh, 1978.

    Google Scholar 

  33. Hayes, P.: The Second Naive Physics Manifesto. In: Hobbs, J., Moore, R. (eds.): Formal Theories of the Commonsense World. Norwood, 1985.

    Google Scholar 

  34. Hellertstein, J.: Obtaining Quantitative Predictions from Montone Relationships. In: [Faltings-Struss 92].

    Google Scholar 

  35. Hibler, D.L., Biswas, G.: TEPS: the Thought Experiment Approach to Qualitative Physics. In: [Faltings-Struss 92].

    Google Scholar 

  36. Hobbs, J., Moore, R. (eds.): Formal Theories of the Commonsense World. Norwood, 1985.

    Google Scholar 

  37. Hyun-Kyung, K.: Qualitative Kinematics of Linkages. In: [Faltings-Struss 92].

    Google Scholar 

  38. Iwasaki, Y.:Causal Ordering in a Mixed Structure. AAAI 1988.

    Google Scholar 

  39. Iwasaki, Y.: Reasoning with Multiple Abstraction Models. In: [Faltings-Struss 92].

    Google Scholar 

  40. Kuipers, B.: Qualitative Simulation. Artificial Intelligence 29 (3), 1986.

    Google Scholar 

  41. Kuipers, B.: Abstraction by Time-Scale in Qualitative Simulation. AAAI 1987.

    Google Scholar 

  42. Kuipers, B., Chiu, C.: Taming Intractable Branchung in Qualitative Simulation. IJCAI 1987.

    Google Scholar 

  43. Kuipers, B., Chiu, C., Dalle Molle, D.T., Throop, D.R.: Higher-order Derivative Constraints in Qualitative Simulation. Artificial Intelligence 51 (1–3), October 1991.

    Google Scholar 

  44. Kuipers, B., Berleant, D.: Using Incomplete Quantitative Knowledge in Qualitative Reasoning. In: 2nd Workshop on Qualitative Physics, Paris, 1988.

    Google Scholar 

  45. Lee, W.W., Kuipers, B.: Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation. AAAI 1988.

    Google Scholar 

  46. Mavrovouniotis, M.L, Stephanopoulos, G.: Reasoning with Orders of Magnitude and Approximate Relations. AAAI 1987.

    Google Scholar 

  47. Murthy, S.: Qualitative Reasoning at Multiple Resolutions. AAAI 1988.

    Google Scholar 

  48. Nigam, A., Bhaskar, R.: Qualitative Reasoning about a Large System Using Dimensional Analysis. In: [Faltings-Struss 92].

    Google Scholar 

  49. van Nypelseer, P.: Qualitative Change Waves — the Automatic Detection of Traffic Accidents. In: [Faltings-Struss 92].

    Google Scholar 

  50. Raiman, O.: Order of Magnitude Reasoning. AAAI 1986.

    Google Scholar 

  51. Raiman, O.: Order of Magnitude Reasoning. Artificial Intelligence 51 (1–3), October 1991.

    Google Scholar 

  52. Randell, B., Conn, G.: Exploring Naive Topology: Modeling the Force Pump. In: [Faltings-Struss 92]

    Google Scholar 

  53. Rieger, C., Grinberg, M.: The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms. IJCAI 1977.

    Google Scholar 

  54. Rose, P., Kramer, M.A.: Qualitative Analysis of Causal Feedback. AAAI 1991.

    Google Scholar 

  55. Sacks, E. Qualitative Mathematical Reasoning. IJCAI 1985.

    Google Scholar 

  56. Sacks, E.: Automatic Qualitative Analysis of Dynamic Systems Using Piecewise Linear Approximation. Artificial Intelligence 41 (1990).

    Google Scholar 

  57. Schaefer, P.: Analytic Solution of Qualitative Differential Equations. AAAI 1991.

    Google Scholar 

  58. Shen, Q., Leitch, R.: Integrating Common-Sense and Qualitative Simulation by the Use of Fuzzy Sets. In: [Faltings-Struss 92].

    Google Scholar 

  59. Simmons, R.: ”Commonsense” Arithmetic Reeasoning. AAAI 1986.

    Google Scholar 

  60. Stallman, R. M., Sussman, G. J.: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artificial Intelligence 9 (2), 1977.

    Google Scholar 

  61. Struss, P.: Multiple Representation of Structure and Function. In: J.Gero (ed.): Expert Systems in Computer-Aided Design. Amsterdam, 1987.

    Google Scholar 

  62. Struss, P.: Mathematical Aspects of Qualitative Reasoning. In: International Journal for Artificial Intelligence in Engineering 3 (3)1988.

    Google Scholar 

  63. Struss, P.: Global Filters for Qualitative Behaviors. AAAI 1988.

    Google Scholar 

  64. Struss, P.: Problems of Interval-Based Qualitative Reasoning — Revised Version. In: [Weld-de Kleer 90].

    Google Scholar 

  65. Struss, P.: What's in SD? Towards a Theory of Modeling for Diagnosis. To appear in: [Hamscher-Console-de Kleer 92].

    Google Scholar 

  66. Sussman, G. J., Stallman, R. M.: Heuristic Techniques in Computer-Aided Circuit Analysis. IEEE Transactions on Circuits and Systems CAS-22 (11), 1975.

    Google Scholar 

  67. Weinberg, J., Uckun, S., Biswas, G.: Qualitative Vector Algebra. In: [Faltings-Struss 92].

    Google Scholar 

  68. Weld, D.S.: Comparative Analysis. Artificial Intelligence 36, 1988.

    Google Scholar 

  69. Weld, D.S.: Exaggeration. Proceedings of AAAI 1988.

    Google Scholar 

  70. Weld, D.S.: Approximation Reformulations. In: [Faltings-Struss 92].

    Google Scholar 

  71. Weld, D.S., de Kleer, J. (eds.): Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, CA, 1990.

    Google Scholar 

  72. Weld, D.S., Addanki, S.: Task-Driven Model Abstraction. In: [Faltings-Struss 92].

    Google Scholar 

  73. Williams, B.: Doing Time: Putting Qualitative Reasoning on Firmer Ground. AAAI 1986.

    Google Scholar 

  74. Williams, B.C.: MINIMA: A Symbolic Approach to Qualitative Reasoning, AAAI 1988, pages 105–112.

    Google Scholar 

  75. Williams, B.C.: Interaction-based Invention: Designing Devices from First Principles. In: [Faltings-Struss 92].

    Google Scholar 

  76. Williams, C.P.: Analytic Abduction from Qualitative Simulation. In: [Faltings-Struss 92].

    Google Scholar 

  77. Yip, K.M.-P.: Understanding Complex Dynamics by Visual and Symbolic Reasoning. Artificial Intelligence 51 (1–3), October 1991.

    Google Scholar 

  78. Zheng-Yang, L.: A Charge-carrier Ontology for Reasoning about Electronics. In: [Faltings-Struss 92].

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Dept., University of Technology, Orleansstr. 34, W-8000, Munich 80

    Peter Struss

Authors
  1. Peter Struss
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet John A. Campbell

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Struss, P. (1993). Qualitative modeling of physical systems in AI research. In: Calmet, J., Campbell, J.A. (eds) Artificial Intelligence and Symbolic Mathematical Computing. AISMC 1992. Lecture Notes in Computer Science, vol 737. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57322-4_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-57322-4_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57322-7

  • Online ISBN: 978-3-540-48063-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation