×
K.D.福布斯。;惠利，P.B。;J.O.埃弗雷特。;乌雷尔，L。;布罗科夫斯基，M。

CyclePad：一个清晰的工程热力学虚拟实验室。 （英语） Zbl 0939.68826号

工件。智力。 114，编号1-2，297-347（1999）.
总结：定性物理研究的最初动机之一是为物理领域和复杂系统开发智能教学系统和学习环境。本文演示了如何将定性推理与其他人工智能技术协同结合，为学生学习分析和设计热力学循环创造智能学习环境。从教学上讲，这个问题很重要，因为热力学循环表达了相互转换功和热的系统的关键特性，例如发电厂、推进系统、冰箱和热泵，而热力学循环的研究占据了工科学生热力学培训的主要部分。本文介绍了CyclePad，这是一个完全实现的清晰的虚拟实验室，它捕获了热力学入门教科书中的大部分知识，并为学习此类循环原理的学生提供了计算解释和指导支持。CyclePad采用了一种分布式指导模型，其中车载设备和通过电子邮件访问的基于服务器的教练结合使用目的论和基于案例的推理为学生提供帮助。CyclePad是一种现场系统，在分散在世界各地的教室中日常使用。我们分析了使CyclePad成为可能的各种想法的组合，并根据我们在部署CyclePad方面的经验，评论了关于各种人工智能技术实用性的一些经验教训。

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68单位99 计算方法和应用
80安培99 热力学和传热

关键词：

定性推理;人工智能与教育;工程热力学;成分建模;基于案例的辅导;函数推理;智能学习环境;虚拟实验室
PDF格式BibTeX公司 XML格式引用
\textit｛K.D.Forbus｝等人，人工制品。智力。114，编号1--2，297--347（1999；Zbl 0939.68826）
全文： 内政部

参考文献：

[1] 工程和技术认证委员会，1997年。工程标准2000。http://www.abet.org/EAC/eac2000.html; 工程和技术认证委员会，1997年。工程标准2000。http://www.abet.org/EAC/eac2000.html
[2] 阿丹基，S。；克雷莫尼尼，R。；Penberthy，J.S.，《模型图中假设的推理》（Proc.IJCAI-89，密歇根州底特律（1989））·Zbl 0719.68066号
[3] 安德森，J.R。；科贝特，A.T。；Koedinger，K.R。；Pelletier，R.，《认知导师：经验教训》，J.Learning Sci。，4, 2, 167-207 (1995)
[4] Baher，J.，《清晰的虚拟实验室如何帮助热力学教育：多案例研究》（Proc.Frontiers in education 1998 Conference，Tempe，AZ（1998））
[5] Baher，J.，《将“清晰表达教育软件”融入工程课程：形成性评价》（美国教育研究协会年会，加利福尼亚州圣地亚哥，1998年）
[6] Baher，J.，《通过使用新技术重建工程教育》（Proc.American Association for Higher education（AAHE）National Conference on Higher education，Washington，DC（1999））
[7] Baher，J.，《教师对教学、技术和热力学的态度》（Proc.Frontiers in Education Conference，San Juan，波多黎各（1999））
[8] 贝尔·D·G。；Bobrow，D.G。；赖曼，O。；Shirley，M.H.，《动态文件和定位过程：在实地服务中建立在当地知识的基础上》，（企业信息和过程集成国际工作会议记录，IPIC'96重新思考文件，马萨诸塞州剑桥市（1996））
[9] Brown，J.S。；伯顿，R。；de Kleer，J.，《SOPHIE I、II和III中的教学、自然语言和知识工程技术》（Sleeman，D.；Brown，J.S.，《智能教学系统》（1982），学术出版社：纽约学术出版社）
[10] Ciccarelli，E.C.，基于表示的用户界面（1984），麻省理工学院：麻省理工科学院，马萨诸塞州剑桥，AI技术报告794
[11] Edelson，D.C.，《从故事中学习：小学生物学苏格拉底案例教学系统中的索引和提醒》（1994年），西北大学：伊利诺伊州西北大学埃文斯顿博士论文
[12] El-Wakil，M.M.，《电厂技术》（1984），麦格劳-希尔：麦格劳–希尔纽约
[13] Electronics Workbench Inc.，908 Niagara Falls Boulevard，Suite#068 North Tonawanda，NY 14120-2060，USA；Electronics Workbench Inc.，908 Niagara Falls Boulevard，Suite#068 North Tonawanda，NY 14120-2060，USA电子工作台公司
[14] Everett，J.O.，《目的论的拓扑推理：通过证据推理从结构中导出功能》，《人工智能》，113149-202（1999）·Zbl 0939.68733号
[15] Everett，J.O.，《应用于工程领域的从结构到功能的映射理论》（Proc.IJCAI-95，魁北克，蒙特利尔（1995））·Zbl 0939.68733号
[16] 埃弗雷特，J.O。；Forbus，K.，《通过事实垃圾收集扩大基于逻辑的真相维护系统》（Proc.AAAI-96，Portland，OR（1996））
[17] Falkenhainer，B。；Forbus，K.，《合成建模：为工作找到合适的模型》，《人工智能》，51，1-3，95-143（1991）
[18] Falkenhainer，B。；Forbus，K.，《建立大规模定性模型》（Proc.AAAI-88，St.Paul，MN（1988））
[19] 福布斯，K.D。；Falkenhainer，B.，《自我解释模拟：定性和定量知识的整合》（Proc.AAAI-90，Boston，MA（1990）），380-387
[20] 福布斯，K.D。；弗格森，R.W。；Gentner，D.，增量结构映射，（《认知科学学会第16届年会论文集》（1994年），埃尔鲍姆：埃尔鲍姆-希尔斯代尔，新泽西州）
[21] 福布斯，K.D。；Gentner，D.，法律。MAC/FAC：基于相似性的检索模型，认知科学。，19, 2, 141-205 (1995)
[22] 福布斯，K.D。；Kuehne，S.E.，《RoboTA：支持教育的代理群体架构》（第二届自治代理国际会议，明尼阿波利斯/明尼苏达州圣保罗，1998年）
[23] 福布斯，K。；de Kleer，J.，《构建问题解决者》（1993），麻省理工学院出版社：麻省理工学院出版社剑桥·Zbl 0819.68116号
[24] 福布斯，K。；埃弗雷特，J。；Gentner，D。；Wu，M.，《评估和使用类比推理的计算模型》（Proc.CogSci-97（1997），Erlbaum:Erlbaum Hillsdale，NJ）
[25] 福布斯，K。；Stevens，A.，《使用定性模拟生成解释》，（认知科学学会第三届年会论文集，加利福尼亚州伯克利（1981））
[26] Gentner，D.，《结构映射：类比的理论框架》，《认知科学》。，23, 155-170 (1983)
[27] Gentner，D。；Falkenhainer，B。；Skorstad，J.，《隐喻：好的、坏的和丑陋的》（第三届自然语言处理理论问题会议论文集，新墨西哥州拉斯克鲁斯（1987））
[28] Gentner，D。；Rattermann，M.J。；Markman，A.B。；Kotovsky，L.，关系结构发展中的两种力量，（Simon，T.；Halford，G.，《发展认知能力：过程建模的新方法》（1995），Erlbaum:Erlbaum Hillsdale，NJ）
[29] Govindaraj，T.，《大型动态系统建模和仿真的定性近似方法：在船舶蒸汽发电厂中的应用》，IEEE Trans。Systems Man Cybernet。SMC-17,6（1987）
[30] 格鲁伯，T。；Gautier，P.，《工程模型的机械生成解释：组合建模方法》（Proc.IJCAI-93，Chambery，France（1993））
[31] Hayes，P.，《天真物理学1：液体的本体论》（Hobbs，J.；Moore，R.，《常识世界的形式理论》（1985），Ablex：Ablex Norwood，NJ）
[32] Haywood，R.W.，《工程循环分析：电力、制冷和气体液化厂》（1985），佩加蒙出版社
[33] S.Lajoie，S.Derry（编辑），《计算机作为认知工具》，新泽西州希尔斯代尔埃尔鲍姆；S.Lajoie，S.Derry（编辑），《计算机作为认知工具》，新泽西州希尔斯代尔埃尔鲍姆
[34] （Leake，D.，《基于案例的推理：经验、教训和未来方向》（Case-Based Reasoning:Experiences，Lessons，and Future Directions）（1996年），麻省理工学院出版社：麻省理学院出版社剑桥）
[35] 梅西，L。；de Bruin，J。；Roberts，B.，《系统维护培训系统》（Psotka，J.；Massey，L.；Mutter，S.，《智能教学系统：经验教训》（1988），埃尔鲍姆：埃尔鲍姆-希尔斯代尔，新泽西州）
[36] McAllester，D.，《真理维护展望》（1980），麻省理工学院人工智能实验室备忘录AIM-551:MIT人工智能实验室备注AIM-551，马萨诸塞州剑桥
[37] 摩尔，J.D。；Swartout，W.R.，《指向：解释对话的方式》（Proc.AAAI-90，马萨诸塞州波士顿（1990））
[38] Nayak，P.，物理系统的自动建模（1992），斯坦福大学计算机科学系，博士论文
[39] Reiter，E。；Mellish，C.，《优化自然语言生成的成本和收益》（Proc.IJCAI-93，Chambery，France（1993））
[40] Roschelle，J.，《协作性概念改变：共同作用的社会和认知过程》（Proc.CogSci-93（1993））
[41] 沙克，R。；Cleary，C.，《教育引擎》（1994），埃尔鲍姆：新泽西州埃尔鲍姆希尔斯代尔
[42] Stallman，R.M。；Sussman，G.J.，计算机辅助电路分析系统中的正向推理和依赖定向回溯，人工智能，9135-196（1977）·Zbl 0372.94024号
[43] MSC公司。Software，Inc.美国加利福尼亚州圣马特奥市博韦路66号200室，邮编94402；MSC公司。Software，Inc.美国加利福尼亚州圣马特奥市博韦路66号200室，邮编94402
[44] 白色，B。；Frederiksen，J.，因果模型进展作为智能学习环境的基础，人工智能，42，99-157（1990）
[45] 吴，C。；Burke，T.J.，OTEC Rankine发电厂比功率的智能计算机辅助优化，应用热工程，18，5295-300（1998）
[46] 吴，C。；Dieguez，M.，使用CyclePad优化有限时间Rankine循环比功率的智能计算机辅助设计，J.计算机在工程教育中的应用，16，1，9-13（1998）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。