{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:43Z","timestamp":1725663823129},"publisher-location":"Berlin, Heidelberg","reference-count":78,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:48:54Z","timestamp":1330260534000},"page":"20-49","source":"Crossref","is-referenced-by-count":0,"title":["Qualitative modeling of physical systems in AI research"],"prefix":"10.1007","author":[{"given":"Peter","family":"Struss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Addanki, S., Cremonini, R., Penberthy, J.S.: Graphs of models. Artificial Intelligence 51 (1\u20133), October 1991.","DOI":"10.1016\/0004-3702(91)90110-6"},{"key":"2_CR2","unstructured":"Berleant, D., Kuipers, B.: Combined Qualitative and Numerical Simulation with Q3. In: [Faltings-Struss 92]."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bobrow, D.: Qualitative Reasoning about Physical Systems. Artificial Intelligence 24 (1\u20133), 1984.","DOI":"10.1016\/0004-3702(84)90036-5"},{"key":"2_CR4","unstructured":"Chiu, C., Kuipers, B.: Comparative analysis and qualitative integral representations. In: [Faltings-Struss 92]."},{"key":"2_CR5","unstructured":"Computational Intelligence 8(2), 1992."},{"key":"2_CR6","unstructured":"Crawford, J., Farquhar, A., Kuipers, B.: QPC: A Compiler from Physical Models into Qualitative Differential Equations. In: [Faltings-Struss 92]."},{"key":"2_CR7","unstructured":"Dague, P.: Order of Magnitude Revisited. 2nd Workshop on Qualitative Physics, Paris, August 1988."},{"key":"2_CR8","unstructured":"Dague, P., Deves, P., Raiman, O.: Troubleshooting: When Modeling is the Trouble. AAAI 1987."},{"key":"2_CR9","unstructured":"Davis, R.: Expert Systems: Where Are We? And Where Do We Go From Here? The AI Magazine, Spring 1982."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Davis, R.: Diagnostic Reasoning Based on Structure and Behavior. Artificial Intelligence 24 (1\u20133), 1984.","DOI":"10.1016\/0004-3702(84)90042-0"},{"key":"2_CR11","unstructured":"Davis, E.: Order of Magnitude Reasoning in Qualitative Differential Equations. New York Univ. Tech. Report #312, 1987."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"DeCoste, D.: Dynamic Across-Time Measurement Interpretation. Artificial Intelligence 51 (1\u20133), October 1991.","DOI":"10.1016\/0004-3702(91)90113-X"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"de Kleer, J., Brown, J.S.: A Qualitative Physics Based on Confluences. Artificial Intelligence 24 (1\u20133), 1984.","DOI":"10.1016\/0004-3702(84)90037-7"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"de Kleer, J., Williams, B.C. (eds.): Artificial Intelligence (Special Volume on Qualitative Reasoning About Physical Systems II), 51(1\u20133), 1991.","DOI":"10.1016\/0004-3702(91)90106-T"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Doordan, O.: Mathematical Problems Arising in Qualitative Simulation of a Differential Equation. Artificial Intelligence 55 (1), 1992.","DOI":"10.1016\/0004-3702(92)90042-V"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Downing, K.: The Qualitative Criticism of Circulatory Models Via Bipartite Teleological Analysis. In: [Faltings-Struss 92].","DOI":"10.1016\/0933-3657(90)90045-S"},{"key":"2_CR17","unstructured":"Doyle, R.J., et al.: A Focused, Context-Sensitive Approach to Monitoring. In: Proceedings of IJCAI 1989."},{"key":"2_CR18","unstructured":"Doyle, R.J., et al.: Sensor Selection in Complex System Monitoring Using Information Quantification and Causal Reasoning. In: [Faltings-Struss 92]."},{"key":"2_CR19","unstructured":"Dvorak, D., Kuipers, B.: Model-Based Monitoring of Dynamic Systems. IJCAI 1989."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Falkenhainer, B., Forbus, K.D., Compositional Modeling of of Physical Systems. Artificial Intelligence 51 (1\u20133), October 1991. Also in: [Faltings-Struss 92].","DOI":"10.1016\/0004-3702(91)90109-W"},{"key":"2_CR21","unstructured":"Faltings, B., Struss, P. (eds.): Recent Advances in Qualitative Physics. MIT Press, 1992."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Forbus, K. D.: Qualitative Process Theory. Artificial Intelligence 24 (1\u20133), 1984.","DOI":"10.1016\/0004-3702(84)90038-9"},{"key":"2_CR23","unstructured":"Forbus, K. D.: Interpreting Measurements of Physical Systems. In: Proc. 5th National Conf. on Artificial Intelligence, Philadelphia, PA, 1986."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Forbus, K.D.: Introducing Actions into Qualitative Simulation. In: Proceedings of IJCAI 1989.","DOI":"10.21236\/ADA466199"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Forbus, K.D.: The Qualitative Process Engine. In: [Weld-de Kleer 90].","DOI":"10.1016\/B978-1-4832-1447-4.50017-1"},{"key":"2_CR26","unstructured":"Forbus, K.D.: Pushing the Edge of the (QP) Envelope. In: [Faltings-Struss 92]."},{"key":"2_CR27","unstructured":"Forbus, K.D., FalkenhainerW B.: Self-explanatory Simulations: Integrating Qualitative and Quantitative Knowledge. In: [Faltings-Struss 92]."},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Forbus, K.D., Nielsen, P., Faltings, B.: Qualitative Spatial Reasoning: the CLOCK Project. Artificial Intelligence 51 (1\u20133), October 1991.","DOI":"10.1016\/0004-3702(91)90116-2"},{"key":"2_CR29","unstructured":"Fouche, R., Kuipers, B.: An Assessment of Current Qualitative Simulation Techniques. In: [Faltings-Struss 92]."},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Hamscher, W.: 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":"2_CR31","unstructured":"Hamscher, W., de Kleer, J., Console, L. (eds.): Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function. Morgan Kaufmann, San Mateo, 1992."},{"key":"2_CR32","unstructured":"Hayes, P.: The Naive Physics Manifesto. In: Michie, D. (ed.): Expert Systems in the Micro-Electronic Age. Edinburgh, 1978."},{"key":"2_CR33","unstructured":"Hayes, P.: The Second Naive Physics Manifesto. In: Hobbs, J., Moore, R. (eds.): Formal Theories of the Commonsense World. Norwood, 1985."},{"key":"2_CR34","unstructured":"Hellertstein, J.: Obtaining Quantitative Predictions from Montone Relationships. In: [Faltings-Struss 92]."},{"key":"2_CR35","unstructured":"Hibler, D.L., Biswas, G.: TEPS: the Thought Experiment Approach to Qualitative Physics. In: [Faltings-Struss 92]."},{"key":"2_CR36","unstructured":"Hobbs, J., Moore, R. (eds.): Formal Theories of the Commonsense World. Norwood, 1985."},{"key":"2_CR37","unstructured":"Hyun-Kyung, K.: Qualitative Kinematics of Linkages. In: [Faltings-Struss 92]."},{"key":"2_CR38","unstructured":"Iwasaki, Y.:Causal Ordering in a Mixed Structure. AAAI 1988."},{"key":"2_CR39","unstructured":"Iwasaki, Y.: Reasoning with Multiple Abstraction Models. In: [Faltings-Struss 92]."},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Kuipers, B.: Qualitative Simulation. Artificial Intelligence 29 (3), 1986.","DOI":"10.1016\/0004-3702(86)90073-1"},{"key":"2_CR41","unstructured":"Kuipers, B.: Abstraction by Time-Scale in Qualitative Simulation. AAAI 1987."},{"key":"2_CR42","unstructured":"Kuipers, B., Chiu, C.: Taming Intractable Branchung in Qualitative Simulation. IJCAI 1987."},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Kuipers, B., Chiu, C., Dalle Molle, D.T., Throop, D.R.: Higher-order Derivative Constraints in Qualitative Simulation. Artificial Intelligence 51 (1\u20133), October 1991.","DOI":"10.1016\/0004-3702(91)90114-Y"},{"key":"2_CR44","unstructured":"Kuipers, B., Berleant, D.: Using Incomplete Quantitative Knowledge in Qualitative Reasoning. In: 2nd Workshop on Qualitative Physics, Paris, 1988."},{"key":"2_CR45","unstructured":"Lee, W.W., Kuipers, B.: Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation. AAAI 1988."},{"key":"2_CR46","unstructured":"Mavrovouniotis, M.L, Stephanopoulos, G.: Reasoning with Orders of Magnitude and Approximate Relations. AAAI 1987."},{"key":"2_CR47","unstructured":"Murthy, S.: Qualitative Reasoning at Multiple Resolutions. AAAI 1988."},{"key":"2_CR48","unstructured":"Nigam, A., Bhaskar, R.: Qualitative Reasoning about a Large System Using Dimensional Analysis. In: [Faltings-Struss 92]."},{"key":"2_CR49","unstructured":"van Nypelseer, P.: Qualitative Change Waves \u2014 the Automatic Detection of Traffic Accidents. In: [Faltings-Struss 92]."},{"key":"2_CR50","unstructured":"Raiman, O.: Order of Magnitude Reasoning. AAAI 1986."},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Raiman, O.: Order of Magnitude Reasoning. Artificial Intelligence 51 (1\u20133), October 1991.","DOI":"10.1016\/0004-3702(91)90107-U"},{"key":"2_CR52","unstructured":"Randell, B., Conn, G.: Exploring Naive Topology: Modeling the Force Pump. In: [Faltings-Struss 92]"},{"key":"2_CR53","unstructured":"Rieger, C., Grinberg, M.: The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms. IJCAI 1977."},{"key":"2_CR54","unstructured":"Rose, P., Kramer, M.A.: Qualitative Analysis of Causal Feedback. AAAI 1991."},{"key":"2_CR55","unstructured":"Sacks, E. Qualitative Mathematical Reasoning. IJCAI 1985."},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"Sacks, E.: Automatic Qualitative Analysis of Dynamic Systems Using Piecewise Linear Approximation. Artificial Intelligence 41 (1990).","DOI":"10.1016\/0004-3702(90)90047-4"},{"key":"2_CR57","unstructured":"Schaefer, P.: Analytic Solution of Qualitative Differential Equations. AAAI 1991."},{"key":"2_CR58","unstructured":"Shen, Q., Leitch, R.: Integrating Common-Sense and Qualitative Simulation by the Use of Fuzzy Sets. In: [Faltings-Struss 92]."},{"key":"2_CR59","unstructured":"Simmons, R.: \u201dCommonsense\u201d Arithmetic Reeasoning. AAAI 1986."},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"Stallman, R. M., Sussman, G. J.: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artificial Intelligence 9 (2), 1977.","DOI":"10.1016\/0004-3702(77)90029-7"},{"key":"2_CR61","unstructured":"Struss, P.: Multiple Representation of Structure and Function. In: J.Gero (ed.): Expert Systems in Computer-Aided Design. Amsterdam, 1987."},{"key":"2_CR62","doi-asserted-by":"crossref","unstructured":"Struss, P.: Mathematical Aspects of Qualitative Reasoning. In: International Journal for Artificial Intelligence in Engineering 3 (3)1988.","DOI":"10.1016\/0954-1810(88)90032-5"},{"key":"2_CR63","unstructured":"Struss, P.: Global Filters for Qualitative Behaviors. AAAI 1988."},{"key":"2_CR64","doi-asserted-by":"crossref","unstructured":"Struss, P.: Problems of Interval-Based Qualitative Reasoning \u2014 Revised Version. In: [Weld-de Kleer 90].","DOI":"10.1016\/B978-1-4832-1447-4.50024-9"},{"key":"2_CR65","unstructured":"Struss, P.: What's in SD? Towards a Theory of Modeling for Diagnosis. To appear in: [Hamscher-Console-de Kleer 92]."},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"Sussman, G. J., Stallman, R. M.: Heuristic Techniques in Computer-Aided Circuit Analysis. IEEE Transactions on Circuits and Systems CAS-22 (11), 1975.","DOI":"10.1109\/TCS.1975.1083985"},{"key":"2_CR67","unstructured":"Weinberg, J., Uckun, S., Biswas, G.: Qualitative Vector Algebra. In: [Faltings-Struss 92]."},{"key":"2_CR68","doi-asserted-by":"crossref","unstructured":"Weld, D.S.: Comparative Analysis. Artificial Intelligence 36, 1988.","DOI":"10.1016\/0004-3702(88)90086-0"},{"key":"2_CR69","unstructured":"Weld, D.S.: Exaggeration. Proceedings of AAAI 1988."},{"key":"2_CR70","unstructured":"Weld, D.S.: Approximation Reformulations. In: [Faltings-Struss 92]."},{"volume-title":"Readings in Qualitative Reasoning about Physical Systems","year":"1990","key":"2_CR71","unstructured":"Weld, D.S., de Kleer, J. (eds.): Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, CA, 1990."},{"key":"2_CR72","unstructured":"Weld, D.S., Addanki, S.: Task-Driven Model Abstraction. In: [Faltings-Struss 92]."},{"key":"2_CR73","unstructured":"Williams, B.: Doing Time: Putting Qualitative Reasoning on Firmer Ground. AAAI 1986."},{"key":"2_CR74","unstructured":"Williams, B.C.: MINIMA: A Symbolic Approach to Qualitative Reasoning, AAAI 1988, pages 105\u2013112."},{"key":"2_CR75","unstructured":"Williams, B.C.: Interaction-based Invention: Designing Devices from First Principles. In: [Faltings-Struss 92]."},{"key":"2_CR76","unstructured":"Williams, C.P.: Analytic Abduction from Qualitative Simulation. In: [Faltings-Struss 92]."},{"key":"2_CR77","doi-asserted-by":"crossref","unstructured":"Yip, K.M.-P.: Understanding Complex Dynamics by Visual and Symbolic Reasoning. Artificial Intelligence 51 (1\u20133), October 1991.","DOI":"10.1016\/0004-3702(91)90111-V"},{"key":"2_CR78","unstructured":"Zheng-Yang, L.: A Charge-carrier Ontology for Reasoning about Electronics. In: [Faltings-Struss 92]."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:29Z","timestamp":1605647489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}