Skip to main content

Qualitative Reasoning

  • Conference paper
Book cover Künstliche Intelligenz

Part of the book series: Informatik-Fachberichte ((2252,volume 203))

Zusammenfassung

What is a geyser? It is a very impressive natural phenomenon. It mainly occurs in regions that exhibited volcanic activities in former periods. You observe hot water and steam being tossed into the air out of a hole in the ground for a certain amount of time. After this, there is a phase with no obvious activity, until the next eruption takes place. Some geysers show a very precise pattern of periodic activity. One of the most famous geysers, located in Yellowstone National Park, is called “Old Faithful” because the duration of the period between two eruptions is almost constant.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Google Scholar 

  2. Brown, A. Qualitative Knowledge, Causal Reasoning, and the Localization of Failures, M.I.T. AITR-362, 1976

    Google Scholar 

  3. Chiu, C. Abstracting Qualitative Behaviors from Quantitative Simulation Models Draft, University of Texas at Austin, September 4, 1987

    Google Scholar 

  4. Chiu, C. Automatic Analysis of Qualitative Simulation Models, Univ. of Texas, Department of Physics and Artificial Intelligence Laboratory, 1988

    Google Scholar 

  5. Crandall, H. Yellowstone — The Story behind the Scenery, Las Vegas, 1983

    Google Scholar 

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

    Google Scholar 

  7. Dague, P., Devès, P., and Raiman, O. Troubleshooting: When Modeling is the Trouble, AAAI 1987

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  11. Davis, E. A Logical Framework for Commonsense predictions of Solid Object Behavior, International Journal for Artificial Intelligence in Engineering 3 (3), 1988

    Google Scholar 

  12. de Kleer, J. Multiple Representations of Knowledge in a Mechanics Problem-Solver, IJCAI 1977

    Google Scholar 

  13. de Kleer, J. Causal and Teleological Reasoning in Circuit Recognition, M.I.T. AI-TR-529, 1979

    Google Scholar 

  14. deKleer, J. Qualitative Physics. In: Shapiro, Eckroth (eds), Encyclopedia of Artificial Intelligence, New York 1987

    Google Scholar 

  15. de Kleer, J. and Brown, J. S. Mental Models of Physical Mechanisms and Their Acquisition, in: Anderson, J. (ed.), Cognitive Skills and their Acquisition, Hillsdale, N. J., 1981

    Google Scholar 

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

    Google Scholar 

  17. de Kleer, J. and Sussman, G. J. Propagation of Constraints Applied to Circuit Synthesis, M.I.T. AITR-485, 1978

    Google Scholar 

  18. Dormoy, J.L. Controlling Qualitative Resolution, 2nd Workshop on Qualitative Physics, Paris, 1988

    Google Scholar 

  19. Falkenhainer, B. and Forbus, K. D. Setting up Large-Scale Qualitative Models, AAAI 1988

    Google Scholar 

  20. Forbus, K. D. Qualitative Reasoning about Physical Processes, IJCAI 1981

    Google Scholar 

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

    Google Scholar 

  22. Forbus, K. D. Introducing Action in Qualitative Simulation, 2nd Workshop on Qualitative Physics, Paris, 1988

    Google Scholar 

  23. Hardt, S. L. Aspects of Qualitative Physics of Diffusional Processes, 1st Workshop on Qualitative Physics, Urbana-Champaign, 1987

    Google Scholar 

  24. Hart, P.E. Directions for AI in the Eighties, SIGART Newsletter 79, 1982

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  27. Hayes, P. Naive Physics 1: Ontology for Liquids, in: Hobbs, J. and Moore, R. (eds.), Formal Theories of the Commonsense World, Norwood, 1985

    Google Scholar 

  28. Kuipers, B. The Limits of Qualitative Simulation, IJCAI 1985

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  31. Kuipers, B. The Qualitative Calculus is Sound but Incomplete: A Reply to Peter Struss, International Journal for Artificial Intelligence in Engineering 3 (3), 1988

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  34. Mc Carthy, J. Situations, Actions and Causal Laws, AI-Memo 1, Artificial Intelligence Project, Stanford University

    Google Scholar 

  35. Mc Dermott, D. Flexibility and Efficiency in a Computer Program for Designing Circuits, M.I.T. AITR-402, 1976

    Google Scholar 

  36. Murthy, S. Qualitative Reasoning at Multiple Resolutions, AAAI 1988

    Google Scholar 

  37. Raiman, O. Order of Magnitude Reasoning, AAAI 1986

    Google Scholar 

  38. Raiman, O. Caricatural Reasoning, 2nd Workshop on Qualitative Physics, Paris, 1988

    Google Scholar 

  39. Rieger, C. and Grinberg, M. The Causal Representation and Simulation of Physical Mechanisms, University of Maryland, TR 495, 1976

    Google Scholar 

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

    Google Scholar 

  41. Rieger, C. and Grinberg, M. A System of Cause-Effect Representation and Simulation for Computer — Aided Design, in: Latombe (ed), Artificial Intelligence and Pattern Recognition in Computer-Aided Design, Amsterdam, 1978

    Google Scholar 

  42. Sacks, E. Qualitative Analysis by Piecewise Linear Approximation, International Journal for Artificial Intelligence in Engineering 3 (3), 1988

    Google Scholar 

  43. Schmid, L. Impediments to a Qualitative Physics Based on Confluences. In: Fruechtenicht et al. (eds), Technische Expertensysteme — Wissensrepraesentation und Schlussfolgerungsverfahren, Munich 1988

    Google Scholar 

  44. Simmons, R. “Commonsense” Arithmetic Reeasoning, AAAI 1986

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  47. Struss, P. Problems of Interval-Based Qualitative Reasoning. In: Fruechtenicht et al. (eds), Technische Expertensysteme — Wissensrepraesentation und Schlussfolgerungsverfahren, Munich 1988

    Google Scholar 

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

    Google Scholar 

  49. Struss, P. Global Filters for Qualitative Behaviors, AAAI 1988

    Google Scholar 

  50. Struss, P. Mathematical Aspects of Qualitative Reasoning — Part Two: Differential Equations, Siemens Technical Report INF 2 ARM-7–88, Munich, 1988

    Google Scholar 

  51. Sussman, G. Contribution to the discussion of [Rieger-Grinberg 78], in: Latombe (ed), Artificial Intelligence and Pattern Recognition in Computer-Aided Design, Amsterdam, 1978

    Google Scholar 

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

    Google Scholar 

  53. Sussman, G. J. and Steele, G. L. CONSTRAINTS — A Language for Expressing Almost — Hierarchical Descriptions, Artificial Intelligence 14 (1), 1980

    Google Scholar 

  54. Weld, D. Comparative Analysis, IJCAI 1987

    Google Scholar 

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

    Google Scholar 

  56. Williams, B. Minima: A Symbolic Approach to Qualitative Algebraic Reasoning, AAAI 1988

    Google Scholar 

  57. Yip, K.M. Generating Global Behaviors Using Deep Knowledge of Local Dynamics, AAAI 1988

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Struss, P. (1989). Qualitative Reasoning. In: von Luck, K. (eds) Künstliche Intelligenz. Informatik-Fachberichte, vol 203. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74563-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74563-8_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50878-6

  • Online ISBN: 978-3-642-74563-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics