This article describes the general principles of qualitative reasoning, a special form of reasoning with deep knowledge. Three prevailing approaches to qualitative reasoning are integrated into one generic framework with which it is possible to describe qualitative deep knowledge and the reasoning process that uses this knowledge to predict the behavior of physical systems. In addition, the process of modeling a real-world system into the qualitative vocabulary is analyzed, and two examples of techniques to automate this modeling activity are discussed.
Get full access to this article
View all access options for this article.
References
1.
Berndsen, R., & Damels, H.1989. Qualitative economics in prolog. Techmcal Report IKT Research Report No. 8, University of Tilburg, November.
2.
Bobrow, D. G., ed. 1984. Qualitative reasoning about physical systems. Amsterdam: Elsevier Science.
3.
Bredeweg, B.1992. Expertise in qualitative prediction of behaviour. Ph.D. diss., Umversity of Amsterdam.
4.
Bredeweg, B., Schut, C., van den Heerik, K., & van Someren, M. Forthcoming. Reducing ambiguity by learning assembly behaviour. In Proceedings of the 6th International Workshop on Qualitative Reasoning, August 1992, Edinburgh. Henot-Watt University.
5.
Bredeweg, B., & Wmkels, R.1991. Teaching according to Garp. In Proceedings of the First International Conference on the Learning Sciences , 52-58. Charlottesville, VA: Lawrence Birnbaum.
6.
Breuker, J.A., & Wielinga, B.J.1989. Model driven knowledge acquisition . In Topics in the design of expert systems, ed. P. Guida & G. Tasso, 265-96. Amsterdam : North-Holland.
7.
Cohn, A.G.1988. Qualitative reasoning. In Advanced topics in artificial intelligence (ACAI-87, ed. R. T. Nossum, 96-124. Berlin: Springer-Verlag .
8.
Davis, E.1990. Representation of common sense knowledge. San Mateo: Morgan Kaufmann.
9.
Davis, R., & Hamscher, W.C.1988. Model-based reasoning: Troubleshooting . In Exploring artificial intelligence, ed. H. E. Shrobe, 297-346. San Mateo: Morgan Kaufmann.
10.
de Jong, T., ed. 1991. Computer simulations in an instructional context. Education and Computing (Special issue), 6.
11.
de Kleer, J.1990. Qualitative physics: A personal view. In Readings in qualitative reasonings about physical systems, ed. D. S. Weld & J. de Kleer , 1-8. San Mateo: Morgan Kaufmann.
12.
de Kleer, J., & Brown, J.S.1983. Assumptions and ambiguities in mechamstic mental models . In Mental models, ed. D. Gentner & A. L. Stevens, 155-90. Hillsdale, NJ: Lawrence Erlbaum Associates.
13.
—. 1984. A qualitative physics based on confluences. Artificial Intelligence24:7-83.
Farley, A.M.1986. Qualitative modeling of economic systems. In Proceedings of the IFAC Economics and Artificial Intelligence , Aix-en-Provence, France.
16.
Forbus, K.D.1984. Qualitative process theory. Artificial Intelligence24:85-168.
17.
—. 1986. Measurement interpretation of physical systems. In Proceedings of the AAAI, 113-17. San MateoMorgan Kaufmann.
18.
—. 1988. Qualitative physics: Past, present and future. In Exploring artificial intelligence, ed. H. E. Shrobe, 239-96. San Mateo: Morgan Kaufmann.
Newell, A.1982. The knowledge level. Artificial Intelligence18:87-127.
21.
Weld, D.S., & de Kleer, J.H.1990. Readings in qualitative reasoning about physical systems. San Mateo: Morgan Kaufmann.
22.
Wielinga, B.J., Bredeweg, B., & Breuker, J.A.1988. Knowledge acquisition for expert systems. In Advanced topics in artificial intelligence (ACAI-87, ed. R. T. Nossum, 96-124. Berlin: Springer-Verlag.
23.
Wielinga, B.J., Schreiber, A. Th., & Breuker, J.A.1991. KADS: A modelling approach to knowledge engineering. ESPRIT Project P5248 KADS-II/T1.1/PP/UVA/008/2.0, Umversity of Amsterdam. To appear in Knowledge Acquisition.
24.
Williams. B.C.1990a. Capturing how things work: Constructing critical abstractions of local interactions. In Proceedings of the AAAI—Workshop: Automatic Generation of Approximations and Abstractions, 163-74.
25.
—. 1990b. Interaction-based invention: Designing novel devices from first principles. In Proceedings of the AAAI, 349-56. Cambridge: MIT Press.
