Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning

Abstract : This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to overcome issues that came up in a classroom learning setting. The tool focuses on supporting learners with experimentation to identify or test hypotheses. The aim is not only to support learning domain knowledge, but also learning discovery learning skills. For this purpose the tool uses heuristics and formal methods to assess the learners experimenting behavior, and translates this assessment into feedback directed at improving the quality of the learners discovery learning behavior. The tool is designed to be part of an authoring environment for designing simulation-based learning environments, which put some constraints on the design, but also ensures that the tool can be reused in different learning environments. After describing the design, a learning scenario is used to serve as an illustration of the tool, and finally some concluding remarks, evaluation results, and potential extensions for the tool are presented. (http://www.springerlink.com/content/59fhc6fr9mcfdt4l)
Document type :
Conference papers
Complete list of metadatas

https://telearn.archives-ouvertes.fr/hal-00190838
Contributor : Jerome Zeiliger <>
Submitted on : Friday, November 23, 2007 - 8:58:48 AM
Last modification on : Tuesday, April 16, 2019 - 10:29:50 AM

Links full text

Identifiers

Collections

Citation

Koen Veermans, Wouter Van Joolingen. Combining heuristics and formal methods in a tool for supporting simulation-based discovery learning. Intelligent Tutoring Systems, 7th International Conference (ITS 2004 ), August 30 - September 3, 2004, 2004, Maceiò, Alagoas, Brazil. pp.217- 226, ⟨10.1007/b100137⟩. ⟨hal-00190838⟩

Share

Metrics

Record views

204