Skip to main content
Log in

Approaches to qualitative reasoning

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

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.

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

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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.

    Google Scholar 

  • Allen, J. F. (1983) Maintaining knowledge about temporal intervals CACM, 26 (11), 832–843.

    Google Scholar 

  • Allen, J. F. & Hayes, P. J. (1985) A Common-Sense Theory of Time. In Proceedings of the IJCAI 1985, Morgan Kaufmann, Calif.

    Google Scholar 

  • Apte, C. & Hong, S. (1986) Using Qualitative Simulation to Understand Financial Arithmetic. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • 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.

    Google Scholar 

  • Barrow, H. G. (1984) VERIFY: A Program for Proving Correctness of Digital Hardware Designs, Artificial Intelligence, 24, 437–491.

    CAS  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Bylander, T. & Chandrasekaran, B. (1985) Understanding Behavior Using Consolidation. In Proceedings of the IJCAI 1985. Morgan Kaufmann, Los Altos.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Cunningham, J. (1985a) A Methodology and a Tool for the Formalization of “Common Sense” (Naive Physical) Knowledge. PhD Thesis, University of Essex, U.K.

    Google Scholar 

  • 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.

    Google Scholar 

  • Dague, P., Raiman, O. & Deves, P. (1987) Troubleshooting: when modelling is the trouble. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Davis, E. (1986) Conflicting Requirements in Reasoning about Solid Objects, Courant Institute, New York University, U.S.A.

    Google Scholar 

  • Davis, E. (1987) Constraint Propagation with Interval Labels. Artificial Intelligence, 32, 281–331.

    Google Scholar 

  • Davis, R. (1984) Diagnostic Reasoning Based on Structure and Behavior Artificial Intelligence, 24, 347–410.

    Google Scholar 

  • Downing, K. (1987) Diagnostic Improvement though Qualitative Sensitivity Analysis and Aggregation. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Dyer, M., Flowers, M. & Hodges, J. (1987) Naive Mechanics and Comprehension in EDISON. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • 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.

    Google Scholar 

  • Falkenhainer, B., Forbus, K. D. & Gentner, D. (1986) The Structure-Mapping Engine, UIUCDCS-R-86–1275, University of Illinois, U.S.A.

    Google Scholar 

  • Faltings, B. (1987) Qualitative Kinematics in mechanisms. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Forbus, K. D. (1980) Spatial and Qualitative Aspects of Reasoning about Motion. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Forbus, K. D. (1984a) Qualitative Process Theory, Artificial Intelligence, 24, 85–168.

    MathSciNet  MATH  Google Scholar 

  • Forbus, K. D. (1984b) Qualitative Process Theory. Tech. Report 789, MIT Press, Cambridge, Mass.

    Google Scholar 

  • Forbus, K. D. (1985) The Problem of Existence, UIUCDCS-R-85–1239, University of Illinois, U.S.A.

    Google Scholar 

  • Forbus, K. D. (1986a) Interpreting Measurements of Physical Systems. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Forbus, K. D. (1986b) The Qualitative Process Engine, UIUCDCS-R-1288, University of Illinois, U.S.A.

    Google Scholar 

  • Forbus, K. D. (1987a) Inequality reasoning with an ATMS, University of Illinois, U.S.A.

    Google Scholar 

  • Forbus, K. D. (1987b) The Logic of occurrence. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Forbus, K. D., Nielsen, P. & Faltings, B. (1987) Qualitative Kinematics: a Framework. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Forbus, K. D. & Stevens, A. (1981) Using Qualitative Simulation to Generate Explanations. Report No. 4490, Navy Personnel Research & Development Center, San Diego.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Gentner, D. & Stevens, A. L. (1983) Mental Models, Lawrence Earlbaum, New Jersey, U.S.A.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hart, P. E., Barzilay, A. & Duda, R. O. (1986) Qualitative Reasoning for Financial Assessments: a Prospectus, Artificial Intelligence Magazine,7(1), 62–73.

    Article  CAS  PubMed  Google Scholar 

  • 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.

    Google Scholar 

  • Hayes, P. J. (1977) In Defence of Logic. In Proceedings of the IJCAI 5, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Hayes, P. J. (1979) The naive physics manifesto. In Expert Systems in the micro Electronic Age, (ed D.Michie), Edinburgh University Press, U.K.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hayes, P. J. (1987a) The Frame Problem in Histories. In The Frame Problem in Artificial Intelligence, (ed) F. M.Brown, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Hayes, P. J. (1987b) A Critique of Pure Treason. Computational Intelligence, 3, 179–184.

    Article  CAS  PubMed  Google Scholar 

  • Hayes, P. J. & Allen, J. (1987) Short Time Periods. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Hobbs, P. J. (1985) Granularity. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hobbs, J. R. & Moore, R. C. (1985) Formal Theories of the Commonsense World, Ablex Publishing Corporation, Norwood, New Jersey.

    Google Scholar 

  • Hogge, J. (1987) Compiling Plan Operators from Domains Expressed in Qualitative Process Theory. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Iwasaki, Y. & Simon, H. A. (1986a) Causality in Device Behavior, Artificial Intelligence, 29, 3–32.

    Article  CAS  PubMed  Google Scholar 

  • Iwasaki, Y. & Simon, H. A. (1986b) Theories of Causal Ordering: Reply to de Kleer and Brown, Artificial Intelligence, 29, 63–72.

    Google Scholar 

  • 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.

    Google Scholar 

  • Joskowicz, L. (1987) Shape and Function in mechanical Devices. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Klaua, D. (1969) Partielle Mengen und Zahlen Monatsberichte der Deutschen Akademie der Wissenschaften. 11, 573–584.

    CAS  PubMed  Google Scholar 

  • Kleer, J. de (1977) Multiple Representations of Knowledge in a Mechanics Problem-Solver. In Proceedings of the IJCAI 1977, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Kleer, J. de (1979) Causal and teleological reasoning in circuit recognition, Report AI-TR-529, MIT Press, Cambridge, Mass.

    Google Scholar 

  • Kleer, J. de (1986a) An Assumption-based TMS, Artificial Intelligence, 28, 127–162.

    Google Scholar 

  • Kleer, J. de (1986b) Extending the ATMS, Artificial Intelligence, 28, 163–196.

    Google Scholar 

  • Kleer, J. de (1986c) Problem Solving with the ATMS, Artificial Intellience, 28, 197–224.

    Google Scholar 

  • Kleer, J. de & Bobrow, D. G. (1984) Qualitative Reasoning with Higher-Order Derivative. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Kleer, J. de & Brown, J. S. (1984) A Qualitative Physics Based on Confluences. Artificial Intelligence, 24, 7–83.

    Google Scholar 

  • Kleer, J. de & Brown, J. S. (1986) Theories of Causal Ordering, Artificial Intelligence, 29, 33–61.

    Google Scholar 

  • Kleer, J. de & Williams, B. (1987) Diagnosing Multiple Faults, Artificial Intelligence, 32 (1), 97–130.

    Google Scholar 

  • Klein, D. & Finin, T. (1987) What's in a Deep Model? In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Kokar, M. (1987) Critical Hypersurfaces and the Quantity Space. In Proceedings of the AAAI, pp. 616–620, Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Kuipers, B. (1984) Commonsense Reasoning about Causality: Deriving Behavior from Structure, Artificial Intelligence, 24, 169–203.

    Article  CAS  PubMed  Google Scholar 

  • Kuipers, B. (1986). Qualitative Simulation Artificial Intelligence, 29, 289–338.

    Google Scholar 

  • Kuipers, B. (1987) Abstraction by Time-Scale in Qualitative Simulation, Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Kuipers, B. & Chiu, C. (1987) Taming Intractible Branching in Qualitative Simulation. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • 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.

    Google Scholar 

  • Ladkin, P. (1987) Models of Axioms for Time Intervals. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Laughton, S. (1985) Explanation of Mechanical Systems Through Qualitative Simulation, AITR85–19, University of Texas at Austin, U.S.A.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Lozano-Perez, T. (1983) Spatial planning: A Configuration space approach, IEEE Transactions on Computers C-32, 108–120.

    CAS  PubMed  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Mavrovouniotis, M. & Stephanopoulos, G. (1987) Reasoning with Orders of Magnitude and Approximate Relations. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • 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.

    Google Scholar 

  • McDermott, D. (1978) Tarskian semantics, or no notation without denotation. Cognitive Science, 2, 277–282.

    Google Scholar 

  • McDermott, D. (1982) A Temporal Logic for Reasoning about Processes and Plans, Cognitive Science, 6, 101–156.

    Google Scholar 

  • 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.

    Google Scholar 

  • Morgan, A. J. (1987) Predicting the Behaviour of Dynamic Systems. In Proc AISB, (eds C.Mellish & J.Hallam), John Wiley, Chichester.

    Google Scholar 

  • Mozetic, I. (1987a) Learning of Qualitative Models. In Proceedings of the Second EWSL, Sigma Press, distributed by John Wiley, Chichester.

    Google Scholar 

  • 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.

    Google Scholar 

  • Nishida, T. & Doshita, S. (1987) Reasoning about Discontinuous Change. In Proceedings of the AAAI, pp. 643–648. Morgan Kaufmann, Los Altos, Calif.

    Google Scholar 

  • Raiman, O. (1986) Order of Magnitude Reasoning. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Rajagopalan, R. (1984) Qualitative Modelling in the Turbojet Engine Domain. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Raulefs, P. (1987) A Representation Framework for Continuous Dynamic Systems. In Proceedings of the IJCAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Reiter, R. (1987) A Theory of Diagnosis from First Principles, Artificial Intelligence, 32 (1), 57–95.

    CAS  PubMed  Google Scholar 

  • Reiter, R. & Kleer, J. de (1987) Foundations of Assumption Based Truth Maintenance Systems: Preliminary Report. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Rich, C., Shrobe, H. & Waters, R. (1979) Overview of the programmers apprentice. In Proceedings of the IJCAI 6, MIT Press, Cambridge, Mass.

    Google Scholar 

  • Roshelle, J. (1987) Qualitative Processes and Scientific Reasoning. In Proceedings of the AAAI Workshop on Qualitative Physics, University of Illinois, U.S.A.

    Google Scholar 

  • Sacerdoti, E. D. (1973) Planning in a Hierarchy of Abstraction Spaces. In Proceedings of the IJCAI, 1973, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Sacks, E. (1987a) Hierarchical Inequality Reasoning. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Sacks, E. (1987b) Piecewise Linear Reasoning. In Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Simmons, R. G. & Davis, R. (1983) Representation for Reasoning about Change, AI Memo No.702, MIT Press, Cambridge, Mass.

    Google Scholar 

  • Sosa, E. (1975) Causation and Conditionals, Oxford University Press, London.

    Google Scholar 

  • Stanfill, C. (1985) MACK, a Program which Deduces the Behavior of Machines from their Forms, SIGART Newsletter, 93, 12–16.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Weld, D. S. (1985) Combining Discrete and Continuous Process Models. In Proceedings of the IJCAI 1985, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Weld, D. S. (1986) The Use of Aggregation in Causal Simulation. Artificial Intelligence, 30, 1–34.

    Google Scholar 

  • Weld, D. S. (1987) Comparative Analysis. In Proceedings of the IJCAI 1987, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • 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.

    Google Scholar 

  • Williams, B. C. (1986) Doing Time: Putting Qualitative Reasoning on Firmer Ground. Proceedings of the AAAI, Morgan Kaufmann, Los Altos.

    Google Scholar 

  • Zadeh, L. A. (1983) Commonsense Knowledge Representation Based on Fuzzy Logic, IEEE Computer, 16(10), 61–65.

    CAS  PubMed  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00128781

Keywords

Navigation