Abstract
The main approaches to qualitative reasoning are surveyed, compared and contrasted. These are the constrain based, component centred and processed based approaches. Later sections consider the efficiency of the reasoning techniques and possible applications (for instance in diagnosis and measurement interpretation). The paper concludes with a number of sections which consider representation of space and time, order ofmagnitude reasoning, hierarchical and multiple models and the method by which qualitative models might be generated.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Addanki, S. & Davis, E. (1985) A Representation for Complex Physical Domains. In Proceeding of the IJCAI 1985, Morgan Kaufmann, Calif.
Allen, J. F. (1983) Maintaining knowledge about temporal intervals CACM, 26 (11), 832–843.
Allen, J. F. & Hayes, P. J. (1985) A Common-Sense Theory of Time. In Proceedings of the IJCAI 1985, Morgan Kaufmann, Calif.
Apte, C. & Hong, S. (1986) Using Qualitative Simulation to Understand Financial Arithmetic. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Badii, A. (1987) Proceedings of the Third Alvey Workshop on Deep Knowledge Based Systems, Farnborough.
Bareiss, R. & Farquhar, A. (1986) Fault Diagnosis Using Qualitative Simulation. AI TR86–25, University of Texas at Austin, Texas.
Barrow, H. G. (1984) VERIFY: A Program for Proving Correctness of Digital Hardware Designs, Artificial Intelligence, 24, 437–491.
Bobrow, D. (ed) (1984) Qualitative Reasoning about Physical Systems. North Holland.
Bonissone, P. P. & Valavanis, K. P. (1985) A Comparative Study of Different Approaches to Qualitative Physics Theories. In Second AI Applications Conference, IEEE.
Bratko, I., Mozetic, I. & Lavrac, N. (1986) Automatic Synthesis and Compression of Cardiological Knowledge. In Machine Intelligence 11 (eds J. Hayes, D. Michie & J. Richards), Oxford University Press.
Bredeweg, B. (1987) Modelling Physical Systems with QP Theory, University of Amsterdam, Holland.
Bunt, H. (1985) The Formal Representation of (Quasi-) Continuous Concepts. In Formal Theories of the Common Sense World, (eds J. R.Hobbs & R.Moore), Ablex Publishing Corporation, Norwood, New Jersey.
Bylander, T. & Chandrasekaran, B. (1985) Understanding Behavior Using Consolidation. In Proceedings of the IJCAI 1985. Morgan Kaufmann, Los Altos.
Chandrasekaran, B., Smith, J. W. & Sticklen, J. (1987) Deep Models and Their Relation to Diagnosis, Ohio State University.
Clancey, W. J. & Letsinger, R. (1981) Neomycin: Reconfiguring a Rule Based Expert System for Application to Teaching. In: The Proceedings of the IJCAI 7, 2.
Clocksin, W. & Morgan, A. (1986) Qualitative Control. In Proceedings of the ECAI, Brighton.
Cochin, I. (1980) Analysis and Design of Dynamic Systems, Harper& Row, New York.
Cohn, A. G. (1985) Deep Knowledge Representation Techniques. In Expert Systems 85, (ed M. Merry), Cambridge University Press.
Cohn, A. G. (1988) Qualitative Reasoning. In Advanced Topics in Artificial Intelligence, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 345 (ed R.Nossum). pp. 60–95, Springer Verlag, Berlin.
Collins, J. W., Forbus, K. D. (1987) Reasoning about Fluids via Molecular Collections. In The Proceedings of the AAAI, pp. 590–594, Morgan Kaufmann, Los Altos, Calif.
Cunningham, J. (1985a) A Methodology and a Tool for the Formalization of “Common Sense” (Naive Physical) Knowledge. PhD Thesis, University of Essex, U.K.
Cunningham, J. (1985b) Comprehension by Model Building as a Basis for an Expert System. In Proceedings of Expert Systems 85, (ed M. Merry) pp. 259–272, Cambridge University Press.
D'Ambrosio, B. (1987) Extending the Mathematics in Qualitative Process Theory. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Dague, P., Raiman, O. & Deves, P. (1987) Troubleshooting: when modelling is the trouble. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Davis, E. (1986) Conflicting Requirements in Reasoning about Solid Objects, Courant Institute, New York University, U.S.A.
Davis, E. (1987) Constraint Propagation with Interval Labels. Artificial Intelligence, 32, 281–331.
Davis, R. (1984) Diagnostic Reasoning Based on Structure and Behavior Artificial Intelligence, 24, 347–410.
Downing, K. (1987) Diagnostic Improvement though Qualitative Sensitivity Analysis and Aggregation. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Dyer, M., Flowers, M. & Hodges, J. (1987) Naive Mechanics and Comprehension in EDISON. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.
Dyer, M., Flowers, M. & Hodges, J. (1986) Edison: An Engineering Design Invention System Operating Naively. In Proceedings of the First Conference on AI in Engineering, (eds D.Sriram & R.Adey), Springer Verlag, Berlin.
Falkenhainer, B., Forbus, K. D. & Gentner, D. (1986) The Structure-Mapping Engine, UIUCDCS-R-86–1275, University of Illinois, U.S.A.
Faltings, B. (1987) Qualitative Kinematics in mechanisms. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.
Forbus, K. D. (1980) Spatial and Qualitative Aspects of Reasoning about Motion. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.
Forbus, K. D. (1984a) Qualitative Process Theory, Artificial Intelligence, 24, 85–168.
Forbus, K. D. (1984b) Qualitative Process Theory. Tech. Report 789, MIT Press, Cambridge, Mass.
Forbus, K. D. (1985) The Problem of Existence, UIUCDCS-R-85–1239, University of Illinois, U.S.A.
Forbus, K. D. (1986a) Interpreting Measurements of Physical Systems. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Forbus, K. D. (1986b) The Qualitative Process Engine, UIUCDCS-R-1288, University of Illinois, U.S.A.
Forbus, K. D. (1987a) Inequality reasoning with an ATMS, University of Illinois, U.S.A.
Forbus, K. D. (1987b) The Logic of occurrence. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.
Forbus, K. D., Nielsen, P. & Faltings, B. (1987) Qualitative Kinematics: a Framework. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.
Forbus, K. D. & Stevens, A. (1981) Using Qualitative Simulation to Generate Explanations. Report No. 4490, Navy Personnel Research & Development Center, San Diego.
Gallanti, M., Gilardoni, L., Guida, G. & Stefanini, A. (1986) Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems. In Proceedings of the ECAI, Brighton.
Genesereth, M. R. (1984) The Use of Design Descriptions in Automated Diagnosis, Artificial Intelligence, 24, 411–436.
Gentner, D. & Gentner, D. R. (1983) Flowing Waters of Teeming Crowds: Mental Models of Electricity. In Mental Models (eds D.Gentner & A.Stevens), Lawrence Earlbaum, London.
Gentner, D. & Stevens, A. L. (1983) Mental Models, Lawrence Earlbaum, New Jersey, U.S.A.
Hagar, G. (1985) Naive Physics of Materials: a Recon Mission in Commonsense Summer: Final Report (eds J. Hobbs et al.), University of Stanford.
Hamilton, T. P. (1987) HELIX: An Application of Qualitative Physics to Diagnostics in Advanced Helicopters. In The Proceedings of the AAAI Workshop on Qualitative Physics, University of Illinois, Champagne-Urbana.
Hart, P. E., Barzilay, A. & Duda, R. O. (1986) Qualitative Reasoning for Financial Assessments: a Prospectus, Artificial Intelligence Magazine,7(1), 62–73.
Hayes, P. J. (1974) Some problems and non-problems in representation theory. In Proceedings of the AISB. Reprinted in Reading in Knowledge Representation, (eds, R.Brachmann & H.Levesque) 1985, Morgan Kaufmann, Los Altos, Calif.
Hayes, P. J. (1977) In Defence of Logic. In Proceedings of the IJCAI 5, Morgan Kaufmann, Los Altos.
Hayes, P. J. (1979) The naive physics manifesto. In Expert Systems in the micro Electronic Age, (ed D.Michie), Edinburgh University Press, U.K.
Hayes, P. J. (1985a) The Second Naive Physics Manifesto. In Formal Theories of the Common Sense World, (eds J. R.Hobbs & R.Moore) Ablex Publishing Corporation, Norwood, New Jersey.
Hayes, P. J. (1985b) Ontology of liquids. In Formal Theories of the Commonsense World, (eds J.Hobbs & R.Moore), Ablex Publishing Corporation, Norwood, New Jersey.
Hayes, P. J. (1987a) The Frame Problem in Histories. In The Frame Problem in Artificial Intelligence, (ed) F. M.Brown, Morgan Kaufmann, Los Altos.
Hayes, P. J. (1987b) A Critique of Pure Treason. Computational Intelligence, 3, 179–184.
Hayes, P. J. & Allen, J. (1987) Short Time Periods. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.
Hobbs, P. J. (1985) Granularity. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos.
Hobbs, J. R., Blenko, T., Croft, B., Hager, G., Kautz, H. A., Kube, P. & Shoham, Y. (1985) Commonsense Summer: Final Report, CSLI-85–35, Stanford University, Stanford.
Hobbs, J. R. & Moore, R. C. (1985) Formal Theories of the Commonsense World, Ablex Publishing Corporation, Norwood, New Jersey.
Hogge, J. (1987) Compiling Plan Operators from Domains Expressed in Qualitative Process Theory. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Israel, D. (1985) A Short Companion to the Naive Physics Manifesto. In Formal Theories of the Common Sense World (eds J. R.Hobbs & R.Moore), Ablex Publishing Corporation, Norwood, New Jersey.
Iwasaki, Y. (1987) Generating Behaviour Equations from Explicit Representation of Mechanisms. In Proceedings of the AAAI Workshop on Qualitative Physics, University of Illinois, U.S.A.
Iwasaki, Y. & Simon, H. A. (1986a) Causality in Device Behavior, Artificial Intelligence, 29, 3–32.
Iwasaki, Y. & Simon, H. A. (1986b) Theories of Causal Ordering: Reply to de Kleer and Brown, Artificial Intelligence, 29, 63–72.
Jackson, P. (1988) On Game-Theoretic Interactions with First-Order Knowledge Bases. In Non Standard Logics (eds P.Smets, E. H.Mamdani, D.Dubois & H.Prade) Academic Press, London.
Joskowicz, L. (1987) Shape and Function in mechanical Devices. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Klaua, D. (1969) Partielle Mengen und Zahlen Monatsberichte der Deutschen Akademie der Wissenschaften. 11, 573–584.
Kleer, J. de (1977) Multiple Representations of Knowledge in a Mechanics Problem-Solver. In Proceedings of the IJCAI 1977, Morgan Kaufmann, Los Altos.
Kleer, J. de (1979) Causal and teleological reasoning in circuit recognition, Report AI-TR-529, MIT Press, Cambridge, Mass.
Kleer, J. de (1986a) An Assumption-based TMS, Artificial Intelligence, 28, 127–162.
Kleer, J. de (1986b) Extending the ATMS, Artificial Intelligence, 28, 163–196.
Kleer, J. de (1986c) Problem Solving with the ATMS, Artificial Intellience, 28, 197–224.
Kleer, J. de & Bobrow, D. G. (1984) Qualitative Reasoning with Higher-Order Derivative. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Kleer, J. de & Brown, J. S. (1984) A Qualitative Physics Based on Confluences. Artificial Intelligence, 24, 7–83.
Kleer, J. de & Brown, J. S. (1986) Theories of Causal Ordering, Artificial Intelligence, 29, 33–61.
Kleer, J. de & Williams, B. (1987) Diagnosing Multiple Faults, Artificial Intelligence, 32 (1), 97–130.
Klein, D. & Finin, T. (1987) What's in a Deep Model? In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.
Kokar, M. (1987) Critical Hypersurfaces and the Quantity Space. In Proceedings of the AAAI, pp. 616–620, Morgan Kaufmann, Los Altos, Calif.
Kuipers, B. (1984) Commonsense Reasoning about Causality: Deriving Behavior from Structure, Artificial Intelligence, 24, 169–203.
Kuipers, B. (1986). Qualitative Simulation Artificial Intelligence, 29, 289–338.
Kuipers, B. (1987) Abstraction by Time-Scale in Qualitative Simulation, Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Kuipers, B. & Chiu, C. (1987) Taming Intractible Branching in Qualitative Simulation. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.
Kuipers, B. & Kassier, J. P. (1983) How to Discover a Knowledge Representation for Causal Reasoning by Studying and Expert Physician. In Proceedings of the IJCAI 1983, Morgan Kaufmann, Los Altos.
Ladkin, P. (1987) Models of Axioms for Time Intervals. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Laughton, S. (1985) Explanation of Mechanical Systems Through Qualitative Simulation, AITR85–19, University of Texas at Austin, U.S.A.
Leaning, M. S. & Nicolosi, E. MODEL— Software for knowledge based modelling of compartmental systems, Biomedical Measurement, Information and Control, 1, 171–181.
Lee, W., Kuipers, B. & Chiu, C. (1987) Steps toward constraining qualitative simulation, TR-87–44, University of Texas at Austin, U.S.A.
Lepetit, M. & Vernet, D. Qualitative Physics Applied to a Depropanizer in Process Control. In Proceedings of the AAAI Workshop on Qualitative Physics, University of Illinois, U.S.A.
Letovsky, S. (1983) Qualitative and Quantitative Temporal Reasoning, YALEU/DCS/RR * 296, Yale University, U.S.A.
Lozano-Perez, T. (1983) Spatial planning: A Configuration space approach, IEEE Transactions on Computers C-32, 108–120.
Lucas, J. R. (1984) Space, Time and Causality, Oxford University Press.
Lutz, R. & Goze, M. (1981) Non Standard Analysis, Lecture Notes in Mathematics, 881, Springer-Verlag, Berlin.
Manzo, M. di & Trucco, E. (1987) Commonsense Reasoning about Flexible Objects: A Case Study. In Advances in Artificial Intelligence, (eds C.Mellish & J.Hallam). John Wiley, Chichester.
Mavrovouniotis, M. & Stephanopoulos, G. (1987) Reasoning with Orders of Magnitude and Approximate Relations. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Mavrovouniotis, M., Stephanopolous, G. & Stephanopolous, G. Formal Modelling of Approximate Relations in Biochemical Systems, Biotechnology and Bioengineering, to appear.
Mavrovouniotis, M. & Stephanopolous, G. Formal Order of Magnitude Reasoning in Process Engineering, Biotechnology and Bioengineering, to appear.
McCarthy, J. & Hayes, P. J. (1969) Some philosophical problems from the standpoint of AI. In Machine Intelligence 4 (eds B.Meltzer & D.Michie), Edinburgh University Press, U.K.
McDermott, D. (1978) Tarskian semantics, or no notation without denotation. Cognitive Science, 2, 277–282.
McDermott, D. (1982) A Temporal Logic for Reasoning about Processes and Plans, Cognitive Science, 6, 101–156.
McDermott, D. (1987) A Critique of Pure Reason, Computational Intelligence, 3.
Mohammed, J. & Simmons, R. (1986) Qualitative Simulation of Semiconductor Fabrication. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Morgan, A. J. (1987) Predicting the Behaviour of Dynamic Systems. In Proc AISB, (eds C.Mellish & J.Hallam), John Wiley, Chichester.
Mozetic, I. (1987a) Learning of Qualitative Models. In Proceedings of the Second EWSL, Sigma Press, distributed by John Wiley, Chichester.
Mozetic, I. (1987b) The Role of Abstractions in Learning Qualitative Models. In Proceedings of the Fourth International Workshop on Machine Learning, Irvine.
Nielsen, P. (1987) A Qualitative Approach to Mechanical Constraint, University of Illinois, U.S.A.
Nishida, T. & Doshita, S. (1987) Reasoning about Discontinuous Change. In Proceedings of the AAAI, pp. 643–648. Morgan Kaufmann, Los Altos, Calif.
Raiman, O. (1986) Order of Magnitude Reasoning. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Rajagopalan, R. (1984) Qualitative Modelling in the Turbojet Engine Domain. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Raulefs, P. (1987) A Representation Framework for Continuous Dynamic Systems. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos.
Reiter, R. (1987) A Theory of Diagnosis from First Principles, Artificial Intelligence, 32 (1), 57–95.
Reiter, R. & Kleer, J. de (1987) Foundations of Assumption Based Truth Maintenance Systems: Preliminary Report. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Rich, C., Shrobe, H. & Waters, R. (1979) Overview of the programmers apprentice. In Proceedings of the IJCAI 6, MIT Press, Cambridge, Mass.
Roshelle, J. (1987) Qualitative Processes and Scientific Reasoning. In Proceedings of the AAAI Workshop on Qualitative Physics, University of Illinois, U.S.A.
Sacerdoti, E. D. (1973) Planning in a Hierarchy of Abstraction Spaces. In Proceedings of the IJCAI, 1973, Morgan Kaufmann, Los Altos.
Sacks, E. (1987a) Hierarchical Inequality Reasoning. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Sacks, E. (1987b) Piecewise Linear Reasoning. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Saund, E. (1987) Qualitative Physics and the Shapes of Objects. In Proceedings of the AAAI Workshop on Qualitative Physics, University of Illinois, U.S.A.
Selfridge, M., Daniell, J. & Simmons, D. (1985) Learning Causal Models by Understanding Real-World Natural Language Explanations. In Proceedings of the Conference on Applications of AI, IEEE.
Shoham, Y. (1985a) Naive Kinematics: One Aspect of Shape. In Proceedings of the IJCAI 1985, Morgan Kaufmann, Los Altos.
Shoham, Y. (1985b) Naive Kinematics: Two Aspects of Shape. In Commonsense Summer: Final Report, (eds J. Hobbs et al.) University of Stanford.
Shoham, Y. (1985c) Ten Requirements for a Theory of Change, New Generation Computing, 3, 467–477.
Shoham, Y. (1985d) Reasoning about Causation in Knowledge-Based Systems. In Proceedings of the Conference on Applications of AI, IEEE.
Simmons, R. (1986) ‘Commonsense’ Arithmetic Reasoning. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Simmons, R. G. & Davis, R. (1983) Representation for Reasoning about Change, AI Memo No.702, MIT Press, Cambridge, Mass.
Sosa, E. (1975) Causation and Conditionals, Oxford University Press, London.
Stanfill, C. (1985) MACK, a Program which Deduces the Behavior of Machines from their Forms, SIGART Newsletter, 93, 12–16.
Struss, P. (1987) Problems of Interval-Based Qualitative Reasoning — a preliminary report. In Wissenrepraesentation und Schlussfolgerungsverfahren fuer technische Expertensysteme (eds Fruetenicht et al.), Munich.
Waltz, D. (1975) Understanding line-drawings of scences with shadows. In The Psychology of Computer Vision, (ed P.Winston), McGraw Hill, New York.
Weld, D. S. (1985) Combining Discrete and Continuous Process Models. In Proceedings of the IJCAI 1985, Morgan Kaufmann, Los Altos.
Weld, D. S. (1986) The Use of Aggregation in Causal Simulation. Artificial Intelligence, 30, 1–34.
Weld, D. S. (1987) Comparative Analysis. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.
Welham, B. & Hayes, P. (1984) Notes on Naive Geometry, HP Labs Bristol & Schlumberger Palo Alto Research Labs.
Williams, B. C. (1984) Qualitative Analysis of MOS Circuits. Artificial Intelligence, 24, 281–346.
Williams, B. C. (1986) Doing Time: Putting Qualitative Reasoning on Firmer Ground. Proceedings of the AAAI, Morgan Kaufmann, Los Altos.
Zadeh, L. A. (1983) Commonsense Knowledge Representation Based on Fuzzy Logic, IEEE Computer, 16(10), 61–65.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cohn, A.G. Approaches to qualitative reasoning. Artif Intell Rev 3, 177–232 (1989). https://doi.org/10.1007/BF00128781
Issue Date:
DOI: https://doi.org/10.1007/BF00128781