Hostname: page-component-7c8c6479df-7qhmt Total loading time: 0 Render date: 2024-03-27T22:09:58.225Z Has data issue: false hasContentIssue false

The qualitative representation of physical systems

Published online by Cambridge University Press:  07 July 2009

Enrico Coiera
Affiliation:
Hewlett-Packard Laboratories, Filton Rd., Stoke Gifford, Bristol BS12 6QZ, UK

Abstract

The representation of physical systems using qualitative formalisms is examined in this review, with an emphasis on recent developments in the area. The push to develop reasoning systems incorporating deep knowledge originally focused on naive physical representations, but has now shifted to more formal ones based on qualitative mathematics. The qualitative differential constraint formalism used in systems like QSIM is examined, and current efforts to link this to competing representations like Qualitative Process Theory are noted. Inference and representation are intertwined, and the decision to represent notions like causality explicitly, or infer it from other properties, has shifted as the field has developed. The evolution of causal and functional representations is thus examined. Finally, a growing body of work that allows reasoning systems to utilize multiple representations of a system is identified. Dimensions along which multiple model hierarchies could be constructed are examined, including mode of behaviour, granularity, ontology, and representational depth.

Type
Research Article
Copyright
Copyright © Cambridge University Press 1992

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abu-Hanna, A and Gold, Y, 1990. “Adaptive, multilevel diagnosis and modelling of dynamic systemsInternational Journal of Expert Systems 3 130.Google Scholar
Addanki, S, Cremonini, R and Penberthy, SJ, 1989. “Reasoning about assumptions in graphs of models”. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp 14321438.Google Scholar
Addanki, S, Cremonini, R and Penberthy, SJ, 1989. “Contexts: dynamic identification of common parameters in distributed analysis of complex devices”. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp 104109.Google Scholar
Bobrow, D. (ed.), 1984. Qualitative Reasoning About Physical Systems MIT Press.CrossRefGoogle Scholar
Bratko, I, Mozetic, I and Lavrac, N, 1989. Kardio—A Study in Deep and Qualitative Knowledge for Expert Systems MIT Press.Google Scholar
Brooks, R, 1991. “Intelligence without representationArtificial Intelligence 47 139159.CrossRefGoogle Scholar
Bunge, M, 1979. Causality and Modern Science Dover Publications.Google Scholar
Bylander, T, 1987. “Using consolidation for reasoning about devices” Technical Report, Laboratory for Artificial Intelligence Department of Computer and Information Science, Ohio State University.Google Scholar
Bylander, T, 1988. “A critique of qualitative simulation from a consolidation viewpointIEEE Transactions on Systems, Man, and Cybernetics 18 252263.Google Scholar
Bylander, T, 1990. “Some causal models are deeper than othersArtificial Intelligence in Medicine 2 123128.Google Scholar
Chandrasekaran, B, 1983. “Towards a taxonomy of problem solving types” The AI Magazine Winter/Spring, pp 917.Google Scholar
Chiang, AC, 1984. Fundamental Methods of Mathematical Economics McGraw-Hill.Google Scholar
Chiu, C, 1988. “Higher order derivative constraints and a QSIM-based total simulation scheme” Technical Report AITR88–65, The University of Texas at Austin, Artificial Intelligence Laboratory.Google Scholar
Cohn, AG, 1989. “Approaches to qualitative reasoningArtificial Intelligence Review 3 177232.CrossRefGoogle Scholar
Coiera, EW, 1989. “Reasoning with qualitative disease histories for diagnostic patient monitoring” Ph.D. Thesis, Department of Computer Science, University of New South Wales.Google Scholar
Coiera, EW, 1990. “Monitoring diseases with empirical and model generated historiesArtificial Intelligence in Medicine 2 135147.CrossRefGoogle Scholar
Coiera, EW, 1992. “Qualitative superposition” Artificial Intelligence (to appear).CrossRefGoogle Scholar
Collins, JW and Forbus, KD, 1987. “Reasoning about fluids via molecular collections”. In: Proceedings of AAAI-87, pp 590595.Google Scholar
Compton, P and Jansen, R, 1990. “A philosophical basis for knowledge acquisitionKnowledge Acquisition 2 241257.Google Scholar
Crawford, J, Farqhuar, A and Kuipers, B, 1990. “QPC: A compiler from physical models into qualitative differential equations”. In: Proceedings of AAAI-90, pp 365372.Google Scholar
Davis, R, 1984. “Diagnostic reasoning based on structure and behaviourArtificial Intelligence 24 347410.CrossRefGoogle Scholar
Davis, R, 1987. “Robustness and transparency in intelligent systems”. In: Proceedings of the Third Australian Conference on the Applications of Expert Systems, pp 143164.Google Scholar
de Kleer, J and Brown, JS, 1984. “A qualitative physics based on confluencesArtificial Intelligence 24 783.Google Scholar
de Kleer, J and Brown, JS, 1986. “Theories of causal orderingArtificial Intelligence 29 3361.Google Scholar
Fishwick, PA, 1989. “A study of terminology and issues in qualitative simulationSimulation 52 59.Google Scholar
Fishwick, PA, 1989b. “Qualitative methodology in simulation model engineeringSimulation 52 95101.Google Scholar
Fishwick, PA and Zeigler, B, 1990. “Qualitative physics: Towards the automation of systems problem solving”. In: Proceedings on AI, Simulation and Planning in High Autonomy Systems IEEE Computer Society Press, pp 118134.Google Scholar
Forbus, KD, 1984. “Qualitative process theoryArtificial Intelligence 24 85168.Google Scholar
Forbus, KD, 1988. “Commonsense physics: A reviewAnnual Review of Computer Science 3 197232.CrossRefGoogle Scholar
Forbus, KD, 1990. “The qualitative process engine”. In: Weld, D, and de Kleer, J (eds.), Readings in Qualitative Reasoning about Physical Systems Morgan Kaufmann.Google Scholar
Forbus, KD and Gentner, D, 1990. “Causal reasoning about quantities”. In: Weld, D and de Kleer, J (eds.), Readings in Qualitative Reasoning about Physical Systems Morgan Kaufmann, pp 686–677.Google Scholar
Gandolfo, G, 1981. Methematical Methods and Models in Economics North-Holland.Google Scholar
Hamscher, W and Davis, R, 1987. “Issues in model based troubleshooting” AI Memo 893, Artificial Intelligence Laboratory, Massachusetts Institute of Technology.Google Scholar
Hart, PE, 1982. “Directions for AI in the eightiesSIGART 79, pp 1116.CrossRefGoogle Scholar
Hayes, PJ, 1979. “The naive physics manifesto”. In: Michie, D (ed.), Expert Systems in the Microelectronic Age Edinburgh University Press.Google Scholar
Hayes, PJ, 1985. “Naive physics 1: Ontology for liquids”. In: JR Hobbs and RC Moore (eds.), pp 7189. (Reprinted in Weld, D and de Kleer, J, Expert Systems in the Microelectronic Age Edinburgh University Press)Google Scholar
Hobbs, JR and Moore, RC (eds.), 1985. Formal Theories of the Commonsense World Ablex.Google Scholar
Ironi, L, Stefanelli, M and Lanzola, G, 1990. “Qualitative models in medical diagnosisArtificial Intelligence in Medicine 2 85101.CrossRefGoogle Scholar
Iwasaki, Y and Simon, HA, 1986. “Causality in device behaviourArtificial Intelligence 29 332.CrossRefGoogle Scholar
Iwasaki, Y and Simon, HA, 1986. “Theories of causal ordering: reply to de Kleer and BrownArtificial Intelligence 29 6372.CrossRefGoogle Scholar
Iwasaki, Y, 1987. “Generating behaviour equations from explicit representations of mechanisms” Carnegie Mellon University, Computer Science Department Report CMU-CS-87–131.Google Scholar
Iwasaki, Y, 1988. “Causal ordering in a mixed structure”. In: Proceedings of AAAI-88, pp 313318.Google Scholar
Iwasaki, Y, 1990. “Reasoning with Multiple Abstraction Models” Knowledge Systems Laboratory Report No. KSL 90–52, Stanford University, August.Google Scholar
Iwasaki, Y, 1990. “On the relationship between model abstraction and causality: Variance of causal ordering under abstraction operations” Knowledge Systems Laboratory Report No. KSL 90–59, Stanford University, September.Google Scholar
Keravnou, E and Washbrook, J, 1989. “Deep and shallow models in medical expert systems” Artificial Intelligence in Medicine 111–28.Google Scholar
Keuneke, A and Allemang, D, 1989. “Exploring the no-function-in-structure principleJournal of Experimental and Theoretical Artificial Intelligence 1 7989.Google Scholar
Kirsch, D, 1991. “Today the earwig, tomorrow man?Artificial Intelligence 47 161184.Google Scholar
Klein, D and Finin, T, 1987. “What's in a deep model? In: Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp 559562.Google Scholar
Kuipers, B, 1986. “Qualitative simulationArtificial Intelligence 29 289338.Google Scholar
Kuipers, B and Chiu, C, 1987. “Taming intractable branching in qualitative simulation”. In: Proceedings of the 10th International Joint Conference on Artificial Intelligence pp 10791085.Google Scholar
Kuipers, B, 1987. “Abstraction by time-scale in qualitative simulation”. In: Proceedings of AAAI-87 pp 621625.Google Scholar
Kuipers, B, 1987b. “Qualitative simulation as causal explanationIEEE Transactions on Systems Man and Cybernetics 17 432444.Google Scholar
Kuipers, B and Berleant, D, 1988. “Using incomplete quantitative knowledge in qualitative reasoning” Proceedings of AAAI-88.Google Scholar
Lee, W and Kuipers, B, 1988. “Non-intersection of trajectories in qualitative phase space: A global constraint for qualitative simulation”. In: Proceedings of AAAI-88 pp. 286296.Google Scholar
Lenat, DB and Feigenbaum, EA, 1988. “On the thresholds of knowledge”. In: Proceedings Fourth Australian Conference on the Applications of Expert Systems, pp 3156. (Revised version reprinted in Artificial Intelligence 47 (1991) 185–250.)Google Scholar
Levesque, H and Brachman, R, 1984. “A fundamental tradeoff in knowledge representation and reasoning”. In: Proceedings of CSSl-84, London, Ontario, pp 141152. (Reprinted in Readings in Knowledge Representation, R Brachman and H Levesque (eds.), Morgan Kaufmann 1985) 41–70.Google Scholar
Liu, Z and Farley, A, 1990. “Shifting ontological perspectives in reasoning about physical systems”. In: Proceedings of AAAI-90, pp 395400.Google Scholar
Long, W, 1983. “Reasoning about state from causation and time in a medical domain”. In: Proceedings of AAAI-83, pp 251254.Google Scholar
Morris, M, 1991. “Why there are no mental representations” Minds and Machines 1130.Google Scholar
McDermott, D, 1987. “Logic, problem solving, and deductionAnnual Review of Computer Science 2 187229.CrossRefGoogle Scholar
Pan, J, 1984. “Qualitative reasoning with deep-level mechanism models for diagnoses of mechanism failures”. In: Proceedings ofCAIA-84, pp 295301.Google Scholar
Patil, RS, 1981. “Causal representation of patient illness for electrolyte and acid-base diagnosis” Ph.D. Thesis, Massachusetts Institute of Technology.Google Scholar
Rosch, E, 1978. “Principles of classification”. In: Rosch, E and Lloyd, B (eds.), Cognition and Categorization, Erlbaum, 2748. (Reprinted in Readings in Cognitive Science, Morgan Kaufmann, 1988), pp 312–322.Google Scholar
Söderman, U and Strömberg, J, 1991. “Combining qualitative and quantitative knowledge to generate models of physical systems”. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp 11581163.Google Scholar
Sticklen, J, 1991. “Functional reasoning and functional modellingIEEE Expert 6 2021.Google Scholar
Struss, P, 1988. “Global filters for qualitative behaviours”. In: Proceedings of AAAI-88, pp 275279.Google Scholar
Top, J and Akkermans, H, 1990. Bond-Graph Based Reasoning about Physical Systems, Working Papers of the 1990 Workshop on Model Based Reasoning, Boston.Google Scholar
Top, J and Akkermans, H, 1991. “Computational and physical causality”. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp 11711176.Google Scholar
Weiss, S, Kulikowski, C et al. , 1978. “A model-based method for computer-aided medical decision makingArtificial Intelligence 11 145172.Google Scholar
Weld, D, 1986. “The use of aggregation in causal simulationArtificial Intelligence 30 134.Google Scholar
Weld, D, 1988. “Comparative analysisArtificial Intelligence 36 333373.Google Scholar
Weld, D, 1988. “Exaggeration”. In: Proceedings of AAAI-88, pp 291295.Google Scholar
Weld, D and de Kleer, J, 1990. Readings in Qualitative Reasoning About Physical Systems Morgan Kaufmann.Google Scholar
Weld, D, 1990. “Approximation reformulations”. In: Proceedings of AAAI-90, pp 407412.Google Scholar
Weld, D and Addanki, S, 1991. “Query-directed approximation”. In: Fallings, B and Struss, P (eds.), Recent Advances in Qualitative Physics, MIT Press.Google Scholar
Wellman, M, 1990. “Fundamental concepts of qualitative probabilistic networksArtificial Intelligence 44 257303.CrossRefGoogle Scholar
Williams, B, 1988. “MINIMA—A symbolic approach to qualitative algebraic reasoning”. In: Proceedings of AAAI-88, pp 264269.Google Scholar