{"type":"ScholarlyArticle","title":"A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics","authors":[{"name":"John O. Everett","slug":"john-o-everett","given":"John O.","family":"Everett","affiliation":"Qualitative Reasoning Group The Institute for the Learning Sciences Northwestern University 1890 Maple Avenue Evanston , IL 60201 U.S. A."}],"abstract":"This paper presents a theoretical framework for mapping from structure to function in engineering domains. We argue that a generative approach grounded in Qualitative Process Theory produces useful functional explanations. These explanations are articulate, in that they enable the user to explore their theoretical justifications and perform counterfactual reasoning. These explanations stem from a teleological representation based on goals, plans, roles, and views. We show that an ontology based on aggregated processes facilitates the recognition of recurring thermodynamic structures. We describe an implementation of this theory, a system called CARNOT that explains steady-flow thermodynamic cycles ranging in complexity from four to 24 components.","doi":null,"url":"https://ijcai.org/proceedings/1995/236","pdf":"https://ijcai.org/proceedings/1995/0236.pdf","markdown":"https://ijcai.org/proceedings/1995/236.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/236","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Qualitative Reasoning and Diagnosis","track":"Qualitative Reasoning and Diagnosis","number":236,"pages":{"first":1837,"last":1845},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Chandrasekaran 1994","title":null,"authors":"Chandrasekaran","year":"1994","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"B. Chandrasekaran. \"Functional Representation and Causal Processes.\" Advances in Com- puters, Vol. 38. ed. Marshall Yovits. Academic Press.","title":"Functional Representation and Causal Processes","authors":"B Chandrasekaran","year":null,"venue":"Advances in Computers","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"de Kleer 1984] Johan de Kleer. \"How Circuits Work.\" Artificial Intelligence 24:205-280.","title":"How Circuits Work","authors":"; Johan De Kleer, De Kleer","year":"1984","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Forbus 1984","title":null,"authors":"Forbus","year":"1984","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Kenneth D. Forbus. \"Qualitative Process Theory.\" Artificial Intelligence 24:85-168 .","title":"Qualitative Process Theory","authors":"D Kenneth, Forbus","year":null,"venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Forbus & de Kleer 1993]","title":null,"authors":"& Forbus, De Kleer","year":"1993","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Kenneth D. Forbus and Johan re Kleer. Building Problem Solvers. MIT Press, Cambridge, MA.","title":"Building Problem Solvers","authors":"Kenneth D Forbus, Johan Kleer","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Forbus & Whalley 1994]","title":null,"authors":"Whalley Forbus","year":"1994","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Kenneth D. Forbus and Peter B. Whalley. \"Using Qualitative Physics to Build Articulate Software for Thermodynamics Education.\" In Proceedings of the Twelfth Annual AAAI Conference, Seattle, W A.","title":"Using Qualitative Physics to Build Articulate Software for Thermodynamics Education","authors":"Kenneth D Forbus, Peter B Whalley","year":null,"venue":"Proceedings of the Twelfth Annual AAAI Conference","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Franke, D 1993]","title":null,"authors":"D Franke","year":"1993","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"David Franke. A Theory of Teleology. Ph.D. dissertation, The University of Texas at Austin .","title":"A Theory of Teleology","authors":"David Franke","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Heywood 1980]","title":null,"authors":"Heywood","year":"1980","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Richard Heywood. Analysis of Engineer- ing Cycles, 3rd edition. Oxford: Pergamon Press [","title":"Analysis of Engineering Cycles","authors":"Richard Heywood","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Narayanan et al., 1994] N. Hari Narayanan, Masaki Suwa and Hiroshi Motoda. \"How Things Appear to Work: Pre- dicting Behaviors from Device Diagrams.\" In Proceedings of the Twelfth Annual AAAI Conference , Seattle, W A. AAAI Press.","title":"How Things Appear to Work: Predicting Behaviors from Device Diagrams","authors":"N Hari Narayanan, Masaki Suwa, Hiroshi Motoda","year":null,"venue":"Proceedings of the Twelfth Annual AAAI Conference","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"Van Wylen & Sonntag 1985] Gordon Van Wylen and Richard Sonntag. Fundamentals of Classical Thermo- dynamics, 3rd edition. New York: John Wiley & Sons. [Vescovi et al. , 1993]","title":"Fundamentals of Classical Thermodynamics","authors":"& Van Wylen, Gordon Sonntag, Richard Van Wylen, Sonntag","year":"1985","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"Marco Vescovi, Yumi Iwasaki, Rich- ard Fikes and B. Chandrasekaran. \"CFRL: A Language for Specifying the Causal Functionality of Engineered Devices.\" In Proceedings of the Eleventh Annual AAAI Conference, Washington, DC. AAAI Press.","title":"CFRL: A Language for Specifying the Causal Functionality of Engineered Devices","authors":"Marco Vescovi, Yumi Iwasaki, Richard Fikes, B Chandrasekaran","year":null,"venue":"Proceedings of the Eleventh Annual AAAI Conference","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"Whalley 1992]","title":null,"authors":"Whalley","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"Peter B. Whalley. Basic Engineering Ther- modynamics. Oxford: Oxford University Press.","title":"Basic Engineering Thermodynamics","authors":"B Peter, Whalley","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"I P.B. Whalley, personal communication.","title":null,"authors":"P B Whalley","year":null,"venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}