Abstract
Qualitative differential equations (QDE) are a popular formalism for modelling dynamic systems qualitatively. This paper briefly introduces the basic concepts of this approach, including types of constraints used in QDE and the QSIM simulation algorithm. It also discusses the relation of QSIM to other approaches to qualitative modelling, such as confluences and Qualitative Physics Theory, and the advantages and limitations of QSIM. Selected annotated bibliography is also given.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Bobrow, D.G. (1984, ed.) Artificial Intelligence: Special Volume on Qualitative Reasoning about Physical Systems, Vol. 24. Also as: Reasoning about Physical Systems, MIT Press 1985.
Bratko, I., Mozetič, I., Lavrač, N. (1989) KARDIO: a Study in Deep and Qualitative Knowledge for Expert Systems. MIT Press.
Bratko, I., Muggleton, S., Varšek, A. (1991) Learning qualitative models of dynamic systems. Inductive Logic Programming Workshop 91, Viana do Castelo, Portugal, March 1991. (To appear in book Inductive Logic Programming, ed. S. Muggleton, Academic Press 1992). A short version also in Proc. Machine Learning 91 (Evanston, Illinois 1991), Morgan Kaufmann.
Coiera, E. (1989) Generating qualitative models from example behaviours. DCS Report No. 8901, School of Electr. Eng. and Computer Sc., Univ. of New South Wales, Sydney, Australia.
de Kleer, J., Brown, J.S. (1984) Qualitative physics based on confluences. Artificial Intelligence, 24, 7–83.
de Kleer, J., Williams, B.C. (1991, eds.) Artificial Intelligence: Special Issue on Qualitative Reasoning about Physical Systems II, Vol. 51.
Falkenheiner, B., Forbus, K. (1990) Self-explanatory simulations: an integration of qualitative and quantitative knowledge. QP-90: 4th Int. Workshop on Qualitative Physics, Lugano, Switzerland, July 1990.
Fouche, P., Kuipers, B. (1990) An assessment of current qualitative simulation techniques. QP-90: 4th Int. Workshop on Qualitative Physics, Lugano, Switzerland, 1990.
Fouche, P., Kuipers, B. (1991) Abstracting irrelevant distinctions in qualitative simulation. Proc. QR-91, 5th Int. Workshop on Qualitative Reasoning about Physical Systems, Austin, Texas, 1991.
Kalagnanam, J.R., Simon, H.A. (1991) Directions for qualitative reasoning. Computational Intelligence, to appear.
Kuipers, B.J. (1986) Qualitative simulation. Artificial Intelligence, 29, 289–338 (also in Weld and de Kleer 1990).
Kuipers, B.J. (1987) Abstraction by time scale in qualitative simulation. Proc. AAAI-87, Seattle, WA, 1997.
Kuipers, B.J., Berleant, D. (1988) Using incomplete quantitative knowledge in qualitative analysis. Proc. AAAI-90.
Kuipers, B.J., Chui, C. (1987) Taming intractable behaviours in qualitative simulation. Proc. IJCAI-87, Milano, 1987.
Kuipers, B.J., Chui, C., Dalle Molle, D.T., and Throop, D.R. (1991) Higher-order derivative constraints in qualitative simulation. Artificial Intelligence, 51, 343–380.
Lee, W.W., Kuipers, B.J. (1988) Non-interesection of trajectories in qualitative phase space: a global constraint for qualitative simulation. Proc. AAAI-88, St. Paul, MN.
Makarovič, A. (1991) Parsimony in Model-Based Reasoning, Enschede: Twente University, Ph. D. Thesis, ISBN 90-9004255-5.
Mozetič, I. (1987a) Learning of qualitative models. In Progress in Machine Learning (eds. I. Bratko, N. Lavrač; Proc. 2nd European Working Session on Learning, Bled, Slovenia) Wilmslow: Sigma Press.
Mozetič, I. (1987b) The role of abstractions in learning qualitative models. Proc. Fourth Int. Workshop on Machine Learning, Irvine, CA, June 1987. Morgan Kaufmann.
Sacks, E.P., Doyle, J. (1991) Prolegomena to any future qualitative physics. Princeton, New Jersey: Princeton University, Report CS-TR-314-91. To appear in Computational Intelligence.
Struss, P. (1988) Global filters for qualitative behaviours. Proc. AAAI-88, St. Paul, MN, 1988.
Varšek, A, (1991) Qualitative model evolution. Proc. IJCAI-91, Sydney 1991.
Weld, D.S., de Kleer, J. (1990) Readings in Qualitative Reasoning about Physical Systems, San Mateo, CA: Morgan Kaufmann.
Žitnik, K. (1991) An attempt to simulate with QSIM a central heating system. Ljubljana, J. Stefan Institute: AI Lab. Technical Report.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bratko, I. (1992). Dynamic system simulation with qualitative differential equations. In: Mřrík, V., Štěpánková, O., Trappl, R. (eds) Advanced Topics in Artificial Intelligence. Lecture Notes in Computer Science, vol 617. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55681-8_49
Download citation
DOI: https://doi.org/10.1007/3-540-55681-8_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55681-7
Online ISBN: 978-3-540-47271-1
eBook Packages: Springer Book Archive