{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:01:19Z","timestamp":1747627279349,"version":"3.40.5"},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1018916007995","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"355-381","source":"Crossref","is-referenced-by-count":7,"title":["Model-based and qualitative reasoning: An introduction"],"prefix":"10.1007","volume":"19","author":[{"given":"Peter","family":"Struss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325421_CR1","doi-asserted-by":"crossref","unstructured":"S. Addanki, R. Cremonini and J.S. Penberthy, Graphs of models, Artificial Intelligence 51(1\u20133) (October 1991).","DOI":"10.1016\/0004-3702(91)90110-6"},{"key":"325421_CR2","unstructured":"D. Berleant and B. Kuipers, Combined qualitative and numerical simulation with Q3, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR3","doi-asserted-by":"crossref","unstructured":"D. Bobrow, Qualitative reasoning about physical systems, Artificial Intelligence 24(1\u20133) (1984).","DOI":"10.1016\/0004-3702(84)90036-5"},{"key":"325421_CR4","unstructured":"C. Chiu and B. Kuipers, Comparative analysis and qualitative integral representations, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"issue":"2","key":"325421_CR5","volume":"8","year":"1992","unstructured":"Computational Intelligence 8(2) (1992).","journal-title":"Computational Intelligence"},{"key":"325421_CR6","unstructured":"J. Crawford, A. Farquhar and B. Kuipers, QPC: A compiler from physical models into qualitative differential equations, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR7","unstructured":"P. Dague, Order of magnitude revisited, 2nd Workshop on Qualitative Physics, Paris (August 1988)."},{"key":"325421_CR8","unstructured":"P. Dague, P. Deves and O. Raiman, Troubleshooting: When modeling is the trouble, AAAI (1987)."},{"key":"325421_CR9","unstructured":"R. Davis, Expert systems: where are we? And where do we go from here?, The AI Magazine (Spring 1982)."},{"key":"325421_CR10","doi-asserted-by":"crossref","unstructured":"R. Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24(1\u20133) (1984).","DOI":"10.1016\/0004-3702(84)90042-0"},{"key":"325421_CR11","unstructured":"E. Davis, Order of magnitude reasoning in qualitative differential equations, New York Univ. Tech. Report #312 (1987)."},{"key":"325421_CR12","doi-asserted-by":"crossref","unstructured":"D. DeCoste, Dynamic across-time measurement interpretation, Artificial Intelligence 51(1\u20133) (October 1991).","DOI":"10.1016\/0004-3702(91)90113-X"},{"key":"325421_CR13","doi-asserted-by":"crossref","unstructured":"J. de Kleer, An assumption-based TMS, Artificial Intelligence 28(2) (1986).","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"325421_CR14","doi-asserted-by":"crossref","unstructured":"J. de Kleer and J.S. Brown, A qualitative physics based on confluences, Artificial Intelligence 24(1\u20133) (1984).","DOI":"10.1016\/0004-3702(84)90037-7"},{"issue":"1","key":"325421_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. de Kleer","year":"1987","unstructured":"J. de Kleer and B.C. Williams, Diagnosing multipe faults, Artificial Intelligence 32(1) (April 1987) 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"325421_CR16","unstructured":"J. de Kleer and B.C. Williams, Diagnosis with behavioral modes, in: Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, MI (1989) pp. 1324\u20131330."},{"issue":"1\u20133","key":"325421_CR17","volume":"51","year":"1991","unstructured":"J. de Kleer and B.C. Williams (eds.), Artificial Intelligence (Special Volume on Qualitative Reasoning About Physical Systems II) 51(1\u20133) (1991).","journal-title":"Artificial Intelligence (Special Volume on Qualitative Reasoning About Physical Systems II)"},{"key":"325421_CR18","doi-asserted-by":"crossref","unstructured":"O. Dordan, Mathematical problems arising in qualitative simulation of a differential equation, Artificial Intelligence 55(1) (1992).","DOI":"10.1016\/0004-3702(92)90042-V"},{"key":"325421_CR19","unstructured":"K. Downing, The qualitative criticism of circulatory models via bipartite teleological analysis, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR20","unstructured":"R.J. Doyle et al., A focused, context-sensitive approach to monitoring, in: Proceedings of IJCAI (1989)."},{"key":"325421_CR21","unstructured":"R.J. Doyle et al., Sensor selection in complex system monitoring using information quantification and causal reasoning, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR22","unstructured":"D. Dvorak and B. Kuipers, Model-based monitoring of dynamic systems, IJCAI (1989)."},{"key":"325421_CR23","doi-asserted-by":"crossref","unstructured":"B. Falkenhainer and K.D. Forbus, Compositional modeling of physical systems, Artificial Intelligence 51(1\u20133) (October 1991). Also in: [24].","DOI":"10.1016\/0004-3702(91)90109-W"},{"key":"325421_CR24","unstructured":"B. Faltings and P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992)."},{"key":"325421_CR25","doi-asserted-by":"crossref","unstructured":"K.D. Forbus, Qualitative process theory, Artificial Intelligence 24(1\u20133) (1984).","DOI":"10.1016\/0004-3702(84)90038-9"},{"key":"325421_CR26","unstructured":"K.D. Forbus, Interpreting measurements of physical systems, in: Proc. 5th National Conf. on Artificial Intelligence, Philadelphia, PA (1986)."},{"key":"325421_CR27","doi-asserted-by":"crossref","unstructured":"K.D. Forbus, Introducing actions into qualitative simulation, in: Proceedings of IJCAI (1989).","DOI":"10.21236\/ADA466199"},{"key":"325421_CR28","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"K.D. Forbus","year":"1990","unstructured":"K.D. Forbus, The qualitative process engine, in: J. de Kleer (eds.), Readings in Qualitative Reasoning about Physical Systems (Morgan Kaufmann, San Mateo, CA, 1990). [77]."},{"key":"325421_CR29","unstructured":"K.D. Forbus, Pushing the edge of the (QP) envelope, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR30","unstructured":"K.D. Forbus and W.B. Falkenhainer, Self-explanatory simulations: integrating qualitative and quantitative knowledge, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR31","doi-asserted-by":"crossref","unstructured":"K.D. Forbus, P. Nielsen and B. Faltings, Qualitative spatial reasoning: the CLOCK project, Artificial Intelligence 51(1\u20133) (October 1991).","DOI":"10.1016\/0004-3702(91)90116-2"},{"key":"325421_CR32","unstructured":"R. Fouche and B. Kuipers, An assessment of current qualitative simulation techniques, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR33","doi-asserted-by":"crossref","unstructured":"W. Hamscher, Modeling digital circuits for troubleshooting, Artificial Intelligence 51(1\u20133) (1991).","DOI":"10.1016\/0004-3702(91)90112-W"},{"volume-title":"Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function","year":"1992","key":"325421_CR34","unstructured":"W. Hamscher, J. de Kleer and L. Console (eds.), Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function (Morgan Kaufmann, San Mateo, 1992)."},{"key":"325421_CR35","unstructured":"P. Hayes, The naive physics manifesto, in: Expert Systems in the Micro-Electronic Age, ed. D. Michie (Edinburgh, 1978)."},{"key":"325421_CR36","unstructured":"P. Hayes, The second naive physics manifesto, in: Formal Theories of the Commonsense World, eds. J. Hobbs and R. Moore (Norwood, 1985)."},{"key":"325421_CR37","unstructured":"J. Hellerstein, Obtaining quantitative predictions from montone relationships, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR38","unstructured":"D.L. Hibler and G. Biswas, TEPS: the thought experiment approach to qualitative physics, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR39","unstructured":"J. Hobbs and R. Moore (eds.), Formal Theories of the Commonsense World (Norwood, 1985)."},{"key":"325421_CR40","unstructured":"K. Hyun-Kyung, Qualitative kinematics of linkages, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR41","unstructured":"Y. Iwasaki, Causal ordering in a mixed structure, AAAI (1988)."},{"key":"325421_CR42","unstructured":"Y. Iwasaki, Reasoning with multiple abstraction models, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR43","doi-asserted-by":"crossref","unstructured":"B. Kuipers, Qualitative simulation, Artificial Intelligence 29(3) (1986).","DOI":"10.1016\/0004-3702(86)90073-1"},{"key":"325421_CR44","unstructured":"B. Kuipers, Abstraction by time-scale in qualitative simulation, AAAI (1987)."},{"key":"325421_CR45","unstructured":"B. Kuipers and C. Chiu, Taming intractable branching in qualitative simulation, IJCAI (1987)."},{"key":"325421_CR46","doi-asserted-by":"crossref","unstructured":"B. Kuipers, C. Chiu, D.T. Dalle Molle and D.R. Throop, Higher-order derivative constraints in qualitative simulation, Artificial Intelligence 51(1\u20133) (October 1991).","DOI":"10.1016\/0004-3702(91)90114-Y"},{"key":"325421_CR47","unstructured":"B. Kuipers and D. Berleant, Using incomplete quantitative knowledge in qualitative reasoning, in: 2nd Workshop on Qualitative Physics, Paris (1988)."},{"key":"325421_CR48","unstructured":"W.W. Lee and B. Kuipers, Non-intersection of trajectories in qualitative phase space: A global constraint for qualitative simulation, AAAI (1988)."},{"key":"325421_CR49","unstructured":"M.L. Mavrovouniotis and G. Stephanopoulos, Reasoning with orders of magnitude and approximate relations, AAAI (1987)."},{"key":"325421_CR50","unstructured":"S. Murthy, Qualitative reasoning at multiple resolutions, AAAI (1988)."},{"key":"325421_CR51","unstructured":"A. Nigam and R. Bhaskar, Qualitative reasoning about a large system using dimensional analysis, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR52","unstructured":"P. van Nypelseer, Qualitative change waves \u2014 the automatic detection of traffic accidents, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR53","unstructured":"O. Raiman, Order of magnitude reasoning, AAAI (1986)."},{"key":"325421_CR54","doi-asserted-by":"crossref","unstructured":"O. Raiman, Order of magnitude reasoning, Artificial Intelligence 51(1\u20133) (October 1991).","DOI":"10.1016\/0004-3702(91)90107-U"},{"key":"325421_CR55","unstructured":"B. Randell, A. Cohn and Z. Cui, Exploring naive topology: modeling the force pump, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR56","unstructured":"C. Rieger and M. Grinberg, The declarative representation and procedural simulation of causality in physical mechanisms, IJCAI (1977)."},{"key":"325421_CR57","unstructured":"P. Rose and M.A. Kramer, Qualitative analysis of causal feedback, AAAI (1991)."},{"key":"325421_CR58","unstructured":"E. Sacks, Qualitative mathematical reasoning, IJCAI (1985)."},{"key":"325421_CR59","doi-asserted-by":"crossref","unstructured":"E. Sacks, Automatic qualitative analysis of dynamic systems using piecewise linear approximation, Artificial Intelligence 41 (1990).","DOI":"10.1016\/0004-3702(90)90047-4"},{"key":"325421_CR60","unstructured":"P. Schaefer, Analytic solution of qualitative differential equations, AAAI (1991)."},{"key":"325421_CR61","unstructured":"Q. Shen and R. Leitch, Integrating common-sense and qualitative simulation by the use of fuzzy sets, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR62","unstructured":"R. Simmons, \u201cCommonsense\u201d arithmetic reasoning, AAAI (1986)."},{"key":"325421_CR63","doi-asserted-by":"crossref","unstructured":"R.M. Stallman and G.J. Sussman, Forward reasoning and dependency \u2014 directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence 9(2) (1977).","DOI":"10.1016\/0004-3702(77)90029-7"},{"key":"325421_CR64","unstructured":"P. Struss, Multiple representation of structure and function, in: Expert Systems in Computer-Aided Design, ed. J. Gero (Amsterdam, 1987)."},{"key":"325421_CR65","doi-asserted-by":"crossref","unstructured":"P. Struss, Mathematical aspects of qualitative reasoning, International Journal for Artificial Intelligence in Engineering 3(3) (1988).","DOI":"10.1016\/0954-1810(88)90032-5"},{"key":"325421_CR66","unstructured":"P. Struss, Global filters for qualitative behaviors, AAAI (1988)."},{"key":"325421_CR67","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"P. Struss","year":"1990","unstructured":"P. Struss, Problems of interval-based qualitative reasoning \u2014 revised version, in: J. de Kleer (eds.), Readings in Qualitative Reasoning about Physical Systems (Morgan Kaufmann, San Mateo, CA, 1990). [77]."},{"key":"325421_CR68","volume-title":"Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function","author":"P. Struss","year":"1992","unstructured":"P. Struss, What's in SD? Towards a theory of modeling for diagnosis, in: J. de Kleer and L. Console (eds.), Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function (Morgan Kaufmann, San Mateo, 1992). [34]."},{"key":"325421_CR69","unstructured":"P. Struss and O. Dressler, \u201cPhysical negation\u201d \u2014 integrating fault models into the general diagnostic engine, Proceedings IJCAI (1989)."},{"key":"325421_CR70","doi-asserted-by":"crossref","unstructured":"G.J. Sussman and R.M. Stallman, Heuristic techniques in computer-aided circuit analysis, IEEE Transactions on Circuits and Systems CAS-22(11) (1975).","DOI":"10.1109\/TCS.1975.1083985"},{"key":"325421_CR71","doi-asserted-by":"crossref","unstructured":"G.J. Sussman and G.L. Steele, CONSTRAINTS \u2014 a language for expressing almost hierarchical descriptions, Artificial Intelligence 14(1) (1980).","DOI":"10.1016\/0004-3702(80)90032-6"},{"key":"325421_CR72","unstructured":"J. Weinberg, S. Uckun and G. Biswas, Qualitative vector algebra, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR73","doi-asserted-by":"crossref","unstructured":"D.S. Weld, Comparative analysis, Artificial Intelligence 36 (1988).","DOI":"10.1016\/0004-3702(88)90086-0"},{"key":"325421_CR74","unstructured":"D.S. Weld, Exaggeration, Proceedings of AAAI (1988)."},{"key":"325421_CR75","unstructured":"D.S. Weld and S. Addanki, Approximation reformulations, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR76","unstructured":"D.S. Weld and S. Addanki, Task-driven model abstraction, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"volume-title":"Readings in Qualitative Reasoning about Physical Systems","year":"1990","key":"325421_CR77","unstructured":"D.S. Weld and J. de Kleer (eds.), Readings in Qualitative Reasoning about Physical Systems (Morgan Kaufmann, San Mateo, CA, 1990)."},{"key":"325421_CR78","unstructured":"B. Williams, Doing time: Putting qualitative reasoning on firmer ground, AAAI (1986)."},{"key":"325421_CR79","unstructured":"B.C. Williams, MINIMA: A symbolic approach to qualitative reasoning, AAAI (1988) 105\u2013112."},{"key":"325421_CR80","unstructured":"B.C. Williams, Interaction-based invention: designing devices from first principles, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR81","unstructured":"C.P. Williams, Analytic abduction from qualitative simulation, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."},{"key":"325421_CR82","doi-asserted-by":"crossref","unstructured":"K.M.-P. Yip, Understanding complex dynamics by visual and symbolic reasoning, Artificial Intelligence 51(1\u20133) (October 1991).","DOI":"10.1016\/0004-3702(91)90111-V"},{"key":"325421_CR83","unstructured":"L. Zheng-Yang, A charge-carrier ontology for reasoning about electronics, in: P. Struss (eds.), Recent Advances in Qualitative Physics (MIT Press, 1992). [24]."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018916007995.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018916007995\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018916007995.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:49:52Z","timestamp":1747547392000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018916007995"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":83,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["325421"],"URL":"https:\/\/doi.org\/10.1023\/a:1018916007995","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}