CyclePad: An articulate virtual laboratory for engineering thermodynamics

Artificial Intelligence

Volumn 114, Issue 1-2, 1999, Pages 297-347

  Forbus, Kenneth D ^b   Whalley, Peter B ^b   Everett, John O ^a   Ureel, Leo ^b   Brokowski, Mike ^a   Baher, Julie ^b   Kuehne, Sven E ^b  

^a PALO ALTO RESEARCH CENTER   (United States)

^b NONE

Author keywords

AI and education; Case based coaching; Compositional modeling; Engineering thermodynamics; Functional reasoning; Intelligent learning environments; Qualitative reasoning; Virtual laboratories

Indexed keywords

EID: 0012258965     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(99)00080-6     Document Type: Article

References (46)

1. Accreditation Board for Engineering and Technology, 1997. Engineering criteria 2000.http://www. abet.org/EAC/eac2000.html.
2. S. Addanki, R. Cremonini, J.S. Penberthy, Reasoning about assumptions in graphs of models, in: Proc. IJCAI-89, Detroit, MI, 1989.
3. J.R. Anderson, A.T. Corbett, K.R. Koedinger, R. Pelletier, Cognitive tutors: Lessons learned, J. Learning Sci. 4 (2) (1995) 167-207.
4. J. Baher, How articulate virtual labs can help in thermodynamics education: A multiple case study, in: Proc. Frontiers in Education 1998 Conference, Tempe, AZ, 1998.
5. J. Baher, Integrating "Articulate educational software" into engineering courses: A formative evaluation, in: Proc. Annual Meeting of the American Educational Research Association, San Diego, CA, 1998.
6. J. Baher, Re-constructing engineering education through the use of new technologies, in: Proc. American Association for Higher Education (AAHE) National Conference on Higher Education, Washington, DC, 1999.
7. J. Baher, Faculty attitudes towards teaching, technology and thermodynamics, in: Proc. Frontiers in Education Conference, San Juan, Puerto Rico, 1999.
8. D.G. Bell, D.G. Bobrow, O. Raiman, M.H. Shirley, Dynamic documents and situated processes: Building on local knowledge in field service, in: Proc. International Working Conference on Integration of Enterprise Information and Processes, IPIC'96 Rethinking Documents, Cambridge, MA, 1996.
9. J.S. Brown, R. Burton, J. de Kleer, Pedagogical, natural language, and knowledge engineering techniques in SOPHIE I, II, and III, in: D. Sleeman, J.S. Brown (Eds.), Intelligent Tutoring Systems, Academic Press, New York, 1982.
10. E.C. Ciccarelli, Presentation based user interfaces, AI Technical Report 794, Massachusetts Institute of Technology, Cambridge, MA, 1984.
11. D.C. Edelson, Learning from stories: Indexing and reminding in a Socratic case-based teaching system for elementary school biology, Ph.D. Thesis, Northwestern University, Evanston, IL, 1994.
12. M.M. El-Wakil, Powerplant Technology, McGraw-Hill, New York, 1984.
13. Electronics Workbench Inc., 908 Niagara Falls Boulevard, Suite #068 North Tonawanda, NY 14120-2060, USA.
14. J.O. Everett, Topological inference of teleology: Deriving function from structure via evidential reasoning, Artificial Intelligence 113 (1999) 149-202.
15. J.O. Everett, A theory of mapping from structure to function applied to engineering domains, in: Proc. IJCAI-95, Quebec, Montreal, 1995.
16. J.O. Everett, K. Forbus, Scaling up logic-based truth maintenance systems via fact garbage collection, in: Proc. AAAI-96, Portland, OR, 1996.
17. B. Falkenhainer, K. Forbus, Compositional modeling: Finding the right model for the job, Artificial Intelligence 51 (1-3) (1991) 95-143.
18. B. Falkenhainer, K. Forbus, Setting up large-scale qualitative models, in: Proc. AAAI-88, St. Paul, MN, 1988.
19. K.D. Forbus, B. Falkenhainer, Self-explanatory simulations: An integration of qualitative and quantitative knowledge, in: Proc. AAAI-90, Boston, MA, 1990, pp. 380-387.
20. K.D. Forbus, R.W. Ferguson, D. Gentner, Incremental structure mapping, in: Proc. 16th Annual Conference of the Cognitive Science Society, Erlbaum, Hillsdale, NJ, 1994.
21. K.D. Forbus, D. Gentner, Law. MAC/FAC: A model of similarity-based retrieval, Cognitive Sci. 19 (2) (1995) 141-205.
22. K.D. Forbus, S.E. Kuehne, Robo TA: An agent colony architecture for supporting education, in: Proc. 2nd International Conference on Autonomous Agents, Minneapolis/St. Paul, MN, 1998.
23. K. Forbus, J. de Kleer, Building Problem Solvers, MIT Press, Cambridge, MA, 1993.
24. K. Forbus, J. Everett, D. Gentner, M. Wu, Towards a computational model of evaluating and using analogical inference, in: Proc. CogSci-97, Erlbaum, Hillsdale, NJ, 1997.
25. K. Forbus, A. Stevens, Using qualitative simulation to generate explanations, in: Proc. Third Annual Conference of the Cognitive Science Society, Berkeley, CA, 1981.
26. D. Gentner, Structure-mapping: A theoretical framework for analogy, Cognitive Sci. 23 (1983) 155-170.
27. D. Gentner, B. Falkenhainer, J. Skorstad, Metaphor: The good, the bad and the ugly, in: Proc. 3rd Conference on Theoretical Issues in Natural Language Processing, Las Cruces, New Mexico, 1987.
28. D. Gentner, M.J. Rattermann, A.B. Markman, L. Kotovsky, Two forces in the development of relational structure, in: T. Simon, G. Halford (Eds.), Developing Cognitive Competence: New Approaches to Process Modeling, Erlbaum, Hillsdale, NJ, 1995.
29. T. Govindaraj, Qualitative approximation methodology for modeling and simulation of large dynamic systems: Applications to a marine steam power plant, IEEE Trans. Systems Man Cybernet. SMC-17 (6) (1987).
30. T. Gruber, P. Gautier, Machine-generated explanations of engineering models: A compositional modeling approach, in: Proc. IJCAI-93, Chambery, France, 1993.
31. P. Hayes, Naive physics 1: Ontology for liquids, in: J. Hobbs, R. Moore (Eds.), Formal Theories of the Commonsense World, Ablex, Norwood, NJ, 1985.
32. R.W. Haywood, Analysis of Engineering Cycles: Power, Refrigerating and Gas Liquefaction Plant, Pergamon Press, 1985.
33. S. Lajoie, S. Derry (Eds.), Computers as Cognitive Tools, Erlbaum, Hillsdale, NJ.
34. D. Leake (Ed.), Case-Based Reasoning: Experiences, Lessons, and Future Directions, MIT Press, Cambridge, MA, 1996.
35. L. Massey, J. de Bruin, B. Roberts, A training system for system maintenance, in: J. Psotka, L. Massey, S. Mutter (Eds.), Intelligent Tutoring Systems: Lessons Learned, Erlbaum, Hillsdale, NJ, 1988.
36. D. McAllester, An outlook on truth maintenance, MIT AI Lab memo AIM-551, Cambridge, MA, 1980.
37. J.D. Moore, W.R. Swartout, Pointing: A way toward explanation dialogue, in: Proc. AAAI-90, Boston, MA, 1990.
38. P. Nayak, Automated modeling of physical systems, Ph.D. Thesis, Computer Science Department, Stanford University, 1992.
39. E. Reiter, C. Mellish, Optimizing the costs and benefits of natural language generation, in: Proc. IJCAI-93, Chambery, France, 1993.
40. J. Roschelle, Collaborative conceptual change: Jointly acting social and cognitive processes, in: Proc. CogSci-93.
41. R. Schank, C. Cleary, Engines for Education, Erlbaum, Hillsdale, NJ, 1994.
42. R.M. Stallman, G.J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence 9 (1977) 135-196.
43. MSC.Software, Inc. 66 Bovet Road, Suite 200, San Mateo, CA 94402, USA.
44. B. White, J. Frederiksen, Causal model progressions as a foundation for intelligent learning environments, Artificial Intelligence 42 (1990) 99-157.
45. C. Wu, T.J. Burke, Intelligent computer aided optimization on specific power of an OTEC Rankine power plant, Applied Thermal Engineering 18 (5) (1998) 295-300.
46. C. Wu, M. Dieguez, Intelligent computer aided design on optimization of specific power of finite-time Rankine cycle using CyclePad, J. Computer Application in Engineering Education 16 (1) (1998) 9-13.