{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:29:08Z","timestamp":1767637748053,"version":"3.48.0"},"reference-count":77,"publisher":"Maximum Academic Press","issue":"1","license":[{"start":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T00:00:00Z","timestamp":1246924800000},"content-version":"unspecified","delay-in-days":6337,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1992,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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.<\/jats:p>","DOI":"10.1017\/s0269888900006159","type":"journal-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:34:57Z","timestamp":1246959297000},"page":"55-77","source":"Crossref","is-referenced-by-count":16,"title":["The qualitative representation of physical systems"],"prefix":"10.48130","volume":"7","author":[{"given":"Enrico","family":"Coiera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2009,7,7]]},"reference":[{"key":"S0269888900006159_ref077","unstructured":"Williams B , 1988. \u201cMINIMA\u2014A symbolic approach to qualitative algebraic reasoning\u201d. In: Proceedings of AAAI-88, pp 264\u2013269."},{"key":"S0269888900006159_ref076","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90026-V"},{"volume-title":"Readings in Qualitative Reasoning About Physical Systems","year":"1990","author":"Weld","key":"S0269888900006159_ref073"},{"key":"S0269888900006159_ref069","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(78)90015-2"},{"key":"S0269888900006159_ref065","doi-asserted-by":"publisher","DOI":"10.1109\/64.79704"},{"key":"S0269888900006159_ref062","unstructured":"Patil RS , 1981. \u201cCausal representation of patient illness for electrolyte and acid-base diagnosis\u201d Ph.D. Thesis, Massachusetts Institute of Technology."},{"key":"S0269888900006159_ref061","unstructured":"Pan J , 1984. \u201cQualitative reasoning with deep-level mechanism models for diagnoses of mechanism failures\u201d. In: Proceedings ofCAIA-84, pp 295\u2013301."},{"key":"S0269888900006159_ref059","doi-asserted-by":"crossref","unstructured":"Morris M , 1991. \u201cWhy there are no mental representations\u201d Minds and Machines 11\u201330.","DOI":"10.1007\/BF00360576"},{"key":"S0269888900006159_ref070","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90066-4"},{"key":"S0269888900006159_ref067","unstructured":"Top J and Akkermans H , 1990. Bond-Graph Based Reasoning about Physical Systems, Working Papers of the 1990 Workshop on Model Based Reasoning, Boston."},{"key":"S0269888900006159_ref058","unstructured":"Long W , 1983. \u201cReasoning about state from causation and time in a medical domain\u201d. In: Proceedings of AAAI-83, pp 251\u2013254."},{"key":"S0269888900006159_ref057","unstructured":"Liu Z and Farley A , 1990. \u201cShifting ontological perspectives in reasoning about physical systems\u201d. In: Proceedings of AAAI-90, pp 395\u2013400."},{"key":"S0269888900006159_ref055","unstructured":"Lenat DB and Feigenbaum EA , 1988. \u201cOn the thresholds of knowledge\u201d. In: Proceedings Fourth Australian Conference on the Applications of Expert Systems, pp 31\u201356. (Revised version reprinted in Artificial Intelligence 47 (1991) 185\u2013250.)"},{"key":"S0269888900006159_ref043","unstructured":"Iwasaki Y , 1990. \u201cReasoning with Multiple Abstraction Models\u201d Knowledge Systems Laboratory Report No. KSL 90\u201352, Stanford University, August."},{"key":"S0269888900006159_ref001","first-page":"1","article-title":"Adaptive, multilevel diagnosis and modelling of dynamic systems","volume":"3","author":"Abu-Hanna","year":"1990","journal-title":"International Journal of Expert Systems"},{"key":"S0269888900006159_ref022","unstructured":"Davis R , 1987. \u201cRobustness and transparency in intelligent systems\u201d. In: Proceedings of the Third Australian Conference on the Applications of Expert Systems, pp 143\u2013164."},{"key":"S0269888900006159_ref047","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90054-N"},{"key":"S0269888900006159_ref025","doi-asserted-by":"publisher","DOI":"10.1177\/003754978905200102"},{"key":"S0269888900006159_ref060","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.cs.02.060187.001155"},{"key":"S0269888900006159_ref071","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90086-0"},{"volume-title":"Formal Theories of the Commonsense World","year":"1985","author":"Hobbs","key":"S0269888900006159_ref037"},{"key":"S0269888900006159_ref052","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1987.4309059"},{"key":"S0269888900006159_ref016","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(90)90044-R"},{"volume-title":"Kardio\u2014A Study in Deep and Qualitative Knowledge for Expert Systems","year":"1989","author":"Bratko","key":"S0269888900006159_ref005"},{"key":"S0269888900006159_ref046","doi-asserted-by":"publisher","DOI":"10.1080\/09528138908953694"},{"key":"S0269888900006159_ref003","unstructured":"Addanki S , Cremonini R and Penberthy SJ , 1989. \u201cContexts: dynamic identification of common parameters in distributed analysis of complex devices\u201d. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp 104\u2013109."},{"key":"S0269888900006159_ref042","unstructured":"Iwasaki Y , 1988. \u201cCausal ordering in a mixed structure\u201d. In: Proceedings of AAAI-88, pp 313\u2013318."},{"key":"S0269888900006159_ref019","doi-asserted-by":"publisher","DOI":"10.1016\/S1042-8143(05)80017-2"},{"volume-title":"Recent Advances in Qualitative Physics","year":"1991","author":"Weld","key":"S0269888900006159_ref075"},{"key":"S0269888900006159_ref034","doi-asserted-by":"publisher","DOI":"10.1145\/1056663.1056664"},{"key":"S0269888900006159_ref072","unstructured":"Weld D , 1988. \u201cExaggeration\u201d. In: Proceedings of AAAI-88, pp 291\u2013295."},{"key":"S0269888900006159_ref063","first-page":"27","volume-title":"Cognition and Categorization","author":"Rosch","year":"1978"},{"key":"S0269888900006159_ref021","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90042-0"},{"key":"S0269888900006159_ref054","unstructured":"Lee W and Kuipers B , 1988. \u201cNon-intersection of trajectories in qualitative phase space: A global constraint for qualitative simulation\u201d. In: Proceedings of AAAI-88 pp. 286\u2013296."},{"key":"S0269888900006159_ref039","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90089-5"},{"key":"S0269888900006159_ref040","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90091-3"},{"key":"S0269888900006159_ref031","first-page":"686","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"Forbus","year":"1990"},{"key":"S0269888900006159_ref056","first-page":"141","volume-title":"Proceedings of CSSl-84","author":"Levesque","year":"1984"},{"key":"S0269888900006159_ref064","unstructured":"S\u00f6derman U and Str\u00f6mberg J , 1991. \u201cCombining qualitative and quantitative knowledge to generate models of physical systems\u201d. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp 1158\u20131163."},{"key":"S0269888900006159_ref066","unstructured":"Struss P , 1988. \u201cGlobal filters for qualitative behaviours\u201d. In: Proceedings of AAAI-88, pp 275\u2013279."},{"key":"S0269888900006159_ref038","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(90)90031-L"},{"key":"S0269888900006159_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/BF00128781"},{"key":"S0269888900006159_ref048","unstructured":"Klein D and Finin T , 1987. \u201cWhat's in a deep model? In: Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp 559\u2013562."},{"key":"S0269888900006159_ref015","unstructured":"Coiera EW , 1989. \u201cReasoning with qualitative disease histories for diagnostic patient monitoring\u201d Ph.D. Thesis, Department of Computer Science, University of New South Wales."},{"key":"S0269888900006159_ref074","unstructured":"Weld D , 1990. \u201cApproximation reformulations\u201d. In: Proceedings of AAAI-90, pp 407\u2013412."},{"key":"S0269888900006159_ref028","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90038-9"},{"key":"S0269888900006159_ref036","unstructured":"Hayes PJ , 1985. \u201cNaive physics 1: Ontology for liquids\u201d. In: JR Hobbs and RC Moore (eds.), pp 71\u201389. (Reprinted in Weld, D and de Kleer, J, Expert Systems in the Microelectronic Age Edinburgh University Press)"},{"key":"S0269888900006159_ref002","unstructured":"Addanki S , Cremonini R and Penberthy SJ , 1989. \u201cReasoning about assumptions in graphs of models\u201d. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp 1432\u20131438."},{"key":"S0269888900006159_ref004","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-444-87670-6.50004-2","volume-title":"Qualitative Reasoning About Physical Systems","author":"Bobrow","year":"1984"},{"key":"S0269888900006159_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90053-M"},{"volume-title":"Causality and Modern Science","year":"1979","author":"Bunge","key":"S0269888900006159_ref007"},{"key":"S0269888900006159_ref008","unstructured":"Bylander T , 1987. \u201cUsing consolidation for reasoning about devices\u201d Technical Report, Laboratory for Artificial Intelligence Department of Computer and Information Science, Ohio State University."},{"key":"S0269888900006159_ref045","doi-asserted-by":"crossref","unstructured":"Keravnou E and Washbrook J , 1989. \u201cDeep and shallow models in medical expert systems\u201d Artificial Intelligence in Medicine 111\u201328.","DOI":"10.1016\/0933-3657(89)90013-4"},{"key":"S0269888900006159_ref009","first-page":"252","article-title":"A critique of qualitative simulation from a consolidation viewpoint","volume":"18","author":"Bylander","year":"1988","journal-title":"IEEE Transactions on Systems"},{"volume-title":"Readings in Qualitative Reasoning about Physical Systems","year":"1990","author":"Forbus","key":"S0269888900006159_ref030"},{"key":"S0269888900006159_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(90)90042-P"},{"key":"S0269888900006159_ref011","unstructured":"Chandrasekaran B , 1983. \u201cTowards a taxonomy of problem solving types\u201d The AI Magazine Winter\/Spring, pp 9\u201317."},{"volume-title":"Fundamental Methods of Mathematical Economics","year":"1984","author":"Chiang","key":"S0269888900006159_ref012"},{"key":"S0269888900006159_ref013","unstructured":"Chiu C , 1988. \u201cHigher order derivative constraints and a QSIM-based total simulation scheme\u201d Technical Report AITR88\u201365, The University of Texas at Austin, Artificial Intelligence Laboratory."},{"key":"S0269888900006159_ref020","unstructured":"Crawford J , Farqhuar A and Kuipers B , 1990. \u201cQPC: A compiler from physical models into qualitative differential equations\u201d. In: Proceedings of AAAI-90, pp 365\u2013372."},{"key":"S0269888900006159_ref017","doi-asserted-by":"crossref","unstructured":"Coiera EW , 1992. \u201cQualitative superposition\u201d Artificial Intelligence (to appear).","DOI":"10.1016\/0004-3702(92)90026-T"},{"key":"S0269888900006159_ref018","unstructured":"Collins JW and Forbus KD , 1987. \u201cReasoning about fluids via molecular collections\u201d. In: Proceedings of AAAI-87, pp 590\u2013595."},{"key":"S0269888900006159_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90037-7"},{"key":"S0269888900006159_ref024","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90090-1"},{"key":"S0269888900006159_ref068","unstructured":"Top J and Akkermans H , 1991. \u201cComputational and physical causality\u201d. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp 1171\u20131176."},{"key":"S0269888900006159_ref026","doi-asserted-by":"publisher","DOI":"10.1177\/003754978905200303"},{"key":"S0269888900006159_ref027","doi-asserted-by":"crossref","unstructured":"Fishwick PA and Zeigler B , 1990. \u201cQualitative physics: Towards the automation of systems problem solving\u201d. In: Proceedings on AI, Simulation and Planning in High Autonomy Systems IEEE Computer Society Press, pp 118\u2013134.","DOI":"10.1109\/AIHAS.1990.93927"},{"key":"S0269888900006159_ref029","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.cs.03.060188.001213"},{"volume-title":"Methematical Methods and Models in Economics","year":"1981","author":"Gandolfo","key":"S0269888900006159_ref032"},{"key":"S0269888900006159_ref033","unstructured":"Hamscher W and Davis R , 1987. \u201cIssues in model based troubleshooting\u201d AI Memo 893, Artificial Intelligence Laboratory, Massachusetts Institute of Technology."},{"volume-title":"Expert Systems in the Microelectronic Age","year":"1979","author":"Hayes","key":"S0269888900006159_ref035"},{"key":"S0269888900006159_ref041","unstructured":"Iwasaki Y , 1987. \u201cGenerating behaviour equations from explicit representations of mechanisms\u201d Carnegie Mellon University, Computer Science Department Report CMU-CS-87\u2013131."},{"key":"S0269888900006159_ref044","unstructured":"Iwasaki Y , 1990. \u201cOn the relationship between model abstraction and causality: Variance of causal ordering under abstraction operations\u201d Knowledge Systems Laboratory Report No. KSL 90\u201359, Stanford University, September."},{"key":"S0269888900006159_ref049","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90073-1"},{"key":"S0269888900006159_ref050","unstructured":"Kuipers B and Chiu C , 1987. \u201cTaming intractable branching in qualitative simulation\u201d. In: Proceedings of the 10th International Joint Conference on Artificial Intelligence pp 1079\u20131085."},{"key":"S0269888900006159_ref051","unstructured":"Kuipers B , 1987. \u201cAbstraction by time-scale in qualitative simulation\u201d. In: Proceedings of AAAI-87 pp 621\u2013625."},{"key":"S0269888900006159_ref053","unstructured":"Kuipers B and Berleant D , 1988. \u201cUsing incomplete quantitative knowledge in qualitative reasoning\u201d Proceedings of AAAI-88."}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888900006159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:27Z","timestamp":1767624147000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888900006159\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":77,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["S0269888900006159"],"URL":"https:\/\/doi.org\/10.1017\/s0269888900006159","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}